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
Link To Document