DocumentCode
398087
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
Volume
2
fYear
2003
fDate
5-8 Oct. 2003
Firstpage
1699
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7952-7
Type
conf
DOI
10.1109/ICSMC.2003.1244657
Filename
1244657
Link To Document