Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Год издания: 2010
Идентификатор DOI: 10.1007/978-3-642-13526-2_8
Аннотация: The last three decades witnessed a gradual shift from standalone-computer focused computations towards more and more distributed computational environment. This ever quickening shift brings new technological and theoretical challenges. Instead of seeing the computational system as completely controllable, which if malfunctioned shoПоказать полностьюuld and can be immediately fixed, the contemporary user has to accept, sometimes grudgingly, the fact that the major part of her everyday computational environment is completely out of control or any reach. This feature brings up the question of how such environments can be organized to function efficiently. The metaphor of multi-agent system is one of the answers for these conceptual challenges. In this chapter we discuss several interdependent theoretical tools that modern mathematical logic and computer science can suggest for formalizing the informal notion of multi-agent system. We start by explaining how the modal propositional language may be used to specify the behavior of the processes, then we introduce formally the Kripke semantics for modal languages. Further we discuss different techniques of combining simple modal languages into complex ones, more suitable for practical purposes; and conclude with an extended example, illustrating the major points of the above-mentioned techniques.
Журнал: AGENT AND MULTI-AGENT TECHNOLOGY FOR INTERNET AND ENTERPRISE SYSTEMS
Выпуск журнала: Vol. 289
Номера страниц: 157-180
ISSN журнала: 1860949X
Место издания: BERLIN
Издатель: SPRINGER-VERLAG BERLIN