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

Authors: Vladimir Rybakov

Addresses: Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, UK; Siberian Federal University, Krasnoyarsk, Russia

Abstract: The paper constructs a mathematical model for logical properties of Chance Discovery (CD) based on Linear Temporal Logic (LTL). We study an extension LTLIACD 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 LTLIACD is decidable and extend this result to a linear temporal logic LTLIACD (Z) based on the time flow indexed by all integer numbers.

Keywords: LTL; linear temporal logic; modal logic; multi-agent logic; interacting agents; decidability; algorithms; inference rules; modelling; chance discovery; mathematical modelling; discovery modelling; multi-agent systems; MAS; agent-based systems.

DOI: 10.1504/IJAIP.2010.030535

International Journal of Advanced Intelligence Paradigms, 2010 Vol.2 No.2/3, pp.198 - 219

Published online: 21 Dec 2009 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article