e-space
Manchester Metropolitan University's Research Repository

    Modelling of chance discovery in variations of linear temporal logic implementing agents' interaction

    Rybakov, Vladimir V. (2010) Modelling of chance discovery in variations of linear temporal logic implementing agents' interaction. International Journal of Advanced Intelligence Paradigms, 2 (2-3). pp. 198-219. ISSN 1755-0394

    File not available for download.

    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.

    Impact and Reach

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    348Hits

    Additional statistics for this dataset are available via IRStats2.

    Altmetric

    Repository staff only

    Edit record Edit record