%0 Conference Paper %1 easterbrook01ijcai %A Easterbrook, S. M. %A Chechik, M. %B First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01) %C Seattle, USA %D 2001 %K Model logic reasoning %T Automated Paraconsistent Reasoning via Model Checking %U http://www.cs.toronto.edu/~sme/papers/2001/IJCAI01-Wkshp.pdf %X Inconsistency is a pervasive problem in software engineering, where different aspects of a system are described in separate models. Resolving all the inconsistencies in a large set of models is often infeasible, in which case automated reasoning tools based on classical logic have limited application. In this paper we describe an automated tool for paraconsistent reasoning, using multi-valued logics. The reasoning engine is an adaptation of classical model checking, and works for any multi-valued logic whose truth values form a quasi-boolean lattice. We describe the design of the model checker, and show how it can be used to reason about models created by merging information from multiple conflicting sources.

@inproceedings{easterbrook01ijcai, abstract = {Inconsistency is a pervasive problem in software engineering, where different aspects of a system are described in separate models. Resolving all the inconsistencies in a large set of models is often infeasible, in which case automated reasoning tools based on classical logic have limited application. In this paper we describe an automated tool for paraconsistent reasoning, using multi-valued logics. The reasoning engine is an adaptation of classical model checking, and works for any multi-valued logic whose truth values form a quasi-boolean lattice. We describe the design of the model checker, and show how it can be used to reason about models created by merging information from multiple conflicting sources.}, added-at = {2009-02-04T18:13:55.000+0100}, address = {Seattle, USA}, author = {Easterbrook, S. M. and Chechik, M.}, biburl = {https://www.bibsonomy.org/bibtex/2627bcab10e82caf8906de3c2eec085af/neilernst}, booktitle = {First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01)}, interhash = {c9e88dec71e3253b664bf82cc453ac23}, intrahash = {627bcab10e82caf8906de3c2eec085af}, keywords = {Model logic reasoning}, month = {August}, timestamp = {2009-02-04T18:13:55.000+0100}, title = {Automated Paraconsistent Reasoning via Model Checking}, url = {http://www.cs.toronto.edu/~sme/papers/2001/IJCAI01-Wkshp.pdf}, year = 2001 }