Knowing intentional individuals, and reasoning about knowing intentional individuals
暂无分享,去创建一个
This paper outlines an approach toward computationally investigating the processes involved in reasoning about the knowledge states of other cognitive agents. The approach is Fregean and is compared with the work of McCarthy and Creary. We describe how the formalism represents the knowing of intensional individuals, coreferentiality, iterated propositional attitudes, and we describe plans to test, the scheme in the domain of speech act recognition.
[1] James F. Allen. A plan-based approach to speech act recognition , 1979 .
[2] Lewis G. Creary,et al. Propositional Attitudes: Fregean Representation and Simulative Reasoning , 1979, IJCAI.
[3] Stuart C. Shapiro,et al. Intensional Concepts in Propositional Semantic Networks , 1982, Cogn. Sci..
[4] John McCarthy. First Order Theories of Individual Concepts and Propositions. , 1979 .