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

algorithmframesformal semanticssubsumptionterminological logicsinconsistent knowledge

Mathematics Subject Classification ID

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

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

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

Cited in

(23)

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

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)