On the Model Theory of Knowledge

Abstract

Another language for expressing 'knowing that' is given together with axioms and rules of inference and a Kripke type semantics. The formalism is extended to time-dependent knowledge. Completeness and decidability theorems are given. The problem of the wise men with spots on their foreheads and the problem of the unfaithful wives are expressed in the formalism and solved.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1978
Accession Number
ADA065502

Entities

People

  • John McCarthy
  • Masahiko Sato
  • Shigeru Igarashi
  • Takeshi Hayashi

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Classification
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Department Of Defense
  • Fungi
  • Governments
  • Language
  • Model Theory
  • Models
  • National Governments
  • Security
  • Theorems
  • Universities

Readers

  • Exercise and Sports Science.
  • Mathematical Modeling and Probability Theory.
  • Sensor Fusion and Tracking Systems.

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms