A four-valued semantics for terminological logics

DOI10.1016/0004-3702(89)90036-2MaRDI QIDQ1115428zbMATH OpenOpenAlexFDO

Authors Peter F. Patel-Schneider

Publication date 1989

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(89)90036-2

zbMATH Keywords

algorithmformal semanticsframesinconsistent knowledgesubsumptionterminological logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Natural language processing (68T50)

Review text

A certain formal semantics for terminological logics formalizing the notion of frames is proposed. The four-valued semantics considered here includes the possibility to have inconsistent knowledge about some proposition without being totally inconsistent. A detailed discussion concerning the proposed semantics is given in the fourth section of the paper. For concepts and roles in canonical form, Theorem 1 in the fifth section gives a sound and complete characterization of subsumption. Next, an algorithm for subsumption for canonical form concepts and roles is derived from the given characterization. Technical results, mainly the proofs of the asserted properties as soundness and completeness corresponding to the proposed algorithm, are given in Appendix A.

Recommendations

• Four-valued semantics for relevant logics (and some of their rivals)
• Erratum to: A four valued semantics for terminological logics
• ``Four-valued semantics for the relevant logic R
• Four-valued semantics for abstract argumentation frameworks using (extensions of) Dunn-Belnap four-valued logic
• A sequent calculus for reasoning in four-valued description logics
• On four-valued regular logics
• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
• A new four-valued approach to modal logic
• Four-valued modal logic: Kripke semantics and duality

Cites work

• A decidable first-order logic for knowledge representation
• Computational complexity of terminological reasoning in BACK
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3688740 (Why is no real title available?)

Cited in

(24)

• The KL-ONE family
• Subsumption computed algebraically
• Peirce algebras
• On the complexity of entailment in propositional multivalued logics
• Tractable reasoning via approximation
• ``Four-valued semantics for the relevant logic R
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs
• Terminological reasoning is inherently intractable
• Tractable approximate deduction for OWL
• scientific article; zbMATH DE number 5872210 (Why is no real title available?)
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• A comment on relevant truth table logic
• A 4-valued framework encompassing intuitionistic and classical logic
• A sequent calculus for reasoning in four-valued description logics
• On the expressive power of three-valued and four-valued languages
• scientific article; zbMATH DE number 7503168 (Why is no real title available?)
• DESCRIPTION LOGICS OVER LATTICES
• A nonstandard approach to the logical omniscience problem
• A nonstandard approach to the logical omniscience problem
• Classic learning
• Queries with exact truth values on concept and role atoms in paraconsistent description logics
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Towards constructive DL for abstraction and refinement

This page was built for publication: A four-valued semantics for terminological logics

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