(De)Composition of Situation Calculus Theories

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 456-463

  Amir, Eyal ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS;

CALCULUS THEORIES; COMPLEX DOMAINS; FRAME PROBLEMS; INTERACTING AGENTS; LOGICAL REPRESENTATIONS; OBJECT ORIENTED; OBJECT ORIENTED TECHNIQUE; REUSE; SITUATION CALCULUS; TECHNIQUES AND TOOLS;

SEMANTICS;

EID: 85158104277     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Amir, E., and Maynard-Reid, P. 1999. Logic-based subsumption architecture. In Intl' Joint Conf. on Artificial Intelligence (IJCAI'99).
2. Amir, E., and McIlraith, S. 2000. Paritition-based logical reasoning. In Proc. KR'2000. Available at http://wwwformal.stanford.edu/eyal/papers/oo-reason.ps.
3. Amir, E. 1999. Object-Oriented First-Order Logic. Technical report, NRAC'99. Submitted to Elect. Trans. on AI (http://www.ida.liu.se/ext/etai)/RACarea.
4. Borgida, A. 1996. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82(1-2):353-367.
5. Brachman, R. J.; Fikes, R. E.; and Levesque, H. J. 1983. KRYPTON: A functional approach to knowledge representation. Computer 16(10):67-73.
6. Craig, W. 1957. Linear reasoning. a new form of the herbrandgentzen theorem. Journal of Symbolic Logic 22:250-268.
7. Fikes, R.; Farquhar, A.; and Rice, J. 1997. Tools for assembling modular ontologies in ontolingua. In Natl' Conf. on Artificial Intelligence (AAAI'97), 436-441. AAAI Press.
8. Fridman-Noy, N., and Hafner, C. D. 1997. The state of the art in ontology design. AI Magazine 18(3):53-74.
9. Ghidini, C., and Serafini, L. 1998. Distributed first order logic. In Proceedings of Frontiers of Combining Systems.
10. Guha, R. V., and Lenat, D. B. 1990. Cyc: A midterm report. AI Magazine 11(3):33-59.
11. Haas, A. R. 1987. The case for domain-specific frame axioms. In proc. workshop on the frame problem, 343-348.
12. Kifer, M.; Lausen, G.; and Wu, J. 1995. Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4):741-843.
13. Koller, D., and Pfeffer, A. 1997. Object-oriented Bayesian networks. In Proc. of the 13th Conf. on Uncertainty in Artificial Intelligence (UAI-97), 302-313. Morgan Kaufmann.
14. Lin, F., and Reiter, R. 1994. State constraints revisited. Journal of Logic and Computation, Special Issue on Actions and Processes.
15. McCarthy, J., and Buvač, S. 1998. Formalizing Context (Expanded Notes). In Computing Natural Language, volume 81 of CSLI Lecture Notes. CSLI, Stanford University, Stanford, California. 13-50.
16. McCarthy, J., and Costello, T. 1998. Combining Narratives. In Proc. KR'98.
17. McCarthy, J., and Hayes, P. J. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4:463-502.
18. McCarthy, J. 1986. Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence 28:89-116.
19. McIlraith, S. 2000. Integrating actions and state constraints: a closed-form solution to the ramification problem (sometimes). Artificial Intelligence 116(1-2):87-121.
20. Morgenstern, L. 1998. Inheritance comes of age: Applying nonmonotonic techniques to problems in industry. Artificial Intelligence 103(1-2):237-271.
21. Pearl, J. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann.
22. Pednault, E. P. D. 1989. ADL: exploring the middle ground between STRIPS and the situation calculus. In Proc. KR'89, 324-332.
23. Pinto, J. 1998. Concurrent actions and interacting effects. In Proc. KR'98.
24. Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V., ed., Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy). Academic Press. 359-380.
25. Reiter, R. 1996. Natural actions, concurrency and continuous time in the situation calculus. In Proc. KR'96.
26. Schubert, L. K. 1990. Monotonic solution of the frame problem in the situation calculus. In knowledge representation and defeasible reasoning. Kluwer. 23-67.
27. Shanahan, M. 1997. Solving the Frame Problem, a mathematical investigation of the common sense law of inertia. Cambridge, MA: MIT press.
28. Shapiro, E., and Takeuchi, A. 1983. Object oriented programming in concurrent prolog. New Generation Computing 1:25-48.