Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction
Vladimir Vladimirovich Rybakov · International Journal of Advanced Intelligence Paradigms · 2009
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.