Situated nonmonotonic temporal reasoning with BABY-SIT

AI Communications

Volumn 10, Issue 2, 1997, Pages 93-109

  Tin, Erkan ^a   Akman, Varol ^a  

^a BILKENT UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; FORMAL LOGIC; LOGIC PROGRAMMING; PROBLEM SOLVING;

SITUATION THEORY; TEMPORAL REASONING; UNIFORMITIES; YALE SHOOTING PROBLEM; YOAV SHOHAM CAUSAL THEORIES;

ARTIFICIAL INTELLIGENCE;

EID: 0031176796     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (26)

1. V. Akman and M. Surav, Steps toward Formalizing Context, AI Magazine 17(3) (1996), 55-72.
2. J. Barwise and J. Etchemendy, The Liar: An Essay on Truth and Circularity, Oxford University Press, New York, NY, 1987.
3. J. Barwise and J. Perry, Situations and Attitudes, MIT Press, Cambridge, MA, 1983.
4. A.W. Black, An approach to computational situation semantics, PhD thesis. Department of Artificial Intelligence, University of Edinburgh, Edinburgh, UK, 1993.
5. J. Borota, M. Frank, J. Fry, A. Ito, H. Nakashima, S. Peters, M. Reilly and H. Schütze, The PROSIT Language, Version 1.0. Manuscript, Center for the Study of Language and Information, Stanford, CA, 1994.
6. R. Cooper, Three Lectures on Situation Theoretic Grammar, in: Natural Language Processing, number 476 in Lecture Notes in Artificial Intelligence, M. Filgueiras, L. Damas, N. Moreira and A.P. Thomas, eds, Springer-Verlag, Berlin, Germany, 1991, pp. 102-140.
7. K. Devlin, Logic and Information, Cambridge University Press, Cambridge, UK, 1991.
8. F. Dretske, Knowledge and the Flow of Information, MIT Press, Cambridge, MA, 1981.
9. M. Ersan and V. Akman, Situated modeling of epistemic puzzles. Bulletin of the IGPL 3 (1995), 51-76.
10. J.E. Fenstad, P.-K. Halvorsen, T. Langholm and J. van Benthem, Situations, Language, and Logic, Reidel, Dordrecht, Holland, 1987.
11. S. Hanks and D.V. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence, 33 (1987), 379-412.
12. KEE™, Knowledge Engineering Environment Software Development System, Version 4.1. IntelliCorp, Inc., Mountain View, CA, 1993.
13. Y. Lespérance, Toward a computational interpretation of situation semantics, Computational Intelligence 2 (1986), 9-27.
14. J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: Machine Intelligence, B. Meltzer and D. Michie, eds, Edinburgh University Press, Edinburgh, UK, 1969, pp. 463-502.
15. H. Nakashima, S. Peters and H. Schütze, Communication and inference through situations, in: Proceedings of the Third Conference on Artificial Intelligence Applications, IEEE Computer Society Press, Washington, DC, 1987, pp. 76-81.
16. H. Nakashima, H. Suzuki, P.-K. Halvorsen and S. Peters, Towards a computational interpretation of situation theory, in: Proceedings of the International Conference on Fifth Generation Computer Systems, Institute for New Generation Computer Technology, Tokyo, Japan, 1988, pp. 489-498.
17. V. Shoham, Chronological ignorance: experiments in non-monotonic temporal reasoning, Artificial Intelligence 36 (1988), 279-331.
18. Y. Shoham, Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence, MIT Press, Cambridge, MA, 1988.
19. Y. Shoham and D.V. McDermott, Problems in formal temporal reasoning. Artificial Intelligence 36 (1988), 49-61.
20. J.P. Stillman and R. Arthur, Tachyon: a model and environment for temporal reasoning, in: National Conference on Artificial Intelligence: Workshop on Implemented Temporal Reasoning, San Jose, CA, 1992.
21. R. Sun, Integrating Rules and Connectionism for Robust Commonsense Reasoning, Wiley, New York, NY, 1994.
22. E. Tin and V. Akman, Computing with causal theories. International Journal of Pattern Recognition and Artificial Intelligence 6(4) (1992), 699-730.
23. E. Tin and V. Akman, BABY-SIT: a computational medium based on situations, in: Proceedings of the 9th Amsterdam Colloquium, P. Dekker and M. Stokhof, eds, Institute for Logic, Language, and Computation, University of Amsterdam, Amsterdam, Holland, 1993, pp. 665-681.
24. E. Tin and V. Akman, Computational situation theory, ACM Sigart Bulletin 5(4) (1994). 4-17.
25. E. Tin and V. Akman, Information-oriented computation with BABY-SIT, in: Language, Logic, and Computation: Volume I, number 58 in CSLI Lecture Notes, J. Seligman and D. Westerståhl, eds, Center for the Study of Language and Information, Stanford, CA, 1996, pp. 19-34.
26. E. Tin, V. Akman and M. Ersan, Towards situation-oriented programming languages, ACM Sigplan Notices 30(1) (1995), 27-36.