Describing Evolutions of Multi-Agent Systems

Authors:
Sergey Babenyshev;Vladimir Rybakov
Affiliations:
Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, U.K. M1 5GD;Institute of Mathematics, Siberian Federal University, Krasnoyarsk, Russia 660041
Venue:
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
Year:
2009

Citing 3
Cited 5

Reasoning about knowledge

Reasoning about knowledge
Complete Axiomatizations for Reasoning about Knowledge and Time

SIAM Journal on Computing
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals

Journal of Logic and Computation

A framework to compute inference rules valid in agents' temporal logics

KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Inference rules in multi-agents' temporal logics

Transactions on computational collective intelligence IV
Agents' logics with common knowledge and uncertainty: unification problem, algorithm for construction solutions

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Representation of knowledge and uncertainty in temporal logic LTL with since on frames Z of integer numbers

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Chance discovery and unification in linear modal logic

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper focuses on the issue of the formal logical description of evolutions of multi-agent systems (MAS). By evolution of a MAS we mean the change of inner states of the combined MAS caused by interaction of participating agents. We introduce a general scheme of combining propositional modal languages and respective logics into a single language suitable for such descriptions. The method is based on the representation of multi-agent systems by Kripke-Hintikka models. The obtained description allows to study the question of verifiable specifications.