论文信息 - A Computational Theory of Belief Introspection

A Computational Theory of Belief Introspection

Introspection is a general term covering the ability of an agent to reflect upon the workings of his own cognitive functions. In this paper we will be concerned with developing an explanatory theory of a particular type of introspection: a robot agent's knowledge of his own beliefs. The development is both descriptive, in the sense of being able to capture introspective behavior as it exist; and prescriptive, in yielding an effective means of adding introspective reasoning abilities to robot agents.

Kurt Konolige | K. Konolige

[1] N. Malcolm. On Knowledge and Belief , 1954 .

[2] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[3] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.

[4] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[5] J. McCarthy. Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[6] K. Konolige. A deduction model of belief and its logics , 1984 .

[7] Eleanor H. Warnock,et al. Reasoning from Incomplete Knowledge. , 1975 .

[8] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[9] H. Levesque. A formal treatment of incomplete knowledge bases , 1981 .

[10] Kurt Konolige. Belief and incompleteness , 1984 .

[11] Saul A. Kripke. The Undecidability of Monadic Modal Quantification Theory , 1962 .

[12] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..