A complete and decidable logic for resource-bounded agents

Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004

Volumn 2, Issue , 2004, Pages 606-613

  Alechina, Natasha ^a   Logan, Brian ^a   Whitsey, Mark ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

REASONING ABILITIES; STATE TRANSITION SYSTEMS; SYNTACTIC NOTIONS; TIMED REASONING LOGICS (TRL);

FORMAL LOGIC;

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

References (24)

1. N. Alechina and B. Logan. Ascribing beliefs to resource bounded agents. In Proc. First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pages 881-888. ACM Press, July 2002.
2. N. Alechina and B. Logan. Ascribing beliefs to resource bounded agents. In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), volume 2, pages 881-888, Bologna, July 2002. ACM Press.
3. J. Drapkin and D. Perlis. A preliminary excursion into Step-Logics. Proceedings of the SIGART International Symposium on Methodologies for Intelligent Systems, pages 262-269, 1986.
4. J. Elgot-Drapkin, M. Miller, and D. Perlis. Memory, reason and time: the Step-Logic approach. In R. Cummins and J. Pollock, editors, Philosophy and AI: Essays at the Interface, pages 79-103. MIT Press, Cambridge, Mass., 1991.
5. J. Elgot-Drapkin and D. Perlis. Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2(1):75-98, 1990.
6. R. Fagin and J. Halpern. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39-76, 1988.
7. R. Fagin and J. Y. Halpern. Belief, awareness, and limited reasoning. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 480-490, 1985.
8. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.
9. D. M. Gabbay. Labelled Deductive Systems: Volume I -Foundations. Oxford UNiversity Press, 1996.
10. C. Ghidini and F. Giunchiglia. Local models semantics, or contextual reasoning = locality + compatability. Artificial Intelligence, 127(2):221-259, 2001.
11. J. Grant, S. Kraus, and D. Perlis. A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems, 3(4):351-387, 2000.
12. K. Konolige. A Deduction Model of Belief. Morgan Kaufmann, San Francisco, Calif., 1986.
13. J. E. Laird, A. Newell, and P. S. Rosenbloom. SOAR: An architecture for general intelligence. Artificial Intelligence, 33:1-64, 1987.
14. G. Lakemeyer. Steps towards a first-order logic of explicit and implict belief. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, pages 325-340, San Francisco, Calif., 1986. Morgan Kaufmann.
15. H. J. Levesque. A logic of implicit and explicit belief. In Proceedings of the Fourth National Conference on Artificial Intelligence, AAAI-84, pages 198-202. AAAI, 1984.
16. H. J. Levesque. A logic of implicit and explicit belief. In Pros. National Conference on Artificial Intelligence (AAAI '84), pages 198-202, 1984.
17. R. C. Moore. Logic and Representation. Number 39 in CSLI Lecture Notes. CSLI Publications, 1995.
18. M. Nirkhe, S. Kraus, and D. Perlis. Thinking takes time: a modal active-logic for reasoning in time. Technical Report CS-TR-3249, University of Maryland, Department of Computer Science, 1994.
19. R. Parikh. Knowledge and the problem of logical omni-science. In Methodologies for Intelligent Systems, Proceedings of the Second International Symposium, pages 432-439. North-Holland, 1987.
20. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484, 1991.
21. M. P. Singh. Know-how. In M. Wooldridge and A. Rao, editors, Foundations of Rational Agency, pages 81-104. Kluwer Academic, Dordrecht, 1999.
22. Software Technology Branch, Lyndon B. Johnson Space Center, Houston. CLIPS Reference Manual: Version 6.21, June 2003.
23. W. van der Hoek, B. van Linder, and J.-J. C. Meyer. An integrated modal approach to rational agents. In M. Wooldridge and A. Rao, editors, Foundations of Rational Agency, pages 133-168. Kluwer Academic, Dordrecht, 1999.
24. M. Wooldridge. Computationally grounded theories of agency. In E. Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), pages 13-20. IEEE Press, 2000.