On the Semantics of Knowledge Update

Baral, Chitta; Zhang, Yan

On the Semantics of Knowledge Update

Download BibTeX Cite

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. Pages 97-101.

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.

Chitta Baral, and Yan Zhang. 2001. On the Semantics of Knowledge Update. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. IJCAI, 97–101. https://ijcai.org/proceedings/2001/13

@inproceedings{ijcai2001p13,
  title     = {On the Semantics of Knowledge Update},
  author    = {Baral, Chitta and Zhang, Yan},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on
               Artificial Intelligence, {IJCAI-01}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {97--101},
  year      = {2001},
  url       = {https://ijcai.org/proceedings/2001/13},
}

TY  - CPAPER
TI  - On the Semantics of Knowledge Update
AU  - Baral, Chitta
AU  - Zhang, Yan
T2  - Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2001
SP  - 97
EP  - 101
UR  - https://ijcai.org/proceedings/2001/13
ER  -