| Reference : AGM Revision of Beliefs about Action and Time |
| Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
| Engineering, computing & technology : Computer science | |||
| http://hdl.handle.net/10993/21354 | |||
| AGM Revision of Beliefs about Action and Time | |
| English | |
Van Zee, Marc  [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] | |
| Doder, Dragan [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| Dastani, Mehdi [] | |
| van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| 2015 | |
| Proceedings of the International Joint Conference on Artificial Intelligence | |
| Yes | |
| International | |
| International Joint Conference on Artificial Intelligence (IJCAI) | |
| from 25-07-2015 to 31-07-2015 | |
| [en] AGM theory of belief revision | |
| [en] The AGM theory of belief revision is based on
propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to- morrow it will rain), possibility (it may rain tomor- row), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl repre- sentation theorems by restricting the logic to for- mulas representing beliefs up to certain time. We illustrate our belief change model through several examples | |
| Researchers ; Professionals ; Students ; General public ; Others | |
| http://hdl.handle.net/10993/21354 |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
