loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Authors: Susumu Yamasaki and Mariko Sasakura

Affiliation: Department of Computer Science, Okayama University, Tsushima-Naka, Okayama, Japan

Keyword(s): Logical Approach, Organization of Strategy, Logic for Distributed Systems, Model Theory.

Abstract: From the views on cognitive management, this paper deals with state constraint and distributed systems, where communication between states is a key function of complexity. The primary purpose is concerned with logical analysis of complex, distributed system structure which contains strategies (procedures) designed in states. Between states, strategies may be communicative and transferrable, where the transferrability is supposed to be given by predicates for communication between states. The strategy as a procedure is assumed to be inductively constructed by other distributed strategies. The structure to represent the designed way of strategies takes an inductively defined form, on which some logical relation is characterized with respect to the compound construction of strategies (procedures). The logical relation is in accordance with possibly infinite set of propositional formulas constrained by states. As regards procedural executions, implementation, the undefined (implementatio n), and non-implementation may be considered for the remarked strategy. Based on the discussions of implementability for strategic constructions, a structural analysis of distributed strategies may be settled as 3-valued model theory of logical expressions. It is related to 3-valued model theory, where some fixed point theory is now examined, with respect to the mapping (which is in general monotonic) associated with a logical expression. The logical expression of this paper can be denoted as a propositional logic formula with default negation. As an application to logical system, logical formulas with both strong and default negations may be analyzed with 3-valued domain. This paper thus abstracts application of logical expressions to structural analysis of distributed strategies. Structure of strategies is complex owing to distribution of state constraint strategies, but effectiveness may be endowed with logical approach and abstraction of communication facility. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.207.230.188

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Yamasaki, S. and Sasakura, M. (2021). Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication. In Proceedings of the 6th International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS, ISBN 978-989-758-505-0; ISSN 2184-5034, pages 78-85. DOI: 10.5220/0010468700780085

@conference{complexis21,
author={Susumu Yamasaki. and Mariko Sasakura.},
title={Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication},
booktitle={Proceedings of the 6th International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS,},
year={2021},
pages={78-85},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010468700780085},
isbn={978-989-758-505-0},
issn={2184-5034},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS,
TI - Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication
SN - 978-989-758-505-0
IS - 2184-5034
AU - Yamasaki, S.
AU - Sasakura, M.
PY - 2021
SP - 78
EP - 85
DO - 10.5220/0010468700780085

0123movie.net