Minimal Model Generation Based on E-Hyper Tableaux

DMCA

Minimal Model Generation Based on E-Hyper Tableaux (1996)

Cached

Download Links

[www.uni-koblenz.de]
[wwwneu.uni-koblenz.de]

Other Repositories/Bibliography

DBLP

by Wenjin Lu , Wenjin Lu

Citations:

2 - 2 self

BibTeX

@MISC{Lu96minimalmodel,
    author = {Wenjin Lu and Wenjin Lu},
    title = {Minimal Model Generation Based on E-Hyper Tableaux},
    year = {1996}
}

OpenURL

Abstract

Minimal model generation has received great attention as people have deeper and deeper understanding in the semantics of the logic programming, deductive database, non monotonic reasoning and the relationships among them. But most proposed minimal model generation procedures in literature are inappropriate in the sense that while generating minimal model, they also generate non-minimal models. This means an explicit minimization has to be employed to obtain minimal models. This may be a great factor of inefficiency. In this paper we develop an approach to generate the minimal models, without explicit minimization process, based on E-hyper tableau which is a variant of hyper tableaux. The soundness and completeness of the procedure are proved. 1 Introduction Minimal model generation has received great attention as people have deeper and deeper understanding in the semantics of the logic programming, deductive database, non monotonic reasoning and the relationships among them...

Keyphrases

e-hyper tableau minimal model generation minimal model non monotonic reasoning great attention logic programming deductive database minimal model generation procedure introduction minimal model generation hyper tableau great factor explicit minimization explicit minimization process non-minimal model

DMCA