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


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