Inquirers: a general model of non-ideal rational agents

International Journal of Intelligent Systems

Volumn 15, Issue 3, 2000, Pages 197-215

  Moreno, Antonio ^a   Cortés, Ulises ^b   Sales, Ton ^b  

^a UNIVERSITAT ROVIRA I VIRGILI   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER SIMULATION; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

KRIPKE SEMANTICS; NON IDEAL RATIONAL AGENTS;

ARTIFICIAL INTELLIGENCE;

EID: 0033890450     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(200003)15:3<197::AID-INT4>3.0.CO;2-L     Document Type: Article

References (39)

1. Russell S, Norvig P. Artificial Intelligence. A modern approach. Prentice Hall Series in Artificial Intelligence. Englewood Cliffs: Prentice Hall; 1995.
2. Wooldridge M, Jennings N. Intelligent agents: theory and practice. Knowledge Eng Rev 1995;10:115-152.
3. Müller J. Control architectures for autonomous and interacting agents: a survey. In Intelligent agent systems: Theoretical and practical issues. Lecture Notes in Artificial Intelligence. Vol 1209. Berlin/New York: Springer-Verlag; 1997. pp 1-26.
4. Brooks R. Intelligence without representation. Artif Intell 1991;47:139-159.
5. Maes P. The dynamics of action selection. Proceedings of the Eleventh Joint Conference on Artificial Intelligence. 1989. pp 991-997.
6. Georgeff M, Ingrand F. Decision-making in an embedded reasoning system. Proceedings of the Eleventh Joint Conference on Artificial Intelligence. 1989.
7. Bratman M. Intentions, plans and practical reason. Cambridge, MA: Harvard Univ Press; 1987.
8. Cohen P, Levesque H. Intention is choice with commitment. Artif Intell 1990;42:213-261.
9. Rao A, Georgeff M. BDI agents: from theory to practice. Proceedings of the International Conference on Multi-Agent Systems. 1995.
10. Dennett D. Brainstorms. Cambridge, MA: Bradford Books; 1978.
11. Dennett D. Elbow room. London: Oxford Univ Press; 1984.
12. Shoham Y. Agent-oriented programming. Technical Report STAN-CS-90-1335. Department of Computer Science, Stanford University, 1990.
13. Shoham Y. Agent-oriented programming. Artif Intell 1993;60:51-92.
14. Pollock J. OSCAR: A general theory of rationality. In: Philosophy and AI: essays at the interface. Cambridge, MA: Bradford Books, MIT Press; 1990. pp 189-213.
15. Pollock J. Cognitive carpentry. Cambridge, MA: Bradford Books, MIT Press; 1995.
16. Hintikka J. Knowledge and belief. Ithaca, NY: Cornell Univ Press; 1962.
17. Kripke S. A semantical analysis of modal logic I: normal modal propositional calculi. Z Math Logik Grundlag Math 1963;9:67-96.
18. Halpern J, Moses Y. A guide to completeness and complexity for modal logics of knowledge and belief. Artif Intell 1992;54:319-379.
19. McArthur G. Reasoning about knowledge and belief: a survey. Comput Intell 1988;4:223-243.
20. Scott D. Advice in modal logic. In: Philosophical problems in logic. Dordrecht: Reidel; 1970.
21. Hintikka J. Impossible possible worlds vindicated. J Philos Logic 1975;4:475-484.
22. Fagin R, Halpern J, Vardi M. A non-standard approach to the logical omniscience problem. Artif Intell 1995;79:203-240.
23. Fagin R, Halpern J, Moses Y, Vardi M. Reasoning about knowledge. Cambridge, MA: MIT Press; 1995.
24. Cresswell M. Intensional logics and logical truth. J Philos Logic 1972;1:2-15.
25. Cresswell M. Logics and languages. London: Methuen; 1973.
26. Belnap N. A useful four-valued logic. In: Modern uses of multiple-valued logics. Dordrecht: Reidel; 1977. pp 5-37.
27. Routley P, Routley V. Semantics of first degree entailment. Noûs 1972;6:335-359.
28. Rescher N, Brandom R. The logic of inconsistency. London: Rowman & Littlefield; 1979.
29. Rescher N. The coherence theory of truth. Oxford, UK: Clarendon; 1973.
30. Levesque HJ. A logic of implicit and explicit belief. Proceedings of the Conference of the American Association for Artificial Intelligence. 1984. pp 198-202.
31. Moreno A. Avoiding logical omniscience and perfect reasoning: a survey. AI Comm 1998;11:101-122.
32. Halpern J. Reasoning about knowledge: an overview. Proceedings of the First Conference on Theoretical Aspects of Reasoning about Knowledge. 1986. pp 1-17.
33. Moreno A, Sales T. Dynamic belief analysis. In: Intelligent Agents III: Agent theories, architectures and languages. Lecture Notes in Artificial Intelligence. Vol. 1193. Berlin/New York: Springer-Verlag; 1997. pp 87-102.
34. Moreno A, Sales T. Limited logical belief analysis. In: Intelligent Agent Systems: Theoretical and practical issues. Lecture Notes in Artificial Intelligence. Vol. 1209. Berlin/New York: Springer-Verlag; 1997. pp 104-118.
35. Popper K. The logic of scientific discovery. London: Hutchinson; 1934.
36. Smullyan RM. First-order logic. Berlin/New York: Springer-Verlag; 1968.
37. Bell J, Machover M. A course in mathematical logic. Amsterdam: North-Holland; 1977.
38. Hintikka J. What is the logic of experimental inquiry? Synthese 1988;74:173-190.
39. Hintikka J. The interrogative model of inquiry as a general theory of argumentation. Comm Cognition 1992;25:221-242.