UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Probable consistency checking for sets of propositional clauses

Hunter, A; (2003) Probable consistency checking for sets of propositional clauses. In: Nielsen, TD and Zhang, NL, (eds.) SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING. (pp. 464 - 476). SPRINGER-VERLAG BERLIN

Full text not available from this repository.


Inconsistencies inevitably arise in knowledge during practical reasoning. In a logic-based approach, this gives rise to the need for consistency checking. Unfortunately, this can be difficult. In classical propositional logic, this is intractable. However, there is a useful alternative to the notion of consistency called probable consistency. This offers a weakening of classical consistency checking where polynomial time tests are done on a set of formulae to determine the probability that the set of formulae is consistent. In this paper, we present a framework for probable consistency checking for sets of clauses, and analyse some classes of polynomial time tests.

Type: Proceedings paper
Title: Probable consistency checking for sets of propositional clauses
Event: 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Dates: 2003-07-02 - 2003-07-05
ISBN: 3-540-40494-5
URI: http://discovery.ucl.ac.uk/id/eprint/105483
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item