e-space
Manchester Metropolitan University's Research Repository

    Multi-agent non-linear temporal logic with embodied agent describing uncertainty

    Rybakov, V (2014) Multi-agent non-linear temporal logic with embodied agent describing uncertainty. In: 8th International Conference KES-AMSTA 2014, 18 June 2014 - 20 June 2014, Chania, Greece.

    [img]
    Preview
    Accepted Version
    Download (116kB) | Preview

    Abstract

    We study multi-agent non-linear temporal Logic TEm,IntKnwith embodied agent. Our approach models interaction of the agents and various aspects for computation of uncertainty in multi-agent environment. We construct algorithms for verification satisfiability and truth statements in the logic TEm,IntKn. Found computational algorithms are based at refutability of rules in reduced form at special finite frames of effectively bounded size. We show that our chosen framework is rather flexible and it allows to express various approaches to uncertainty and formalizing meaning of the embodied agent.

    Impact and Reach

    Statistics

    Activity Overview
    6 month trend
    346Downloads
    6 month trend
    250Hits

    Additional statistics for this dataset are available via IRStats2.

    Altmetric

    Repository staff only

    Edit record Edit record