An alternative proof method for possibilistic logic and its application to terminological logics

DOI10.1016/0888-613X(94)00015-UzbMath0814.68120arXiv1302.6819MaRDI QIDQ1346240

Bernhard Hollunder

Publication date: 22 March 1995

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.6819

zbMATH Keywords

knowledge representationpossibilistic logicpossibilistic reasoningterminological logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)

Related Items (10)

Extending description logics with uncertainty reasoning in possibilistic logic ⋮ Extending uncertainty formalisms to linear constraints and other complex formalisms ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ Possibilistic logic: a retrospective and prospective view ⋮ Uncertain lightweight ontologies in a product-based possibility theory framework ⋮ A first polynomial non-clausal class in many-valued logic ⋮ Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic ⋮ Reasoning within expressive fuzzy rough description logics ⋮ Towards Contingent World Descriptions in Description Logics ⋮ The possibilistic Horn non-clausal knowledge bases

Cites Work

• Fuzzy sets as a basis for a theory of possibility
• Cardinality restrictions on concepts
• ``Reducing classic to practice: Knowledge representation theory meets reality
• Necessity Measures and the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An alternative proof method for possibilistic logic and its application to terminological logics