International audienceWe investigate how metadata about the uncertainty of knowledge contained in a knowledge base can be expressed parsimoniously and used for reasoning. We propose an approach based on possibility theory, whereby a classical knowledge base plus metadata about the degree of validity and completeness of some of its portions are used to represent a possibilistic belief base. We show how reasoning on such belief base can be done using a classical reasoner
In recent years formal logical standards for knowledge representation to model real world knowledge ...
International audienceThis paper proposes a concise overview of the role of possibility theory in lo...
International audienceFrom a knowledge representation point of view, it may be interesting to distin...
International audienceWe investigate how metadata about the uncertainty of knowledge contained in a ...
International audienceWe study the problem of aggregating metadata about the validity and/or complet...
In this paper a reasoning process is viewed as a process of constructing a partial model of the worl...
Talks of Keynote Speakers (Conférencier invité)International audienceSets of formulas in classical l...
International audienceThis chapter completes the survey of the existing frameworks for representing ...
International audienceThis brief overview provides a quick survey of qualitative possibility theory ...
Abstract. Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such ...
International audiencePossibilistic knowledge bases gather propositional formulas associated with de...
: The validity of the information stored in a database may be guaranteed or not, according to the fa...
International audiencePossibilistic logic (PL) is more than thirty years old. The paper proposes a s...
International audienceDue to its major focus on knowledge representation and reasoning, artificial i...
In this paper, we will develop a class of logics for reasoning about qualitative and quantitative un...
In recent years formal logical standards for knowledge representation to model real world knowledge ...
International audienceThis paper proposes a concise overview of the role of possibility theory in lo...
International audienceFrom a knowledge representation point of view, it may be interesting to distin...
International audienceWe investigate how metadata about the uncertainty of knowledge contained in a ...
International audienceWe study the problem of aggregating metadata about the validity and/or complet...
In this paper a reasoning process is viewed as a process of constructing a partial model of the worl...
Talks of Keynote Speakers (Conférencier invité)International audienceSets of formulas in classical l...
International audienceThis chapter completes the survey of the existing frameworks for representing ...
International audienceThis brief overview provides a quick survey of qualitative possibility theory ...
Abstract. Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such ...
International audiencePossibilistic knowledge bases gather propositional formulas associated with de...
: The validity of the information stored in a database may be guaranteed or not, according to the fa...
International audiencePossibilistic logic (PL) is more than thirty years old. The paper proposes a s...
International audienceDue to its major focus on knowledge representation and reasoning, artificial i...
In this paper, we will develop a class of logics for reasoning about qualitative and quantitative un...
In recent years formal logical standards for knowledge representation to model real world knowledge ...
International audienceThis paper proposes a concise overview of the role of possibility theory in lo...
International audienceFrom a knowledge representation point of view, it may be interesting to distin...