A new logic of belief (in the "Only knowing" family) with confidence levels is presented. The logic allows a natural distinction between explicit and implicit belief representations, where the explicit form directly expresses its models. The explicit form can be found by applying a set of equivalence preserving rewriting rules to the implicit form. The rewriting process is performed entirely within the logic, on the object level. We prove that the problem of deciding whether there exists a consistent explicit form is Σ2p-complete, a complexity class which many problems of nonmonotonic reasoning belong to.
CITATION STYLE
Lian, E. H., Langholm, T., & Waaler, A. (2004). Only knowing with confidence levels: Reductions and complexity. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3229, pp. 500–512). Springer Verlag. https://doi.org/10.1007/978-3-540-30227-8_42
Mendeley helps you to discover research relevant for your work.