Reconfiguring system hierarchies with multi-valued logic

Maksimov, D. Yu.

doi:10.1134/s0005117916030085

Cited by 8 publications

(6 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The system may have a similar lattice of its goals or tasks which it can fulfill [Maksimov(2016)]. As above, the goals or tasks may be combined or intersected to subitems.…”

Section: System Behavior Descriptionmentioning

confidence: 99%

“…If there are parallel processes which are not compared by priority, i.e., if there are several incompatible priorities (a × (b 1 × ... × b k ) ⊥ ) ⊥ , it is possible to reorder the goal lattice in the manner that some lattice vertex would be used as an additional priority [Maksimov(2016)]. In the reordered lattice, initially incompatible elements can become compatible so we can choose the preference of the processes.…”

Section: System Behavior Descriptionmentioning

confidence: 99%

“…It has been demonstrated in [Maximov and et al(2017)], [Maksimov(2016)], [Legovich and Maximov(2017)], that the structure existence (a lattice structure or else a monoid structure, i.e., the linear logic structure) in the system task [Maximov and et al(2017)], [Maksimov(2016)], or goal [Legovich and ] set is sufficient for the system to behave quite reasonable. The behavior looks even like ants behavior in something [Maximov and et al(2017)], thus, we may suppose that a system intelligence is the consequence of the system purpose or predestination in teleological spirit.…”

mentioning

confidence: 99%

See 2 more Smart Citations

Game Semantics and Linear Logic in the Cognition Process

Maximov¹

2018

Preprint

View full text Add to dashboard Cite

A description of the environment cognition process by intelligent systems with the fixed set of system goals is suggested. Such a system is represented by the set of its goals only without any models of the system elements or the environment. The set has a lattice structure and a monoid structure; thus, the structure of linear logic is defined on the set. The cognition process of some environment by the system is described on this basis. The environment is represented as a configuration space of possible system positions which are estimated by an information amount (by corresponding sets). This information is supplied to the system by the environment. Thus, it is possible to define the category of Conway games with a payoff on the configuration space and to choose an optimal system's play (i.e., a trajectory). The choice is determined by the requirement of maximal information increasing and takes into account the structure of the system goal set: the linear logic on the set is used to determine the priority of possible different parallel processes. The survey may be useful to describe the behavior of robots and simple biological systems, e.g., ants.

show abstract

“…The system may have a similar lattice of its goals or tasks which it can fulfill [Maksimov(2016)]. As above, the goals or tasks may be combined or intersected to subitems.…”

Section: System Behavior Descriptionmentioning

confidence: 99%

Section: System Behavior Descriptionmentioning

confidence: 99%

mentioning

confidence: 99%

See 1 more Smart Citation

Game Semantics and Linear Logic in the Cognition Process

Maximov¹

2018

Preprint

View full text Add to dashboard Cite

show abstract

“…All the system states, or tasks which the system can fulfill, are represented as a lattice with the system tasks as generators (like in [18], [19]). Thus, the generators are the group desires.…”

Section: Introductionmentioning

confidence: 99%

“…The choice of a new task executor was carried out in [18] by the estimation of a many-valued implication. The latter was determined at the lattice based only on its structure, in the case of the lattice was Brouwer (equivalently, distributive for a finite lattice).…”

Section: Introductionmentioning

confidence: 99%

A Way to Facilitate Decision Making in a Mixed Group of Manned and Unmanned Aerial Vehicles

Maximov,

Legovich,

Goncharenko

2018

Preprint

View full text Add to dashboard Cite

A mixed group of manned and unmanned aerial vehicles is considered as a distributed system. A lattice of tasks which may be fulfilled by the system matches to it. An external multiplication operation is defined at the lattice, which defines correspondingly linear logic operations. Linear implication and tensor product are used to choose a system reconfiguration variant, i.e., to determine a new task executor choice. The task lattice structure (i.e., the system purpose) and the operation definitions largely define the choice. Thus, the choice is mainly the system purpose consequence. Such a method of the behavior variant choice facilitates the decision making by the pilot controlling the group. The suggested method is illustrated using an example of a mixed group control at forest fire compression.

show abstract

Multi-valued logic in graph transformation theory and self-adaptive systems

Maximov

Ryvkin

2019

Ann Math Artif Intell

View full text Add to dashboard Cite

Reconfiguring system hierarchies with multi-valued logic

Cited by 8 publications

References 1 publication

Game Semantics and Linear Logic in the Cognition Process

Game Semantics and Linear Logic in the Cognition Process

A Way to Facilitate Decision Making in a Mixed Group of Manned and Unmanned Aerial Vehicles

Multi-valued logic in graph transformation theory and self-adaptive systems

Contact Info

Product

Resources

About