Interface of global and local semantics in a self-navigating system based on the concept lattice

Yukio Pegio Gunji, Yoshiyuki Kusunoki, Masashi Aono

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

If the syntax-semantics interaction is driven by the interface, it also interrupts the interaction on its own right. Because the syntax is verified to be isomorphic to the semantics, the interaction is open to the diagonal argument leading to a contradiction. That is why it is necessary to introduce a particular interface to drive the interface to make the interaction possible despite the contradiction. In this context we propose the system implemented with the syntax-semantics loop by using a concept lattice and a particular weak quantifier. This system is expressed as the self-navigating system which wanders in a two-dimensional space, encounters some landmarks, constructs the relationship among landmarks to which decision making with respect to the move is referred. The syntax of this system is defined as two-dimensional move and the semantics is defined as a concept lattice [B. Ganter, R. Wille, Formal Concept Analysis, Springer, Berlin, 1999] constructed by the binary relation between landmarks and some properties of landmarks, and by Galois connection. To implement the interface driving and interrupting the interaction between syntax and semantics, we divided semantics into local and global concept lattices, and introduce a weak quantifier to connect a local with a global lattice. Because the contradiction results from diagonal argument or using a normal quantifier ∀, the use of a quantifier is restricted dependent on the situation to avoid a contradiction. It is shown that due to the role of a weak quantifier our self-navigating system is both robust and open to the emergent property through simulating studies.

Original languageEnglish
Pages (from-to)261-284
Number of pages24
JournalChaos, Solitons and Fractals
Volume13
Issue number2
DOIs
Publication statusPublished - 2002 Feb
Externally publishedYes

Fingerprint

Concept Lattice
syntax
semantics
Quantifiers
landmarks
Landmarks
Interaction
interactions
Galois Connection
Formal Concept Analysis
Binary relation
decision making
encounters
Semantics
Isomorphic
Decision Making
Syntax
Necessary
Dependent

ASJC Scopus subject areas

  • Statistical and Nonlinear Physics

Cite this

Interface of global and local semantics in a self-navigating system based on the concept lattice. / Gunji, Yukio Pegio; Kusunoki, Yoshiyuki; Aono, Masashi.

In: Chaos, Solitons and Fractals, Vol. 13, No. 2, 02.2002, p. 261-284.

Research output: Contribution to journalArticle

@article{6715d73722484eb0b251af06d29c02a5,
title = "Interface of global and local semantics in a self-navigating system based on the concept lattice",
abstract = "If the syntax-semantics interaction is driven by the interface, it also interrupts the interaction on its own right. Because the syntax is verified to be isomorphic to the semantics, the interaction is open to the diagonal argument leading to a contradiction. That is why it is necessary to introduce a particular interface to drive the interface to make the interaction possible despite the contradiction. In this context we propose the system implemented with the syntax-semantics loop by using a concept lattice and a particular weak quantifier. This system is expressed as the self-navigating system which wanders in a two-dimensional space, encounters some landmarks, constructs the relationship among landmarks to which decision making with respect to the move is referred. The syntax of this system is defined as two-dimensional move and the semantics is defined as a concept lattice [B. Ganter, R. Wille, Formal Concept Analysis, Springer, Berlin, 1999] constructed by the binary relation between landmarks and some properties of landmarks, and by Galois connection. To implement the interface driving and interrupting the interaction between syntax and semantics, we divided semantics into local and global concept lattices, and introduce a weak quantifier to connect a local with a global lattice. Because the contradiction results from diagonal argument or using a normal quantifier ∀, the use of a quantifier is restricted dependent on the situation to avoid a contradiction. It is shown that due to the role of a weak quantifier our self-navigating system is both robust and open to the emergent property through simulating studies.",
author = "Gunji, {Yukio Pegio} and Yoshiyuki Kusunoki and Masashi Aono",
year = "2002",
month = "2",
doi = "10.1016/S0960-0779(00)00255-1",
language = "English",
volume = "13",
pages = "261--284",
journal = "Chaos, Solitons and Fractals",
issn = "0960-0779",
publisher = "Elsevier Limited",
number = "2",

}

TY - JOUR

T1 - Interface of global and local semantics in a self-navigating system based on the concept lattice

AU - Gunji, Yukio Pegio

AU - Kusunoki, Yoshiyuki

AU - Aono, Masashi

PY - 2002/2

Y1 - 2002/2

N2 - If the syntax-semantics interaction is driven by the interface, it also interrupts the interaction on its own right. Because the syntax is verified to be isomorphic to the semantics, the interaction is open to the diagonal argument leading to a contradiction. That is why it is necessary to introduce a particular interface to drive the interface to make the interaction possible despite the contradiction. In this context we propose the system implemented with the syntax-semantics loop by using a concept lattice and a particular weak quantifier. This system is expressed as the self-navigating system which wanders in a two-dimensional space, encounters some landmarks, constructs the relationship among landmarks to which decision making with respect to the move is referred. The syntax of this system is defined as two-dimensional move and the semantics is defined as a concept lattice [B. Ganter, R. Wille, Formal Concept Analysis, Springer, Berlin, 1999] constructed by the binary relation between landmarks and some properties of landmarks, and by Galois connection. To implement the interface driving and interrupting the interaction between syntax and semantics, we divided semantics into local and global concept lattices, and introduce a weak quantifier to connect a local with a global lattice. Because the contradiction results from diagonal argument or using a normal quantifier ∀, the use of a quantifier is restricted dependent on the situation to avoid a contradiction. It is shown that due to the role of a weak quantifier our self-navigating system is both robust and open to the emergent property through simulating studies.

AB - If the syntax-semantics interaction is driven by the interface, it also interrupts the interaction on its own right. Because the syntax is verified to be isomorphic to the semantics, the interaction is open to the diagonal argument leading to a contradiction. That is why it is necessary to introduce a particular interface to drive the interface to make the interaction possible despite the contradiction. In this context we propose the system implemented with the syntax-semantics loop by using a concept lattice and a particular weak quantifier. This system is expressed as the self-navigating system which wanders in a two-dimensional space, encounters some landmarks, constructs the relationship among landmarks to which decision making with respect to the move is referred. The syntax of this system is defined as two-dimensional move and the semantics is defined as a concept lattice [B. Ganter, R. Wille, Formal Concept Analysis, Springer, Berlin, 1999] constructed by the binary relation between landmarks and some properties of landmarks, and by Galois connection. To implement the interface driving and interrupting the interaction between syntax and semantics, we divided semantics into local and global concept lattices, and introduce a weak quantifier to connect a local with a global lattice. Because the contradiction results from diagonal argument or using a normal quantifier ∀, the use of a quantifier is restricted dependent on the situation to avoid a contradiction. It is shown that due to the role of a weak quantifier our self-navigating system is both robust and open to the emergent property through simulating studies.

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

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

U2 - 10.1016/S0960-0779(00)00255-1

DO - 10.1016/S0960-0779(00)00255-1

M3 - Article

AN - SCOPUS:0036462767

VL - 13

SP - 261

EP - 284

JO - Chaos, Solitons and Fractals

JF - Chaos, Solitons and Fractals

SN - 0960-0779

IS - 2

ER -