Dominique Longin

Learn More
In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of(More)
The 1990 papers of Cohen and Levesque (C&L) on rational interaction have been most influential. Their approach is based on a logical framework integrating the concepts of belief, action, time, and choice. On top of these they define notions of achievement goal, persistent goal, and intention. We here revisit their approach in a simplified, propositional(More)
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics of such languages is a crucial prerequisite for the usefulness and acceptance of artificial agency. Nevertheless, those ACLs which are still mostly used, especially the standard(More)
A major critique against BDI (Belief, Desire, Intention) approaches to the communication is that they require strong hypotheses such as sincerity, cooperation, ... on the mental states of the agents (cf. for example [12], [13], [5]). The aim of this paper is to give an operator remeding this defect to a logic BDI. Thus we study communication between(More)
We investigate how belief change in cooperative dialogues can be handled within a modal logic of action, belief, and intention. We first review the main approaches of the literature, and point out some of their shortcomings. We then propose a new framework for belief change. Our basic notion is that of a contextual topic: we suppose that we can associate a(More)
In the recent years, several formal approaches to the specification of normative multi-agent systems and artificial institutions have been proposed. The aim of this paper is to advance the state of the art in this area by proposing an approach in which a normative multi-agent system is conceived to be autonomous, in the sense that it is able to create,(More)
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables us to represent incomplete knowledge, nondeterministic actions, observations, sensing actions and conditional plans; it also enables a logical expression of several frequently(More)
We give a new logic of intention where (contrarily to Cohen&Levesque's approach) intention is a primitive modal operator having a non-normal possible worlds semantics. We then highlight the relation between intention and belief by a set of axioms. In our logic we formulate principles of cooperation allowing an agent to infer new intentions from his(More)
Nowadays, more and more artificial agents integrate emotional abilities, for different purposes: expressivity, adaptability, believability... Designers mainly use Ortony et al.’s typology of emotions, that provides a formalization of twenty-two emotions based on psychological theories. But most of them restrain their agents to a few emotions among these(More)