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 study a modal logic of knowledge and action, focussing on test actions. Such knowledge-gathering actions increase the agents' knowledge. We propose a semantics, and associate an ax-iomatics and a rewriting-based proof procedure.
Modular approaches (objects, components and service-based) offer efficient solutions to face the complexity of Information Systems. However, today they involve major problems in dealing with data/information and decisionmaking (from the standpoint of the end-user). In this article, we aim to initiate a dialogue between digital/interaction design and… (More)
The paper introduces a framework whereby arguments put forward in a discussion concerning a specific decision can be graphically represented as a directed graph and analysed according to different decision procedures. The intended benefits of the proposed framework are to support a decision manager in the light of the experts' arguments and to record the… (More)
The problem of the management of the systems' complexity is followed today by the problem of the increasing complexity of models. Despite recent significant advances in the design of models, it is clear that current solutions remain inoperative in the case of complex models, both heterogeneous and with multi business dimensions. After a state of the art of… (More)
RÉSUMÉ. Aujourd'hui, face à la massification des échanges, il devient crucial de disposer au sein des Systèmes d'Information de règles qui régissent la diffusion de l'information entre les différents partenaires, c'est-à-dire d'une politique d'échange d'informations. Le but de cette approche est de fournir, dès les phases de conception, un outil qui aide… (More)