Paper Info
Title
A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems
Abstract
This paper introduces a two- dimensional modal logic to represent agents' knowledge in distributed environments. The agent's knowledge was formally defined in (5), where modal logic was used to model knowledge in synchronous distributed message-passing systems. The logic we present here can properly describe the prop- erties of the agent's knowledge in asyn- chronous environments. An axiomatic sys- tem to describe such kind of knowledge is also presented.
Year
Venue
Keywords
2002
IC-AI
multi-agent system,knowledge modal logic,multidimensional logic.,distributed environment,knowledge representation,multi agent system,modal logic
Field
DocType
Citations 
Asynchronous communication,Knowledge representation and reasoning,Axiomatic system,Computer science,Multimodal logic,Description logic,Multi-agent system,Theoretical computer science,Modal logic
Conference
0
PageRank 
References 
Authors
0.34
8
2
Name
Order
Citations
PageRank
Vania Costa131.18
Mario R. F. Benevides214323.75