A geometric approach to total envisioning

  • Authors:
  • Toyoaki Nishida;Shuji Doshita

  • Affiliations:
  • Department of Information Science, Kyoto University, Sakyo-ku, Kyoto, Japan;Department of Information Science, Kyoto University, Sakyo-ku, Kyoto, Japan

  • Venue:
  • IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

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.