Title :
On spatial modeling of discrete event systems using point-interval logic
Author :
Zaidi, Abbas K. ; Rizvi, Kazim H. ; Hussain, S. Sajjad
Author_Institution :
Syst. Archit. Lab., George Mason Univ., Fairfax, VA, USA
Abstract :
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitative spatial relations. The formalism is based on a point-interval logic and a graphical representation, called Point Graphs. The graph representation is used by SpInE to verify and infer spatial knowledge.
Keywords :
discrete event systems; knowledge representation; knowledge verification; spatial reasoning; temporal reasoning; 2-dimensional space; PISL-2D; SpInE; discrete event systems; graphical representation; inference engine; point graphs; point interval logic; qualitative spatial relations; spatial knowledge representation; spatial knowledge verification; spatial logic; spatial modeling; Aerodynamics; Aerospace control; Artificial intelligence; Availability; Control systems; Discrete event systems; Engines; Erbium; Information systems; Logic programming;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1244657
