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.
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 Access for subscribers Purchase this article Comment on this article