scientific article; zbMATH DE number 4166941

MaRDI QIDQ3493329zbMATH OpenFDO

Authors Eliezer L. Lozinskii

Publication date 1989

zbMATH Keywords

deductive databasesexpert systemsHerbrand baseknowledge-base systemsPlausible World Assumptionrelative monotonicity

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Possible worlds in use
• scientific article; zbMATH DE number 4162849
• Weak generalized closed world assumption
• Constructing possible worlds*
• Plausible inferences and plausible reasoning
• Intelligible worlds
• scientific article; zbMATH DE number 4119315
• scientific article; zbMATH DE number 408801
• scientific article; zbMATH DE number 589696
• Factual and plausible reasoning

Cited in

(2)

• A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
• Information and evidence in logic systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3493329)