Belief Revision on Computation Tree Logic

Guerra, Paulo T.; Wassermann, Renata

doi:10.5591/978-1-57735-516-8/IJCAI11-477

Belief Revision on Computation Tree Logic

Paulo T. Guerra, Renata Wassermann

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 2810-2810.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-477

Abstract

Model checking is one of the most effective techniques in automated system verification. Although this technique can handle complex verifications, model checking tools usually do not give any suggestions on how to repair inconsistent system models. In this paper, we show that approaches developed to update models of Computation Tree Logic (CTL) cannot deal with all kinds of changes. We introduce the concept of CTL model revision: an approach based on belief revision to handle system inconsistency in a static context.

Paulo T. Guerra, and Renata Wassermann. 2011. Belief Revision on Computation Tree Logic. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 2810–2810. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-477

@inproceedings{ijcai2011p477,
  title     = {Belief Revision on Computation Tree Logic},
  author    = {Guerra, Paulo T. and Wassermann, Renata},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {2810--2810},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-477},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-477},
}

TY  - CPAPER
TI  - Belief Revision on Computation Tree Logic
AU  - Guerra, Paulo T.
AU  - Wassermann, Renata
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 2810
EP  - 2810
DO  - 10.5591/978-1-57735-516-8/IJCAI11-477
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-477
ER  -