e-space
Manchester Metropolitan University's Research Repository

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

Rybakov, V (2015) Multi-agent non-linear temporal logic with embodied agent describing uncertainty. ISSN 2194-5357

[img]
Preview

Download (116kB) | Preview

Abstract

© Springer International Publishing Switzerland 2014 We study multi-agent non-linear temporal Logic TEm , Int Knwith 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 , Int Kn. 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

Downloads
Activity Overview
107Downloads
145Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

Edit Item Edit Item