Paper: Representing Knowledge About Knowledge And Mutual Knowledge

ACL ID P84-1044
Title Representing Knowledge About Knowledge And Mutual Knowledge
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1984
Authors
  • Said Soulhi (University of Toulouse 3, Toulouse France)

In order to represent speech acts, in a multi-agent context, we choose a knowledge representation based on the modal logic of knowledge KT4 which is defined by Sato. Such a formalism allows us to reason about know- ledge and represent knowledge about knowled- ge, the notions of truth value and of defi- nite reference.