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)
In the recent years, several formal approaches to the specification of norma-tive 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)
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)
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)
The last years have seen a renewed interest in modal and description logics (MDLs). Better algorithms, coding, and technology have led to effective systems based on tableau and constraint systems [6,7] to DPLL-based implementations [5], first order provers [8] and the inverse method [13]. PSPACE problems such as satisfiability are within reach for realistic(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)
In this paper we describe a generic tableaux system for building models or counter-models and testing satisfiability of formulas in modal and description logics. This system is called LoTREC2.0. It is characterized by a high-level language for tableau rules and strategies. It aims at covering all Kripke-semantic based logics. It is implemented in Java and(More)
In the agent community, emotional aspects receive more and more attention since they were proven to be essential for intelligent agents. Indeed, from a theoretical point of view, results from cognitive psychology and neuroscience have established the close links that exist in humans between emotions and reasoning (see Damasio's works) or decision making.(More)