A computational theory of belief introspection

Authors:
Kurt Konolige
Affiliations:
Artificial Intelligence Center, SRI International, Menlo Park, California
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 1
Cited 3

A deduction model of belief and its logics

A deduction model of belief and its logics

Field review: Metacognition in computation: A selected research review

Artificial Intelligence
Decidable reasoning in first-order knowledge bases with perfect introspection

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Fuzzy logic and self-referential reasoning: a comparative study with some new concepts

Artificial Intelligence Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.