On the semantics of knowledge update

Chitta Baral, Yan Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Abstract

We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our method, an update is specified according to the minimal change on both the agent's actual world and knowledge. We then investigate the semantics of knowledge update and characterize several specific forms of knowledge update which have important applications in reasoning about change of agents' knowledge. We also discuss the persistence property of knowledge and ignorance associated with knowledge update.

Original languageEnglish (US)
Title of host publicationIJCAI International Joint Conference on Artificial Intelligence
Pages97-102
Number of pages6
StatePublished - 2001
Event17th International Joint Conference on Artificial Intelligence, IJCAI 2001 - Seattle, WA, United States
Duration: Aug 4 2001Aug 10 2001

Other

Other17th International Joint Conference on Artificial Intelligence, IJCAI 2001
CountryUnited States
CitySeattle, WA
Period8/4/018/10/01

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'On the semantics of knowledge update'. Together they form a unique fingerprint.

Cite this