IPMU 1992: IPMU '92—Advanced Methods in Artificial Intelligence pp 129-138 | Cite as
Representing spatial and temporal uncertainty
Logical Methods
First Online:
Abstract
We present a first order logic that can represent both spatial and temporal uncertainty at a point. We also extend this logic so as to represent uncertain interval knowledge in terms of the uncertain knowledge at the interior points.
Keywords
Fuzzy Logic Function Symbol Order Logic Atomic Formula Variable Assignment
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.T. Dean and K. Kanazawa. Probabilistic Causal Reasoning. In Seventh Biennial Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI'88), pages 125–132, Edmonton, Canada, May 1988.Google Scholar
- 2.S.D. Goodwin and E. Neufeld and A. Trudel. Temporal reasoning with real valued functions. In Pacific Rim International Conference on Artificial Intelligence (PRICAI'92), pages 1266–1271, Seoul, Korea, Sept 1992.Google Scholar
- 3.P. Jackson. Introduction to expert systems. Addison Wesley, 2nd edition, 1990.Google Scholar
Copyright information
© Springer-Verlag 1993