Dislog - a system for reasoning in disjunctive deductive databases

Cita com:
hdl:2117/376071
Document typeConference report
Defense date1994
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
Except where otherwise noted, content on this work
is licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 4.0 International
Abstract
DisLoG is a system for reasoning in disjunctive -deductive databases. It
seeks to combine features of disjunctive logic programming, such as the support
for incomplete information, with those of deductive databases, such as
all-result inference capabilities. Severa} basic operators are provided for logical
and non-monotonic reasoning: The logical consequence operator derives all
'Iogically implied disjunctive clauses from a disjunctive logic program. The nonmonotonic
operators are semantically founded on generalizations of the wellknown
closed-world-assumption. Reasoning in disjunctive deductive databases
is very complex, even for small examples. Many different optimization techniques
are integrated in D1sLoG to speed up the application performance. The
main techniques rely on a clause tree data structure allowing for an efficient and
transparent evaluation_ '¡he operators of D1sLoG can be loaded from a library
into a PROLOG application. D1s L0G itself is implemented as a meta-interpreter
in SICSTUS-PR0L0G.
CitationSeipel, D.; Thöne, H. Dislog - a system for reasoning in disjunctive deductive databases. A: "Proceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994, p. 325-343.
Files | Description | Size | Format | View |
---|---|---|---|---|
5DAISD_15_Dislog a system for.pdf | 821,4Kb | View/Open |