Accession Number:

ADA133905

Title:

The Syntactic Theory of Belief and Knowledge.

Descriptive Note:

Technical rept.,

Corporate Author:

BOLT BERANEK AND NEWMAN INC CAMBRIDGE MA

Personal Author(s):

Report Date:

1983-09-01

Pagination or Media Count:

89.0

Abstract:

Artificial Intelligence programs must have common-sense knowledge. This includes knowledge about beliefs and knowledge. If we have a knowledge representation that can represent facts about beliefs and knowledge, and an adequate set of inference rules, we have taken the first step in building a program that can reason about beliefs and knowledge. The next step is to devise a search strategy an algorithm that decides which inference rules to apply to which expressions to solve a problem. This paper proposes a representation and inference rules for reasoning about belief and knowledge. The core of the paper is a series of examples of representation and inference in the formal system. These examples describe the processes that create, store and use beliefs and knowledge. Perception, introspection, memory, inference and planning are all considered. Finally there is an appendix with proofs that the formalism works as claimed.

Subject Categories:

  • Humanities and History
  • Linguistics
  • Human Factors Engineering and Man Machine Systems
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE