Dominique Longin

Dominique Longin
French National Centre for Scientific Research | CNRS · Institut des sciences de l'information et de leurs interactions (INS2I)

PhD

About

88
Publications
13,096
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
881
Citations

Publications

Publications (88)
Article
We present a novel approach to cognitive planning, i.e., an agent's planning aimed at changing the cognitive attitudes of another agent including her beliefs and intentions. We encode the cognitive planning problem in an epistemic logic with a semantics exploiting belief bases. We study a NP-fragment of the logic whose satisfiability problem is red...
Chapter
We present an epistemic language for representing an artificial player’s beliefs and actions in the context of the Yōkai board game. Yōkai is a cooperative game which requires a combination of Theory of Mind (ToM), temporal and spatial reasoning to be played effectively by an artificial agent. We show that the language properly accounts for these t...
Conference Paper
This work deals with logical formalization and problem solving using automated solvers. We present the automatic translator TouIST that provides a simple language to generate logical formulas from a problem description. Our tool allows us to model many static or dynamic combinatorial problems and to benefit from the regular improvements of SAT, QBF...
Conference Paper
This work deals with logical formalization and problem solving using automated solvers. We present the automatic translator TouIST that provides a simple language to generate logical formulas from a problem description. Our tool allows us to model many static or dynamic combinatorial problems and to benefit from the regular improvements of SAT, QBF...
Chapter
A cognitive agent is an agent characterized by properties that are generally attributed to humans. Cognition is viewed here as a general mechanism of reasoning (in contrast with reactive agents) about knowledge. Such agents can perceive their environment, reason about fact or epistemic states of other agents, have a decision making process, etc. Th...
Conference Paper
Full-text available
Crisis investigation reports revealed a gap between existing security measures and the actual behaviour of victims, especially related to their emotional states. We propose a new mathematical model of emotion for simulating human behaviours in crisis situations. The model takes into account various environmental situations (static or dynamic) and t...
Conference Paper
Full-text available
To be realistic, evacuation simulations have to consider several aspects of the human psychology that affect their decision-making process. Among them we find social relationships and emotions like fear. The former has been proven to have a great influence on the outcomes of simulations as they modify the behaviour of agents to make them escape in...
Book
Full-text available
To be realistic, evacuation simulations have to consider several aspects of the human psychology that affect their decision-making process. Among them we find social relationships and emotions like fear. The former has been proven to have a great influence on the outcomes of simulations as they modify the behaviour of agents to make them escape in...
Article
Considerable improvements in the technology and performance of SAT solvers has made their use possible for the resolution of various problems in artificial intelligence, and among them that of generating plans. Recently, promising Quantified Boolean Formula (QBF) solvers have been developed and we may expect that in a near future they become as eff...
Conference Paper
We study agents expressing propositional goals over a set of binary issues to reach a collective decision. We adapt properties and rules from the literature on Social Choice Theory to our setting, providing an axiomatic characterisation of a majority rule for goal-based voting. We study the computational complexity of finding the outcome of our rul...
Conference Paper
Ranking-based semantics are a way of assessing the acceptability of arguments in an abstract argumentation framework, by providing a ranking on arguments. This paper aims at going towards a generalization of the construction of such semantics, by investigating subsumption and incompatibility cases that may arise when principles that may enter into...
Article
Full-text available
Applying agent-based modeling to simulate the evacuation in case of emergency situations is recognized by many research works as an efficient tool for understanding the behavior and decision making of occupants in these situations.In this paper, we present our work aiming to modeling the influence of the emotion and social relationship of occupants...
Article
Full-text available
In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are propositional formulas, whereas in iterated BG goals are formulas of Linear Temporal Logic. Both notions of BG are characterised by the fact that agents have exclusive c...
Article
Full-text available
The key role of emotions in decision-making process of human beings has been highlighted recently. Our research focuses on fear-related emotions and their positive impact on the survival capabilities of human beings in case of crisis situations. In this paper, we proposed a new model of emotional contagion based on some main findings in social psyc...
Conference Paper
Full-text available
Recently the key role of emotions in decision-making process has been highlighted. In this article, we focus on fear-related emotions and their positive impact on the survival capabilities of human beings in case of crisis situation. The purpose of this paper is to clarify the impact of emotion on agents in the evacuation process; we only focus her...
Conference Paper
Full-text available
This is a report on an implemented system that allows the user to specify an argumentation semantics and that returns a logical encoding in the form of a parameterized propositional formula. When applied to a subset S of a given argumentation graph G, the instantiated formula is satisfiable if and only if S is an extension for G according to the ar...
Conference Paper
Full-text available
Our main purpose is to build a simulation describing the persons movements in a public area during a crisis situation. Our running example is about the evacuation process of a supermarket during a fire. The main difficulty of such works comes from the fact that it is generally impossible to obtain precise descriptions of persons behaviors. After se...
Chapter
Full-text available
We overview the existing philosophical accounts of group belief, including both aggregative (or reductionist) approaches reducing collective belief to individual beliefs and non-reductionist approaches ascribing beliefs to the group as a whole. We then provide a modal logic of group belief \(\mathcal{G}\mathcal{L}\) that follows a non-reductionist...
Conference Paper
Full-text available
Computer simulation is a powerful tool for planning real evacuation scenarios during a crisis. In such context, emotion is a major factor that influences human decision making process and behavior. In this paper, we present our multi-agent simulation through the mathematical formalization of its main components: emotion and its dynamics, an heurist...
Article
Full-text available
Some emotions, described as “basic” in the literature, are al-most reflexes. Other emotions are triggered via pattern matching mechanisms operating on specific mental states (most often epistemic and motivational) to determine the (in)congruence of these states. Yet other emotions come from more or less complex cognitive mechanisms (and we thus cal...
Conference Paper
Full-text available
Some emotions, described as “basic” in the literature, are almost reflexes. Other emotions are triggered via pattern matching mechanisms operating on specific mental states (most often epistemic and motivational) to determine the (in)congruence of these states. Yet other emotions come from more or less complex cognitive mechanisms (and we thus call...
Article
Full-text available
The aim of this article is to provide a logical analysis of the concept of responsibility attribution; that is, how agents ascribe responsibility about the consequences of actions, either to themselves or to other agents. The article is divided in two parts. The first part investigates the importance of the concept of responsibility attribution for...
Conference Paper
Full-text available
Sous ce titre quelque peu humoristique se cache une vraie question : qu’est-ce qui différencie la honte de la culpabilité? Cette question est d’autant plus importante que de nombreuses études en psychologie montrent qu’on a bien souvent tendance à les assimiler et à nommer l’une pour l’autre. Mais l’intérêt d’une telle étude réside également dans l...
Conference Paper
Full-text available
We discuss here the need to define what we call an agent conversational language, a language for Embodied Conversational Agents (ECA) to have conversations with a human. We propose a set of Expressive Multimodal Conversation Acts (EMCA), which is based on the Expressive Speech Acts that we introduced in a previous work, enriched with the multimodal...
Chapter
Full-text available
Ambient Intelligence (AmI) is the art of designing intelligent and user-focused environments. It is thus of great importance to take human factors into account. In this chapter we especially focus on emotions, that have been proved to be essential in human reasoning and interaction. To this end, we assume that we can take advantage of the results o...
Article
Emotion and trust are two important concerns for the elaboration of interaction systems that would be closer and more attractive to their users, in particular by endowing machines with the ability to predict, understand, and process emotions and trust. This paper attempts to construct a common logical framework for the representation of emotion and...
Article
Full-text available
In the recent years, several formal approaches to the specification of normative multi-agent systems (MASs) and artificial institutions have been proposed. The aim of this article is to advance the state of the art in this area by proposing an approach in which a normative MAS is conceived to be autonomous, in the sense that it is able to create, m...
Conference Paper
Full-text available
The focus of this contribution is to define speech acts as institutional actions where modeled institutions are social or informal institutions. With social or informal institution, we mean an institution which is grounded on the acceptances of its members. In the first part of the paper we present a logic of acceptance, goal and action. Then, we s...
Conference Paper
Full-text available
Research about the semantics of agent communication languages traditionally sees the opposition between the mentalist and social approaches. In this paper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a...
Conference Paper
Most agent Communication Languages are no longer defined in terms of the agents' mental attitudes, but in terms of social commitments. However, such social approaches have two drawbacks. First, the notion of commitment does not have a clear and unambiguous characterization. Second, commitments are completely unrelated to the agents' reasoning. We r...
Conference Paper
Full-text available
Most agent Communication Languages are no longer defined in terms of the agents' mental attitudes, but in terms of so- cial commitments. However, such social approaches have two drawbacks. First, the notion of commitment does not have a clear and unambiguous characterization. Second, commitments are completely unrelated to the agents' rea- soning....
Article
Full-text available
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...
Article
Full-text available
Emotion and trust are two important concerns for the elaboration of interaction systems that would be closer and more attractive to their users, in particular by endowing machines with the ability to predict, understand, and process emotions and trust. This paper attempts to construct a common logical framework for the representation of emotion and...
Conference Paper
Full-text available
Trust and social emotions such as gratitude and anger have natural relations and they both play a key role in research of interaction systems in the context of ambient intelligence and affective computing nowadays. This paper presents a logical approach to formalize both the relations between trust and anger for one hand, and between distrust and g...
Article
Full-text available
This article proposes a qualitative analysis of a dialogue between two children solving the Tower of Hanoi problem. We know that in some circumstances, two heads are better than one. The question is how interactional constraints are likely to provide cognitive benefits? To carry out such an analysis, we use Interlocutory Logic, which is a formal sy...
Conference Paper
Full-text available
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quan- titative representation of these concepts. Trust and reputation are commonly sim- plified to a numerical representation loosing important properties of these con- cepts. The aim of this paper is the...
Article
Full-text available
www.irit.fr/recherches/LILAC, www.irit.fr/recherches/RPDMP
Technical Report
Full-text available
The aim of this paper is to provide an analysis of speech acts as institutional actions, where an institution is grounded on the attitudes of its members. In the first part of the paper we present a logic of acceptance, goal and action. Then, we specify how agents can create and maintain normative and institutional facts on the basis of their accep...
Conference Paper
Full-text available
The aim of this paper is to provide a logical framework which enables reasoning about institutions and their dynamics. In our approach an institution is grounded on the acceptances of its members. We devote special emphasis to the role of legis-lator. We characterize the legislator as the role whose func-tion is the creation and the modification of...
Conference Paper
Full-text available
The aim of this paper is to provide a logical framework for the specification of autonomousMulti-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding ('nomos') itself ('auto') independently of any external normative constraint speci- fied by a designer. In particular, a MAS is autonomous if it is able to maintain its socia...
Article
Full-text available
More and more often, agents have to communicate with humans to solve complex problems. Now, to be be accepted by humans, they must express realist and relevant emotions. Reserrchers thus build on psychological theories to design computational models of emotions. They mainly use Ortany, Clore and Collins' theory known as the OC typology. In this pap...
Conference Paper
Full-text available
Emotion takes an increasingly important place in the design of intelligent virtual agents. Designers of emotional agents build on theories from cognitive psychology, that describe the cognitive functioning of emotions with two indivisible processes [1,2]: the appraisal process triggers emotions, in particular intense negative emotions to point out...
Conference Paper
Full-text available
Nowadays, more and more artificial agents integrate emotional abil- ities, 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 amon...
Article
Full-text available
In the agent community, emotional aspects receive more and more attention since they were proven to be essential for intelli-gent 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 or deci-sion making. And from a pr...
Article
Full-text available
A major critique against BDI (Belief, Desire, Intention) approaches to communication is that they require strong hypotheses such as sincerity and cooperation on the mental states of the agents (cf. for example [Singh, M.P., 1998; Singh, M.P., 2000; Fornara, N. and M. Colombetti, 2002]). The aim of this paper is to remed this defect. Thus we study c...
Conference Paper
Full-text available
One of the most important aspects of the research on agent interaction is the de nition of agent communication languages (ACLs), and the speci cation of a proper formal semantics of such languages is a crucial prerequisite for the usefulness and acceptance of arti cial agency. Nevertheless, those ACLs which are still mostly used, especially the sta...
Conference Paper
Full-text available
In this paper we investigate the logic of speech acts and groundedness. A piece of information is grounded for a group of agents if it is publicly expressed and established by all agents of the group. Our concept of groundedness is founded on the expression of the sincerity condition of speech act the- ory. We formalize groundedness within an exten...
Article
Full-text available
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...
Conference Paper
Full-text available
In this paper we describe a generic tableaux system for build- ing 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...
Conference Paper
Full-text available
The 1990 papers of Cohen and Levesque (C&L) on ratio- nal 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 intentio n. We here revisit their approach in a simplified, propo...
Conference Paper
Full-text available
We investigate a simple modal logic of probability with a unary modal operator expressing that a proposition is more probable than its negation. Such an operator is not closed under conjunction, and its modal logic is therefore non-normal. Within this framework we study the relation of probability with other modal concepts: belief and action.
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
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
Article
Full-text available
this paper, we focus on the belief change process, viz. the ability to take into account the dynamics of the world.
Article
Full-text available
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 ass...
Article
Full-text available
We study the dynamics of belief in cooperative task-oriented manmachine dialogues. We suppose that during the dialogue each participant can mistake a piece of information, forget it or simply change his mind. We begin with some hypotheses about the participants, and present some approaches. We point out shortcomings of the latter and introduce a ne...
Conference Paper
Full-text available
We propose an epistemic dynamic logic EDL able to repre- sent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL en- ables us to represent incomplete knowledge, nondeterministic actions, observations, sensing actions and conditional plans; it also enables a logical expression of several f...