Abstract
Physical events are objective, meaningless, controllable by the laws of physics, and unconscious. Mental events are subjective, meaningful, intentional (i.e. they are “about” something), and conscious. Ordinary Science and Technology deal with physical events. Cognitive Science and Artificial Intelligence (AI) deal with intelligent behavior, which is usually linked to mental events. So, shall we give machines a mental structure? Conceiving our programs in terms of mental states makes our task clearer, but translating them into machine equivalents—and programming a computer from such a base—is no easy task, though some full-thrusted attempts have been made lately. We summarily describe them after introducing the mental state concept.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bratman, M. E.: Intentions, Plans, and Practical Reason. Harvard University Press, 1987.
Brooks, R. A.: Intelligence without representation, Proc. IJCAI, Sydney (1991)
Cohen, P. R. & Levesque, H. J.: Intention is choice with commitment, Artificial Intelligence 42 (1990), 213–261
Cox, M. & Freed, M., eds.: Representing Mental States and Mechanisms. (Papers from the 1993 AAAI Symposium). AAAI Technical Report SS-95–05 (1995)
Dennett, D.: The Intentional Stance. MIT Press (1987)
Goldblatt, R.: Logics of Time and Computation. CSLI (1992)
Halpern, J. Y., & Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54 (1992), 319–379
Hintikka, J.: Knowledge and Belief Cornell University Press (1962)
Horty, J., & Shoham, Y., eds.: Reasoning about Mental States: Formal Theories and Applications. (Papers from the 1993 Spring Symposium). AAAI Technical Report SS-93–05 (1993)
Kripke, S.: Semantical analysis of modal logic. Zeitschr. f Math. Log. u. Grundl. der Math. 9 (1963), 67–96
McCarthy, J.: Ascribing mental qualities to machines, in: Ringle, M., ed. Philosophical Perspectives in Artificial Intelligence. Harvester Press (1979)
McCarthy, J.: Making robots conscious of their mental states. In ( Cox, M. and Freed, M., eds. 1995) (1995), 89–96
Rao A. S. & Georgeff, M. P.: Asymmetry thesis and side-effect problems in linear time and branching time intention logics. Proc. IJCAI. Sydney (1991), 498–504
Rao A. S. & Georgeff, M. P.: A model-theoretic approach to the verification of situated reasoning systems. Proc. IJCAI. Chambery (1993a), 318–324
Rao A. S. and Georgeff, M. P.: Verification of agent-oriented situated systems: a modeltheoretic approach. In ( Horty, J., and Shoham, Y., eds. 1993) (1993b), 115–124
Rosenschein, S. J., & Kaelbling, L. P.: The synthesis of digital machines with provable epistemic properties. Proc. TARK. Morgan-Kaufmann (1986)
Russell, S., & Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall (1995)
Shoham, Y.: Agent-oriented programming, Artificial Intelligence 60 (1993), 51–92
Singh, M. P.: A logic of situated know-how. Proc. AAAI (1991), 343–348
Steels, L.: Steps toward common sense. Proc. ECAI. Munich (1988)
Werner, E.: What can agents do together: a semantics of co-operative ability. Proc. ECAI. Stockholm (1990)
Wooldridge, M, & Jennings, R. N.: Intelligent Agents: Theory and Practice (report submitted Oct. 1994 to the Knowledge Engineering Review, revised Jan. 1995 )
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Sales, T. (1999). Logics for Mental States. In: Korta, K., Sosa, E., Arrazola, X. (eds) Cognition, Agency and Rationality. Philosophical Studies Series, vol 79. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1070-1_8
Download citation
DOI: https://doi.org/10.1007/978-94-017-1070-1_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5321-3
Online ISBN: 978-94-017-1070-1
eBook Packages: Springer Book Archive