Chapter 6 Possibilistic uncertainty and fuzzy features in description logic. A preliminary discussion
Capturing intelligencePublished 1 January 2006
Didier Dubois, Jérôme Mengin, Henri Prade
Citations53
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The representation capabilities of first-order possibilistic logic are pointed out, before briefly providing some hints, which may be of interest for dealing with uncertainty and handling some fuzzy features in description logic.
Abstract
International audience
Keywords
Computer Science
Fuzzy Sets and SystemsFuzzy sets as a basis for a theory of possibility
7,964 Citations1978Lotfi A. Zadeh
Fuzzy Sets and SystemsFuzzy sets as a basis for a theory of possibility
7,280 Citations1999Lotfi A. Zadeh
The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable.
Cambridge University Press eBooksThe Description Logic Handbook
6,212 Citations2007Franz Baader, Franz Baader +17 more
Elsevier eBooksUncertainty in Artificial Intelligence
1,434 Citations1992
Qualitative Probabilistic Reasoning and Cognitive models, Dempster-Shafer Theory in Knowledge Representation, and Possibility Theory: Semantics and Applications.
Information and ControlResolution of composite fuzzy relation equations
1,039 Citations1976Élie Sanchez
This paper provides a methodology for solution of certain basic fuzzy relational equations, with fuzzy sets defined as mappings from sets into complete Brouwerian lattices, covering a large class of types of fuzzy sets.
Possibilistic Logic
623 Citations1994D. Dubois, Jérôme Lang +1 more
Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent knowledge that handles formulas of propositional or first-order logic to which are attached numbers between 0 and 1.
Journal of Artificial Intelligence ResearchReasoning within Fuzzy Description Logics
526 Citations2001Umberto Straccia
This paper presents a fuzzy extension of ALC, combining Zadeh's fuzzy logic with a classical DL, where concepts becomes fuzzy and, thus, reasoning about imprecise concepts is supported.
Annals of Mathematics and Artificial IntelligencePossibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification
400 Citations2001Didier Dubois, Henri Prade
This paper clarifies a pervasive confusion between possibility theory axioms and fuzzy set basic connectives by demonstrating that any belief representation where compositionality is taken for granted is bound to at worst collapse to a Boolean truth assignment and at best to a poorly expressive tool.
Representing Default Rules in Possibilistic Logic
226 Citations1992Salem Benferhat, Didier Dubois +1 more
It is pointed out that the notion of inconsistency tolerant inference in possibilistic logic corresponds to the bold inference in system Z, and how to express defaults by means of qualitative possibility relations is shown.
Fuzzy Sets and SystemsMaking fuzzy description logic more general
195 Citations2005Petr Hájek
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented and some stronger results are obtained.
Fuzzy Sets and SystemsPossibilistic logic: a retrospective and prospective view
182 Citations2003Didier Dubois, Henri Prade
Several extensions that mainly deal with the nature and the handling of the weights attached to formulas, are suggested or surveyed: the leximin-based comparison of proofs, the use of partially ordered scales for the weights, or the management of fuzzily restricted variables.
Fuzzy Sets and SystemsFuzzy cardinality and the modeling of imprecise quantification
182 Citations1985Didier Dubois, Henri Prade
A systematic investigation of the cardinality of a fuzzy set is performed which unifies and improves previous attempts and the usefulness of fuzzy cardinality for meaning representation of statements or queries involving fuzzy linguistic quantifiers is emphasized.
International Journal of Intelligent SystemsVagueness, typicality, and uncertainty in class hierarchies
150 Citations1991Didier Dubois, Henri Prade +1 more
An object‐centered representation is presented, where both a range of allowed values and arange of typical values can be specified for the attributes describing a class, and various kinds of inclusion relations can be defined between classes.
A Fuzzy Description Logic
147 Citations1998Umberto Straccia
A general fuzzy DL is presented, which combines fuzzy logic with DLs, and its syntax, semantics and constraint propagation calculi for reasoning in it are defined.
A Description Logic for Vague Knowledge
146 Citations1998C. Tresp, Ralf Molitor
The main contribution of this paper is a sound and complete method for computing the degree of subsumption between two ALC(FM)-concepts.
International Joint Conference on Artificial IntelligenceGeneralizing term subsumption languages to fuzzy logic
137 Citations1991John Yen
The generalized knowledge representation framework not only alleviates the difficulty of conventional AI knowledge representation schemes in handling imprecise and vague information, but also extends the application of fuzzy logic to complex intelligent systems that need to perform highlevel analyses using conceptual abstractions.
Fuzzy Sets and SystemsSemantics of quotient operators in fuzzy relational databases
89 Citations1996Didier Dubois, Henri Prade
This note points out that the fuzzy quotient operator should be defined in slightly different ways depending on the possible interpretations of the degrees: levels of satisfaction of a gradual property, levels of importance of a required property, uncertainty pertaining to the membership of an element to a subset.
Possibilistic Logic: Complexity and Algorithms
78 Citations2000Jérôme Lang
Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete and partially inconsistent knowledge and handles formulae of propositional or first-order classical logic to which are attached lower bounds of so-called degrees of necessity and possibility.
Journal of Intelligent Information SystemsQualitative reasoning with imprecise probabilities
62 Citations1993Didier Dubois, Lluı́s Godo +2 more
This paper investigates the possibility of performing automated reasoning in probabilistic knowledge bases when probabilities are expressed by means of linguistic quantifiers and shows that a qualitative counterpart of this syllogism makes sense and is fairly independent of the thresholds defining the linguistically meaningful intervals.
International Journal of Approximate ReasoningAn alternative proof method for possibilistic logic and its application to terminological logics
49 Citations1995Bernhard Hollunder
The main feature of this method is that it completely abstracts from a concrete calculus but uses as basic operation a test for classical entailment, which yields an extension of terminological logics towards the representation of uncertain knowledge which is satisfactory from a semantic as well as algorithmic point of view.
A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables
48 Citations2000Teresa Alsinet, Lluı́s Godo
This paper provides a modus ponens-style calculus for a sublanguage of Horn-rules and proves that it is complete for determining the maximum degree of possibilistic belief with which a fuzzy propositional variable can be entailed from a set of formulas.
Elsevier eBooksAn Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics
42 Citations1994Bernhard Hollunder
The main feature of this method is that it completely stracts from a concrete calculus but uses as basic operation a test for classical entailment, which yields an extension of terminological logics towards the representation of uncertain knowledge which is satisfactory from a semantic as well as algorithmic point of view.
CERN Document Server (European Organization for Nuclear Research)Logic Programming and Soft Computing
40 Citations1998T. P. Martin, Francesca Arcelli Fontana
This book presents different perspectives on how to combine soft computing's tolerance of imprecision with logic programming's power and semantics to provide a way forward for the implementation of intelligent knowledge-based systems.
Vaguely Defined Objects
38 Citations1996Maciej Wygralak
Advances in fuzzy systemsA HIERARCHICAL MODEL OF FUZZY CLASSES
36 Citations1997Jean‐Paul Rossazza, Didier Dubois +1 more
Information SciencesUpper and lower images of a fuzzy set induced by a fuzzy relation: Applications to fuzzy inference and diagnosis
33 Citations1992Didier Dubois, Henri Prade
Fuzzy sets and fuzzy relations, depending on the situations, can be interpreted either in a conjunctive manner or as subsets of mutually exclusive possible values for variables whose precise values are ill-known (disjunctive view).
Elsevier eBooksA Logic of Graded Possibility and Certainty Coping with Partial Inconsistency
27 Citations1991Jérôme Lang, Didier Dubois +1 more
The refutation method of automated deduction in possibilistic logic, based on previously introduced generalized resolution principle is proved to be sound and complete with respect to the proposed semantics, including the case of partial inconsistency.
Endokrynologia PolskaUncertainty in Description Logics: a Lattice-based Approach
25 Citations2005Umberto Straccia
The results suggest the existence of a new mechanism of glucocorticoids action, consisting of an increase in the secretion of TGFβ1 in thyreotoxic patients with active GO.
Uncertainty in Artificial IntelligenceA Symbolic Approach to Reasoning with Linguistic Quantifiers
22 Citations1992Didier Dubois, Henri Prade +2 more
This paper investigates the possibility of performing automated reasoning in probabilistic logic when probabilities are expressed by means of linguistic quantifiers, and shows that a qualitative counterpart of this syllogism makes sense, and is relatively independent of the threshold defining the linguistically meaningful intervals.
The Subsumption Problem of the Fuzzy Description Logic ALCFH
17 Citations2004Steffen Hölldobler, Hans-Peter Störr +2 more
The fuzzy description logic ALCFH is presented where primitive concepts are modified by means of hedges taken from hedge algebras and it is shown that given a linearly ordered set of hedge primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedging.
HAL (Le Centre pour la Communication Scientifique Directe)Étude de quelques logiques de descriptions floues et de formalismes apparentés
1 Citations2004Mathieu d’Aquin, Jean Lieber +1 more