Logical Analysis of Multi-agent Kripke Structures

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Год издания: 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 should 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

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.