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.

Preview

Accepted Version
Available under License In Copyright.
Download (116kB) | Preview

Official URL: https://doi.org/10.1007/978-3-319-07650-8_10

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.

Item Type:	Conference or Workshop Item (Paper)
Published Proceedings:	Agent and Multi-Agent Systems: technologies and applications
Peer-reviewed:	Yes
Date Deposited:	08 Mar 2016 13:09
Publisher:	Springer
Additional Information:	This is an Author Final Copy of a paper accepted for publication in Agent and Multi-Agent Systems: Technologies and Applications, published by and copyright Springer International Publishing.
Divisions:
URI:	https://e-space.mmu.ac.uk/id/eprint/600862
DOI:	https://doi.org/10.1007/978-3-319-07650-8_10
ISSN	2194-5357
e-ISSN	2194-5365

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

511Downloads

6 month trend

268Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Repository staff only

Edit record