e-space
Manchester Metropolitan University's Research Repository

Logic of plausibility for discovery in multi-agent environment deciding algorithms

Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Logic of plausibility for discovery in multi-agent environment deciding algorithms. ISSN 1611-3349

Full text not available from this repository.

Abstract

In most popular hybrid logics from the field of Artificial Intelligence, knowledge is usually combined with other logical operations (e.g. awareness). We consider a hybrid logic LPD combining agent’s knowledge operations, linear time, operations for discovering information and plausibility operation. The plausibility operation is seemed to be quite new in this framework. The paper introduces LPD via semantical models based on special Kripke/Hintikka frames. We provide formation rules and rules for computing truth values of formulas in the chosen language inside such models, discuss properties of the described logic comparing to some other already known logics. The main problem we are focused on is finding an algorithm for recognition of satisfiable in LPD formulas, we propose such an algorithm (so we show that LPD is decidable w.r.t. satisfiability). The paper is completed with a short discussion on the essence and features of this algorithm.

Impact and Reach

Statistics

Downloads
Activity Overview
0Downloads
113Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

Edit Item Edit Item