A Geometric Approach to Total Envisioning
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Qualitative Reasoning. Pages 1150-1156.
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 patt erns of solution curves one may see in the phase space. Th e role of a flow grammar in PSX2NL is twofold: firstly, it allows PSX2N L to reason about complex patterns in a uniform mann er ; 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.
@inproceedings{ijcai1991p169,
title = {A Geometric Approach to Total Envisioning},
author = {Nishida, Toyoaki and Doshita, Shuji},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {1150--1156},
year = {1991},
month = {8},
note = {Qualitative Reasoning},
url = {https://ijcai.org/proceedings/1991/169},
}
TY - CPAPER TI - A Geometric Approach to Total Envisioning AU - Nishida, Toyoaki AU - Doshita, Shuji T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 1150 EP - 1156 UR - https://ijcai.org/proceedings/1991/169 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: