Тип публикации: статья из журнала
Год издания: 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