An emergence of formal logic induced by an internal agent

Koji Sawa, Yukio Gunji

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

In this paper, we mainly address three issues: externality of an agent, purpose of an agent, and a kind of "softness" of components in a system. Agents are independent of a system in an ordinary multi-agent model, hence the behavior of a system is not autonomous but influenced by the agents. If a multi-agent model is considered as a completely autonomous one, agents in the model are inevitably deprived of their externality and independence from the model. In order to treat the completely autonomous transition of a system, we introduce an agent which is part of a system, and has a purpose which is independent from the system. The interaction between a system and an agent transforms a random graph corresponding to the system into the graph which represents formal logic adequately. In the emergent graph, there are many complete subgraphs, which can be regarded as conceptualized matters. We modify the definition of a conceptualized matter into a subgraph which is a cycle of arrows, and regard the density of arrows of each conceptualized matter as validness. We define this object with the density as a soft object. A complete graph has a maximum number of arrows, hence is the most reliable soft object. In a similar way, we call an arrow with validness a soft arrow, and treat the relation between soft objects and soft arrows. The argument of this paper is relevant to dynamical formal logic, and at the same time, is intended to serve as a basis for an agent model.

Original languageEnglish
Pages (from-to)39-45
Number of pages7
JournalBioSystems
Volume124
Issue number1
DOIs
Publication statusPublished - 2014 Oct 1
Externally publishedYes

Fingerprint

Formal logic
Logic
Internal
Multi-agent Model
Externalities
Subgraph
Graph in graph theory
Random Graphs
Complete Graph
Model
Transform
Cycle
Object

Keywords

  • Directed graph
  • Formal logic
  • Internal measurement
  • Multi-agent model

ASJC Scopus subject areas

  • Biochemistry, Genetics and Molecular Biology(all)
  • Applied Mathematics
  • Modelling and Simulation
  • Statistics and Probability

Cite this

An emergence of formal logic induced by an internal agent. / Sawa, Koji; Gunji, Yukio.

In: BioSystems, Vol. 124, No. 1, 01.10.2014, p. 39-45.

Research output: Contribution to journalArticle

Sawa, Koji ; Gunji, Yukio. / An emergence of formal logic induced by an internal agent. In: BioSystems. 2014 ; Vol. 124, No. 1. pp. 39-45.
@article{8641e056c88f4a1cb5843d95b86dcbed,
title = "An emergence of formal logic induced by an internal agent",
abstract = "In this paper, we mainly address three issues: externality of an agent, purpose of an agent, and a kind of {"}softness{"} of components in a system. Agents are independent of a system in an ordinary multi-agent model, hence the behavior of a system is not autonomous but influenced by the agents. If a multi-agent model is considered as a completely autonomous one, agents in the model are inevitably deprived of their externality and independence from the model. In order to treat the completely autonomous transition of a system, we introduce an agent which is part of a system, and has a purpose which is independent from the system. The interaction between a system and an agent transforms a random graph corresponding to the system into the graph which represents formal logic adequately. In the emergent graph, there are many complete subgraphs, which can be regarded as conceptualized matters. We modify the definition of a conceptualized matter into a subgraph which is a cycle of arrows, and regard the density of arrows of each conceptualized matter as validness. We define this object with the density as a soft object. A complete graph has a maximum number of arrows, hence is the most reliable soft object. In a similar way, we call an arrow with validness a soft arrow, and treat the relation between soft objects and soft arrows. The argument of this paper is relevant to dynamical formal logic, and at the same time, is intended to serve as a basis for an agent model.",
keywords = "Directed graph, Formal logic, Internal measurement, Multi-agent model",
author = "Koji Sawa and Yukio Gunji",
year = "2014",
month = "10",
day = "1",
doi = "10.1016/j.biosystems.2014.08.005",
language = "English",
volume = "124",
pages = "39--45",
journal = "BioSystems",
issn = "0303-2647",
publisher = "Elsevier Ireland Ltd",
number = "1",

}

TY - JOUR

T1 - An emergence of formal logic induced by an internal agent

AU - Sawa, Koji

AU - Gunji, Yukio

PY - 2014/10/1

Y1 - 2014/10/1

N2 - In this paper, we mainly address three issues: externality of an agent, purpose of an agent, and a kind of "softness" of components in a system. Agents are independent of a system in an ordinary multi-agent model, hence the behavior of a system is not autonomous but influenced by the agents. If a multi-agent model is considered as a completely autonomous one, agents in the model are inevitably deprived of their externality and independence from the model. In order to treat the completely autonomous transition of a system, we introduce an agent which is part of a system, and has a purpose which is independent from the system. The interaction between a system and an agent transforms a random graph corresponding to the system into the graph which represents formal logic adequately. In the emergent graph, there are many complete subgraphs, which can be regarded as conceptualized matters. We modify the definition of a conceptualized matter into a subgraph which is a cycle of arrows, and regard the density of arrows of each conceptualized matter as validness. We define this object with the density as a soft object. A complete graph has a maximum number of arrows, hence is the most reliable soft object. In a similar way, we call an arrow with validness a soft arrow, and treat the relation between soft objects and soft arrows. The argument of this paper is relevant to dynamical formal logic, and at the same time, is intended to serve as a basis for an agent model.

AB - In this paper, we mainly address three issues: externality of an agent, purpose of an agent, and a kind of "softness" of components in a system. Agents are independent of a system in an ordinary multi-agent model, hence the behavior of a system is not autonomous but influenced by the agents. If a multi-agent model is considered as a completely autonomous one, agents in the model are inevitably deprived of their externality and independence from the model. In order to treat the completely autonomous transition of a system, we introduce an agent which is part of a system, and has a purpose which is independent from the system. The interaction between a system and an agent transforms a random graph corresponding to the system into the graph which represents formal logic adequately. In the emergent graph, there are many complete subgraphs, which can be regarded as conceptualized matters. We modify the definition of a conceptualized matter into a subgraph which is a cycle of arrows, and regard the density of arrows of each conceptualized matter as validness. We define this object with the density as a soft object. A complete graph has a maximum number of arrows, hence is the most reliable soft object. In a similar way, we call an arrow with validness a soft arrow, and treat the relation between soft objects and soft arrows. The argument of this paper is relevant to dynamical formal logic, and at the same time, is intended to serve as a basis for an agent model.

KW - Directed graph

KW - Formal logic

KW - Internal measurement

KW - Multi-agent model

UR - http://www.scopus.com/inward/record.url?scp=84908214307&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84908214307&partnerID=8YFLogxK

U2 - 10.1016/j.biosystems.2014.08.005

DO - 10.1016/j.biosystems.2014.08.005

M3 - Article

C2 - 25192684

AN - SCOPUS:84908214307

VL - 124

SP - 39

EP - 45

JO - BioSystems

JF - BioSystems

SN - 0303-2647

IS - 1

ER -