A Geometric Approach to Total Envisioning
Abstract
Conventional envisioners proposed in qualitative physics have two difficulties in common: ambiguities in prediction and inability of reasoning about global behaviors. We take a geometric approach to overcome these difficulties and have implemented a program PSX2NL which can reason about global behaviors by analyzing geometry and topology of solution curves of ordinary differential equations in the phase space. In this paper, we highlight a flow grammar which specifies possible patterns of solution curves one may see in the phase space. The role of a flow grammar in PSX2NL is twofold: firstly, it allows PSX2NL to reason about complex patterns in a uniform manner; secondly, it allows PSX2NL to switch to an approximate, top-down algorithm when complete geometric clues are not available due to the difficulty of mathematical problems encountered.
Cite
Text
Nishida and Doshita. "A Geometric Approach to Total Envisioning." International Joint Conference on Artificial Intelligence, 1991.Markdown
[Nishida and Doshita. "A Geometric Approach to Total Envisioning." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/nishida1991ijcai-geometric/)BibTeX
@inproceedings{nishida1991ijcai-geometric,
title = {{A Geometric Approach to Total Envisioning}},
author = {Nishida, Toyoaki and Doshita, Shuji},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1991},
pages = {1150-1157},
url = {https://mlanthology.org/ijcai/1991/nishida1991ijcai-geometric/}
}