Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction

Тип публикации: статья из журнала

Год издания: 2010

Идентификатор DOI: 10.1504/IJAIP.2010.030535

Ключевые слова: Algorithms, Decidability, Inference rules, Interacting agents, Linear temporal logic, LTL, Modal logics multi-agent logic

Аннотация: The paper constructs a mathematical model for logical properties of Chance Discovery (CD) based on Linear Temporal Logic (LTL). We study an extension LTLIA CD of LTL by implementing multi-agent knowledge logic Km and special operations to model discovery: discoverable via interaction (unary) operation DIA and (unary) operations for local and global discovery: D,l and D,g. We prove that LTLIA CD is decidable and extend this result to a linear temporal logic LTLIA CD(Z) based on the time flow indexed by all integer numbers. Copyright © 2010 Inderscience Enterprises Ltd.

Ссылки на полный текст

Издание

Журнал: International Journal of Advanced Intelligence Paradigms

Выпуск журнала: Vol. 2, Is. 2-3

Номера страниц: 198-219

ISSN журнала: 17550386

Авторы

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

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

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