Ideal Agents Sharing (some!) Knowledge
نویسندگان
چکیده
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Inter-preted Systems". In this paper we analyse a particular class of interpreted systems, which we call hypercube systems, that share information among themselves. Hypercube systems arise by taking the full Cartesian product of the state space of interpreted systems. We analyse hypercube systems by taking their semantically equivalent Kripke frames and we present a sound and complete axiomatisation for them. The logic thus obtained, which we study in some detail, is a proper extension of the system S5n, commonly studied for modelling knowledge for a community of ideal agents.
منابع مشابه
A Spectrum of Modes of Knowledge Sharing between Agents
The logic S5n is widely used as the logic of knowledge for ideal agents in a multi-agent system. Some extensions of S5n have been proposed for expressing knowledge sharing between the agents, but no systematic exploration of the possibilities has taken place. In this paper we present a spectrum of degrees of knowledge sharing by examining and classifying axioms expressing the sharing. We presen...
متن کاملA Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents
Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....
متن کاملKnowledge sharing among ideal agents
Multi-agent systems operating in complex domains crucially require agents to interact with each other. An important result of this interaction is that some of the private knowledge of the agents is being shared in the group of agents. This thesis investigates the theme of knowledge sharing from a theoretical point of view by means of the formal tools provided by modal logic. More specifically t...
متن کاملA Game Theory Approach for Solving the Knowledge Sharing Problem in Supply Chain
Knowledge management is the process of capturing, developing, sharing, and effectively using organizational knowledge as we known Knowledge management literature emphasizes the importance of knowledge as a valuable asset for SMEs. This paper highlights the efficient sharing of knowledge as a way of creating core competencies in the SMEs that are in civil construction activities. This perspectiv...
متن کاملTag-based model for knowledge sharing in agent society
In this paper we discuss a tag-based model that facilitates knowledge sharing. Sharing the knowledge incurs a cost for the sharing agent, and thus non-sharing is the preferred option for selfish agents. Through agent-based simulations we show that knowledge sharing is possible even in the presence of non-sharing agents in the population. We also show that the performance of an agent society can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998