Christophe Garion

Learn More
Modeling of Distributed Real-time Embedded systems using Architecture Description Language provides the foundations for various levels of analysis: scheduling, reliability, consistency, etc.; but also allows for automatic code generation. A challenge is to demonstrate that generated code matches quality required for safety-critical systems. In the scope of(More)
This paper presents some preliminary work which attempts to adapt, in the context of deontic reasoning, the CO logic deened by Boutilier for reasoning with conditional preferences. The rst motivation for this work is that deontic logic can be given a semantics in terms of ordered worlds as in CO logic: the preference relation among worlds aims at ordering(More)
Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is(More)
This paper proposes a discussion on the formal links between the situation calculus and the semantics of interpreted systems as far as they relate to higher-level information fusion tasks. Among these tasks situation analysis require to be able to reason about the decision processes of coalitions. Indeed in higher levels of information fusion, one not only(More)
The general context of this work is the problem of merging data provided by several sources which can be contradictory. Focusing on the case when the information sources do not contain any disjunction, this paper first defines a propositional modal logic for reasoning with data obtained by merging several information sources according to a majority(More)
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is to study the impact of collective obligations to individual obligations, i.e. obligations directed to single agents of the group. The groups we consider do not have any particular(More)
This paper deals with modeling mental states of a rational agent, in particular states based on agentýs desires. It shows that the world the agent belongs to forces it to restrict its desires. More precisely, desires of a rational agent are restricted by the constraints that exist in the world and which express what is possible or necessary.(More)