A Dynamic Logic for Multi-agent Partial Knowledge Information Systems
نویسندگان
چکیده
Information systems, providing information about a set of objects regarding a set of attributes, are extended to multi-agent partial knowledge information systems (MPISs). MPISs also account for missing information. A logic which is sound and complete for MPISs is presented along with its dynamic version. The latter accommodates ‘information updates’.
منابع مشابه
A Dynamic-Epistemic Logic for Mobile Structured Agents
Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such systems, as the foundation of the language we will build. BioAmbient calculus is an extension of π-calculus, developed largely for applications to biomolecular systems. It deals with ambients and their ability to com...
متن کاملEpistemic planning for single and multi-agent systems
In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent ...
متن کاملComments to “Knowledge, friendship and social announcements”
Knowledge, friendship and social announcements continues a research line inaugurated by the same authors with Logic in the community and carried on with a series of papers on Epistemic Friendship Logic (EFL) whose general aim is to foster the analysis of “reasoning about knowledge and communication defined implicitely in terms of social relationships, most simply the binary relation of friendsh...
متن کاملA General Approach to Multi-agent Minimal Knowledge
We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent’s knowledge containing exactly the information conveyed by some (honest) formula φ. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a’...
متن کاملA General Approach To Multi-Agent Minimal Knowledge With Tools And Samples
We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent’s knowledge containing exactly the information conveyed by some (honest) formula φ. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a’...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009