We focus on modelling dual epistemic attitudes (belief-disbelief, knowledge-ignorance, like-dislike) of an agent. This provides an interesting way to express different levels of uncertainties explicitly in the logical language. After introducing a dual modal framework, we discuss the different possibilities of an agent’s attitude towards a proposition that can be expressed in this framework, and provide a preliminary look at the dynamics of the situatio
International audienceWe present a general logical framework for reasoning about agents' cognitive a...
AbstractPossibilistic logic has been proposed as a numerical formalism for reasoning with uncertaint...
This paper aims at bridging together the fields of Uncertain Reasoning and Knowledge Representation....
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semanti...
In this paper a reasoning process is viewed as a process of constructing a partial model of the worl...
2014-06-23My dissertation presents complementary views of reasoning with uncertainty and communicati...
The Belief-Desire-Intention (BDI) architecture is a practical approach for modelling large-scale int...
International audienceThe semantics of modal logics for reasoning about belief or knowledge is often...
Under consideration in Theory and Practice of Logic Programming (TPLP)International audienceWe prese...
The paper incorporates qualitative differences of probabilistic beliefs into a rational (or normativ...
International audienceA bipolar framework is introduced for combining agents' beliefs so as to enabl...
We develop a logical framework for reasoning about knowledge and evidence in which the agent may be ...
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on...
AbstractReasoning about expert domains often involves imperfect knowledge. In such cases any piece o...
summary:This paper aims to develop an analysis of how ignorance affects the reasoning activity and i...
International audienceWe present a general logical framework for reasoning about agents' cognitive a...
AbstractPossibilistic logic has been proposed as a numerical formalism for reasoning with uncertaint...
This paper aims at bridging together the fields of Uncertain Reasoning and Knowledge Representation....
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semanti...
In this paper a reasoning process is viewed as a process of constructing a partial model of the worl...
2014-06-23My dissertation presents complementary views of reasoning with uncertainty and communicati...
The Belief-Desire-Intention (BDI) architecture is a practical approach for modelling large-scale int...
International audienceThe semantics of modal logics for reasoning about belief or knowledge is often...
Under consideration in Theory and Practice of Logic Programming (TPLP)International audienceWe prese...
The paper incorporates qualitative differences of probabilistic beliefs into a rational (or normativ...
International audienceA bipolar framework is introduced for combining agents' beliefs so as to enabl...
We develop a logical framework for reasoning about knowledge and evidence in which the agent may be ...
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on...
AbstractReasoning about expert domains often involves imperfect knowledge. In such cases any piece o...
summary:This paper aims to develop an analysis of how ignorance affects the reasoning activity and i...
International audienceWe present a general logical framework for reasoning about agents' cognitive a...
AbstractPossibilistic logic has been proposed as a numerical formalism for reasoning with uncertaint...
This paper aims at bridging together the fields of Uncertain Reasoning and Knowledge Representation....