Issue No. 05 - October (1996 vol. 8)

ISSN: 1041-4347

pp: 773-785

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.542029

ABSTRACT

<p><b>Abstract</b>—Deductive databases that interact with, and are accessed by, reasoning agents in the real world (such as logic controllers in automated manufacturing, weapons guidance systems, aircraft landing systems, land-vehicle maneuvering systems, and air-traffic control systems) must have the ability to deal with multiple modes of reasoning. Specifically, the types of reasoning we are concerned with include, among others, reasoning about time, reasoning about quantitative relationships that may be expressed in the form of differential equations or optimization problems, and reasoning about <it>numeric</it> modes of uncertainty about the domain which the database seeks to describe. Such databases may need to handle diverse forms of data structures, and frequently they may require use of the assumption-based nonmonotonic representation of knowledge.</p><p>A hybrid knowledge base is a theoretical framework capturing all the above modes of reasoning. The theory tightly unifies the Constraint Logic Programming Scheme of Jaffar and Lassez [<ref rid="bibk077312" type="bib">12</ref>], the Generalized Annotated Logic Programming Theory of Kifer and Subrahmanian [<ref rid="bibk077317" type="bib">17</ref>], and the Stable Model semantics of Gelfond and Lifschitz [<ref rid="bibk07737" type="bib">7</ref>]. New techniques are introduced which extend both the work on Annotated Logic Programming and the Stable Model semantics. (Proofs are omitted from the paper to ensure readability. Complete details of all results may be found in [<ref rid="bibk077324" type="bib">24</ref>].)</p>

INDEX TERMS

Annotated logic, constraint logic programming, heterogeneous system, mediator, stable model.

CITATION

V.s. Subrahmanian, James J. Lu, Anil Nerode, "Hybrid Knowledge Bases",

*IEEE Transactions on Knowledge & Data Engineering*, vol. 8, no. , pp. 773-785, October 1996, doi:10.1109/69.542029