Multi-agent VSK Logic — Paper Nexus

Summary

Multi-agent VSK logic allows us to represent what is objectively true of some environment, what is visible, or accessible of the environment to individual agents, what these agents actually perceive, and finally, what the agents actually know about the environment.

Keywords

Computer science, Axiom, Formalism (music), Epistemic modal logic, Description logic

References

The Correspondence TheoryRichard LaBrecque — 1978
Reasoning about knowledgeFagin, Ronald — 1995
Knowledge sharing among ideal agentsAlessio Lomuscio — 1999
A New Introduction to Modal LogicM. J. Cresswell, G. E. Hughes — 1998
Planning and Acting in Partially Observable Stochastic DomainsLeslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra — 1998
Reasoning about Visibility, Perception and KnowledgeMichael Wooldridge, Alessio Lomuscio — 1999
A Logic of Visibility , Perception , and Knowledge : Completeness and Correspondence ResultsM. Wooldridge, A. Lomuscio — 2000
Knowledge and BeliefN. Malcolm — 1952

Cited by

Enterprise Agents Solving Conflicts: Thecobac ApproachIngo J. Timm — 2001
A Concurrent BDI-Agent ModelYi Wang — 2003
Model checking multi-agent systemsFranco Raimondi — 2006
Emerging Knowledge Management in Distributed EnvironmentsHagen Langer, Jan D. Gehrke, Joachim Hammer — 2005
The research on the agent formal system of Em-BDI-VSK, logicJiang Yue, You Ming Xia — 2011
Modeling cooperation by observation in agent teamYu Zhang, Richard A. Volz — 2005
Adaptive Production Control Emerging from the Cooperation of Intelligent AgentsIngo J. Timm, Hans Kurt Tönshoff, Otthein Herzog — 2001
Geometric Aspects of Multiagent SystemsTimothy Porter — 2002
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for AdmissibilityVladimir V. Rybakov — 2014
Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible RulesVladimir V. Rybakov — 2015
A Cognitive Model for Multi-Agent CollaborationZhongzhi Shi, Jianhua Zhang, Jinpeng Yue — 2014
On the interaction between knowledge and social commitments in multi-agent systemsFaisal Al-Saqqar, Jamal Bentahar, Khalid Sultan — 2014
Interpreted systems and Kripke models for multiagent systems from a categorical perspectiveTimothy Porter — 2004
A Framework for distributed knowledge management in autonomous logistic processesHagen Langer, Jan D. Gehrke, Joachim Hammer — 2006
Efficient Multiagent Coordination in Dynamic EnvironmentsJan Ole Berndt, Otthein Herzog — 2011
Automatic Verification of Knowledge and Time with NuSMVAlessio Lomuscio, Charles Pecheur, Franco Raimondi — 2007
A grammar-based multiagent system in dynamic designGrażyna Ślusarczyk — 2008
Observation-Based Proactive Communication in Multi-Agent TeamworkYu Zhang — 2007
Non-transitive linear temporal logic and logical knowledge operationsVladimir V. Rybakov — 2016
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithmsVladimir V. Rybakov — 2017

Related papers

Reasoning about knowledgeFagin, Ronald — 1995
Knowledge and Belief - An Introduction to the Logic of the Two NotionsJaakko Hintikka — 1962
Computationally grounded theories of agencyMichael Wooldridge — 2000
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness ResultsFrancesco Belardinelli, Alessio Lomuscio — 2013
Intelligent agents: theory and practiceMichael Wooldridge, Nicholas R. Jennings — 1995
Linear Temporal Logic LTL: Basis for Admissible RulesSergey Babenyshev, Vladimir V. Rybakov — 2011
Linear temporal logic with until and next, logical consecutionsVladimir V. Rybakov — 2008
Reasoning about rational agentsMichael Wooldridge — 2000
Modeling rational agents with a BDI-architectureAnand S. Rao, Michael Georgeff — 1997