• DocumentCode
    2008811
  • Title

    Origin of meta-symbols: Navigation and point logic

  • Author

    Gunji, Yukio-Pegio ; Sakiyama, T.

  • Author_Institution
    Kobe Univ., Kobe, Japan
  • fYear
    2012
  • fDate
    20-24 Nov. 2012
  • Firstpage
    1191
  • Lastpage
    1194
  • Abstract
    Animal navigation based on local landmark is here expressed by a topological system consisting of point logic and open logic. Because disjunction of points is inconsistent with conjunction of opens, directed disjunction is introduced to improve the inconsistency. Choosing a directed set implies that a set of particular landmarks are mixed with up and they are regarded as one mass as a territory. It is nothing but an origin of a meta-symbol and/or familiar territory.
  • Keywords
    formal logic; geographic information systems; navigation; topology; animal navigation; directed disjunction; familiar territory; local landmark; meta-symbols; open logic; point logic; topological system; Navigation; Point Logic; Scott topology; Topology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Soft Computing and Intelligent Systems (SCIS) and 13th International Symposium on Advanced Intelligent Systems (ISIS), 2012 Joint 6th International Conference on
  • Conference_Location
    Kobe
  • Print_ISBN
    978-1-4673-2742-8
  • Type

    conf

  • DOI
    10.1109/SCIS-ISIS.2012.6505380
  • Filename
    6505380