Semantical considerations on some primitives for agent specification

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

Volumn 1037, Issue , 1996, Pages 49-64

  Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; SPECIFICATIONS; TECHNOLOGY TRANSFER;

AGENT SPECIFICATION; FORMAL DEFINITION; GENERAL MODEL; LIVENESS; TRADITIONAL COMPUTING;

INTELLIGENT AGENTS;

EID: 84866507462     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3540608052_58     Document Type: Conference Paper

References (29)

1. Michael E. Bratman. Intention, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
2. K. M. Chandy and Jayadev Misra. How processes learn. Distributed Computing AO-52, 1986.
3. Brian F. Chellas. Modal Logic. Cambridge University Press, New York, NY, 1980.
4. Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261,1990.
5. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. North-Holland Publishing Company, Amsterdam, The Netherlands, 1990.
6. Ronald Fagin, Joseph Y. Halpem, and Moshe Y. Vardi. What can machines know? on the epistemic properties of machines. In AAAI, pages 428-434,1986.
7. Ronald Fagin, Joseph Y. Halpem, and Moshe Y. Vardi. A nonstandard approach to the logical omniscience problem. In Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge. Morgan Kaufmann Inc., 1990.
8. R. Gotzhein and F. H. Vogt. The design of a temporal logic for open distributed systems. In Proceedings of the International Conference on Open Distributed Processing. Elsevier Science Publishers B. V., 1992.
9. Joseph Y. Halpern. Reasoning about knowledge. In Joseph Y. Halpern, editor, Theoretical Aspects of Reasoning About Knowledge, pages 1-26,1986.
10. Carl Hewitt, C. Manning, Jeff Inman, and Gul Agha, editors. Toward Open Information Systems Science. MIT Press, Cambridge, MA, 1991.
11. Kurt Konolige. A Deduction Model of Belief. Morgan Kaufmann, Inc., 1986.
12. Kurt G. Konolige and Martha E. Pollack. A representationalist theory of intentions. In IJCAI, 1989.
13. Dexter Kozen and Jerzy Tiurzyn. Logics of program. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. North-Holland Publishing Company, Amsterdam, The Netherlands, 1990.
14. John McCarthy. Ascribing mental qualities to machines. In Martin Ringle, editor, Philosophical Perspectives in Artificial Intelligence. Harvester Press, 1979. Page nos. from a revised version, issued as a report in 1987.
15. Robert C. Moore. A formal theory of knowledge and action. In Jerry R. Hobbs and Robert C. Moore, editors, Formal Theories of the Commonsense World, pages 319-358. Ablex Publishing Company, Norwood, NJ, 1984.
16. Leora Morgenstem. A theory of knowledge and planning. In IJCAI, 1987.
17. Allen Newell. The knowledge level. Artificial Intelligence, 18(1):87-127,1982.
18. A. H. H. Ngu, R. Meersman, and H. Weigand. Specification and verification of communication constraints for interoperable transactions. In Proceedings of the 2nd International Conference on Cooperative Information Systems (Coop IS), 1994.
19. Anand S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In IJCAI Workshop on Agent Theories, Architectures, and Languages, August 1995.
20. Anand S. Rao and Michael P. Georgeff. Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In IJCAI, 1991.
21. Munindar P. Singh. A critical examination of the Cohen-Levesque theory of intentions. In 10th European Conference on Artificial Intelligence, August 1992.
22. Munindar P. Singh. A semantics for speech acts. Annals of Mathematics and Artificial Intelligence, 8(I-II):47-71, 1993.
23. Munindar P. Singh. Maintenance and prevention: Formalization and fixpoint characterization. In ECAI Workshop on Logic and Change, August 1994.
24. Munindar P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, KnowHow, and Communications. Springer Verlag, Heidelberg, Germany, 1994.
25. Munindar P. Singh and Nicholas M. Asher. A logic of intentions and beliefs. Journal of Philosophical Logic, 22:513-544,1993.
26. Munindar P. Singh and Michael N. Huhns. Cooperative information systems: Tutorial notes, 1995. Tutorial given at the International Conference on Distributed Computing Systems and at the International Joint Conference on Artificial Intelligence.
27. James White. TeleScript technology: The foundation for the electronic marketplace, 1994. White paper.
28. Darrell Woelk and Christine Tomlinson. The InfoSleuth project white-paper. Technical Report InfoSleuth-95-01, Microelectronics and Computer Technology Corporation, Austin, TX, January 1995.
29. Michael Wooldridge. Time, knowledge, and choice. In IJCAI Workshop on Agent Theories, Architectures, and Languages, August 1995.