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 :
بازگشت