Practical reasoning with procedural knowledge: (A logic of BDI agents with know-how)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1085, Issue , 1996, Pages 663-678

  Wooldridge, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS; SEMANTICS; TECHNOLOGY TRANSFER;

BDI AGENT; PRACTICAL REASONING; PROCEDURAL KNOWLEDGE;

COMPUTER CIRCUITS;

EID: 84947906525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_108     Document Type: Conference Paper

References (16)

1. B. Chellas. Modal Logic: An Introduction. Cambridge University Press: Cambridge, England, 1980.
2. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
3. E. A. Emerson and J. Y. Halpern. ‘Sometimes’ and ʼnot never’ revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1): 151-178, 1986.
4. M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677-682, Seattle, WA, 1987.
5. D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II - Extensions of Classical Logic, pages 497-604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984. (Synthese library Volume 164).
6. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21:666-677, 1978.
7. D. Kinny, M. Ljungberg, A. S. Rao, E. Sonenberg, G. Tidhar, and E. Werner. Planned team activity. In C. Castelfranchi and E. Werner, editors, Artificial Social Systems - Selected Papers from the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-92 (LNAI Volume 830), pages 226-256. Springer-Verlag: Heidelberg, Germany, 1992.
8. A. S. Rao and M. Georgeff. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312-319, San Francisco, CA, June 1995.
9. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473-484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.
10. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors. Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439-449, 1992.
11. A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, Australian AI Institute, Level 6, 171 La Trobe Street, Melbourne, Australia, June 1995.
12. A. S. Rao, M. P. Georgeff, and E. A. Sonenberg. Social plans: A preliminary report. In E. Werner and Y. Demazeau, editors, Decentralized AI 3 - Proceedings of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-91), pages 57-76. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1992.
13. D. A. Schmidt. Denotational Semantics. Allyn and Bacon: Newton, MA, 1986.
14. C. Stirling. Completeness results for full branching time logic. In REX School-Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, Netherlands, 1988.
15. M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 279-283, Amsterdam, The Netherlands, 1994.
16. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2): 115-152, 1995.