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.

Official URL: https://doi.org/10.1504/IJAIP.2010.030535

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.

Item Type:	Article
Peer-reviewed:	Yes
Date Deposited:	09 Apr 2010 12:54
Publisher:	Inderscience Publishers
Additional Information:	Full-text of this article is not available in this e-prints service. This article was originally published following peer-review in International Journal of Advanced Intelligence Paradigms, published by and copyright Inderscience Publishers.
Divisions:
URI:	https://e-space.mmu.ac.uk/id/eprint/96147
DOI:	https://doi.org/10.1504/IJAIP.2010.030535
ISSN	1755-0394

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

365Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Repository staff only

Edit record