P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandEingeladenBegutachtung

Beitragende

Abstract

Knowledge representation and reasoning leads to a wide range of computational problems, and it is of great interest to understand the difficulty of these problems. Today this question is mainly studied using computational complexity theory and algorithmic complexity analysis. For example, entailment in propositional Horn logic is P-complete and a specific algorithm is known that runs in linear time. Unfortunately, tight algorithmic complexity bounds are rare and often based on impractical algorithms (e.g., O(n 2.373) for transitive closure by matrix multiplication), whereas computational complexity results abound but are very coarse-grained (e.g., many P-complete problems cannot be solved in linear time).

In this invited paper, we therefore advocate another approach to gauging the difficulty of a computation: we reformulate computational problems as query answering problems, and then ask how powerful a query language is needed to solve these problems. This reduces reasoning problems to a computational model – query answering – that is supported by many efficient implementations. It is of immediate practical interest to know if a problem can be reduced to query answering in an existing database system. On the theoretical side, it allows us to distinguish problems in a more-fine grained manner than computational complexity without being specific to a particular algorithm. We provide several examples of this approach and discuss its merits and limitations.

Details

OriginalspracheEnglisch
TitelWeb Reasoning and Rule Systems
Redakteure/-innenRoman Kontchakov, Marie-Laure Mugnier
Herausgeber (Verlag)Springer, Cham
Seiten1-22
ISBN (elektronisch)978-3-319-11113-1
ISBN (Print)978-3-319-11112-4
PublikationsstatusVeröffentlicht - 2014
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science
Band8741
ISSN0302-9743

Externe IDs

researchoutputwizard legacy.publication#68904