Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems



+44 (0)20 7594 8414a.lomuscio Website




504Huxley BuildingSouth Kensington Campus





Publication Type

187 results found

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.

Conference paper

Wooldridge M, Lomuscio A, 2000, Multi-agent VSK logic, 7th European Workshop on Logics in Artificial Intelligence, Publisher: SPRINGER-VERLAG BERLIN, Pages: 300-312, ISSN: 0302-9743

Conference paper

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

Journal article

Lomuscio A, Meyden RVD, Ryan M, 1999, Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

Conference paper

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

Conference paper

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.

Conference paper

D'Inverno M, Fisher M, Lomuscio A, Luck M, De Rijke M, Ryan M, Wooldridge Met al., 1997, Formalisms for multi-agent systems, Knowledge Engineering Review, Vol: 12, Pages: 315-321, ISSN: 0269-8889

Journal article

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.

Request URL: Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: id=00306568&limit=30&person=true&page=7&respub-action=search.html