---
title: "A Computational Theory of Belief Introspection"
authors:
  - "Kurt Konolige"
doi: ""
url: "https://ijcai.org/proceedings/1985/96"
pdf: "https://ijcai.org/proceedings/1985/0096.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "502-507"
track: "Knowledge Representation"
keywords:
---

# A Computational Theory of Belief Introspection

Kurt Konolige

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 502-507.

## Abstract

Introspection is a general term covering the ability of an agent to reflect upon the workings of his own cognitive fun ctions. In this paper we will be concerned with devel· oping an explanatory theory of a particular type of intro· spection: a robot agent 's knowledge of his own beliefs. The d eve lopment is both descriptive, in the sense of being able to capture introspective behavior as it exist; and prescrip· tive, in yielding an effective means of adding introspective reasoning abilities to robot agents.