ML Anthology

Belief Revision on Computation Tree Logic

Paulo T. Guerra, Renata Wassermann
IJCAI 2011 pp. 2810-2811
doi:10.5591/978-1-57735-516-8/IJCAI11-477 /ijcai/2011/guerra2011ijcai-belief/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Guerra and Wassermann. "Belief Revision on Computation Tree Logic." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-477

Markdown

[Guerra and Wassermann. "Belief Revision on Computation Tree Logic." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/guerra2011ijcai-belief/) doi:10.5591/978-1-57735-516-8/IJCAI11-477

BibTeX

@inproceedings{guerra2011ijcai-belief,
  title     = {{Belief Revision on Computation Tree Logic}},
  author    = {Guerra, Paulo T. and Wassermann, Renata},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {2810-2811},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-477},
  url       = {https://mlanthology.org/ijcai/2011/guerra2011ijcai-belief/}
}