188 results found
Lomuscio AR, Meyden Van Der R, Ryan M, 2000, Knowledge in Multiagent Systems: Initial Configurations and Broadcast, Pages: 247-284, ISSN: 1529-3785
The semantic framework for the modal logic of knowledge due to Halpern and Moses provides a way to ascribe knowledge to agents in distributed and multiagent systems. In this paper we study two special cases of this framework: full systems and hypercubes. Both model static situations in which no agent has any information about another agent's state. Full systems and hypercubes are an appropriate model for the initial configurations of many systems of interest. We establish a correspondence between full systems and hypercube systems and certain classes of Kripke frames. We show that these classes of systems correspond to the same logic. Moreover, this logic is also the same as that generated by the larger class of weakly directed frames. We provide a sound and complete axiomatization, S5WDn, of this logic, and study its computational complexity. Finally, we show that under certain natural assumptions, in a model where knowledge evolves over time, S5WDn characterises the properties of knowledge not just at the initial configuration, but also at all later configurations. In particular, this holds for homogeneous broadcast systems, which capture settings in which agents are initially ignorant of each others local states, operate synchronously, have perfect recall, and can communicate only by broadcasting. © 2000, ACM. All rights reserved.
Wooldridge M, Lomuscio A, 2000, Reasoning about visibility, perception, and knowledge, Pages: 1-12, ISSN: 0302-9743
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper presents VSK logic, a formalism for reasoning about multi-agent systems, in which the semantics are grounded in an general, finite state machine-like model of agency. VSK logic allows us to represent: what is objectively true of the environment; what is visible, or knowable about the environment; what the agent perceives of the environment; and finally, what the agent actually knows about the environment. VSK logic is an extension of modal epistemic logic. The possible relationships between what is true, visible, perceived, and known are discussed and characterised in terms of the architectural properties of agents that they represent. Some conclusions and issues are then discussed. © Springer-Verlag Berlin Heidelberg 2000.
Lomuscio A, Ryan M, 2000, A spectrum of modes of knowledge sharing between agents, Pages: 13-26, ISSN: 0302-9743
© Springer-Verlag Berlin Heidelberg 2000. The logic S5nis widely used as the logic of knowledge for ideal agents in a multi-agent system. Some extensions of S5nhave 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 present completeness results and a diagram showing the relations between some of the principal extensions of S52and discuss their usefulness. The paper considers the case of a group of two agents of knowledge.
Lomuscio A, Ryan M, 1999, An algorithmic approach to knowledge evolution, AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, Vol: 13, Pages: 119-132, ISSN: 0890-0604
Lomuscio A, Meyden RVD, Ryan M, 1999, Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast
Lomuscio A, Ryan M, 1998, On the relation between interpreted systems and Kripke models, Pages: 46-59, ISSN: 0302-9743
© Springer-Verlag Berlin Heidelberg 1998. We compare Kripke models and hypercube systems, a simplified notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to define a map from the class of hypercube systems to the class of Kripke frames, another in the opposite direction, and study their properties and compositions. We show that it is possible to characterise semantically the frames that are images of the hypercube systems.
Lomuscio A, Ryan M, 1998, Ideal agents sharing (some!) knowledge, 13TH European Conference on Artificial Intelligence (ECAI 98), Publisher: JOHN WILEY & SONS LTD, Pages: 557-561
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.