A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents
URI (for links/citations):http://elib.sfu-kras.ru/handle/2311/828
Rybakov, Vladimir V.
V.Babenyshev, Sergej V.
(Vladimir V.Rybakov: Institute of Mathematics Siberian Federal University Krasnoyarsk, Svobodny 79, 660041, Russia, e-mail: V.Rybakov@mmu.ac.uk; Sergej V.Babenyshevy: Department of Computing and Mathematics Manchester Metropolitan University John Dalton Building, Chester Str., Manchester, M1 5GD, U.K., e-mail: S.Babenyshev@mmu.ac.uku)
In this paper we introduce a temporal multi-agent logic S4IA T , which implements interacting agents. Logic S4IA T is defined semantically as the set of all formulas of the appropriate propositional language that are valid in special Kripke models. The models are based on S4-like time frames, i.e., with reflexive and transitive time-accessibility relations. Agents knowledge-accessibility relations Ri, defined independently for each individual agent, are S5-relations on R-time clusters, and interaction of the agents consists of passing knowledge along arbitrary paths of such relations. The key result of the paper is an algorithm for checking satisfiability and recognizing theorems of S4IA T . We also prove the effective finite model property for the logic S4IA T .
Metadata:Show full item record
Showing items related by title, author, creator and subject.
Рыбаков, Владимир Владимирович (2018-04)We study many–valued temporal multi–agent logics based on non-transitive models. The semantical basis, i. e., relational models, are used for modelling of computational processes and analysis of databases with incomplete ...
Моор, Михаил Александрович; Рыбаков, Владимир Владимирович (2018-08)This paper investigates many–valuated multi–modal logics. The suggested semantics consists of relational Kripke–Hintikka models which have various accessibility relations and distinct valuations for propositional statements ...
Исчисление истинных утверждений с помощью операций теории Chance Discovery в многоагентном окружении McLean, David; Лин, Давид; Rybakov, Vladimir V.; Рыбаков, Владимир В. (Сибирский федеральный университет. Siberian Federal University., 2013-07)Thispaperdescribeslogical models and computational algorithmsforlogical statements(specs) including various versions ofChanceDiscovery(CD).The approachisbased attemporal multi-agentlogic. Prime question is how to express ...
Vlasenko, Valerii N.; Власенко, В.Н. (Сибирский федеральный университет. Siberian Federal University., 2016-01)The article examines in detail the logic basis of legal qualification, the major stage of application of the law, the means of specification of the provisions of the rule of law. Two blocks of logic rules to be observed ...
Lukyanchuk, Alexandra N.; Лукьянчук, Александра Н. (Сибирский федеральный университет. Siberian Federal University., 2013-04)Thepaperinvestigates modal(temporal-model) logicsbased at a semantic approach with models combining knowledge and time. We introduce multi-modal logics LT Kr and LT Kir containing modalities for knowledge and time as the ...