The Open Cybernetics & Systemics Journal

2015, 9 : 2681-2687
Published online 2015 October 29. DOI: 10.2174/1874110X01509012681
Publisher ID: TOCSJ-9-2681

Logical Analysis of Complex Network Searching

Ablimit Arxiden , Shanxia Wang and Huiwen Deng
Faculty of Computer and Information Science, Southwest University, Chongqing 400715, China.

ABSTRACT

This article describes the relationship between network search space, search strategies and search logic with logical language. The logical property of complex network search algorithm is determined by the initial state (the search state) and the search strategy of complex network space, which can be defined logically. The article also presents the definition of complex network search states set and its relationship with first-order modal predicate logic. All possible network search state sets in the search strategy can be described with first-order modal predicate logic. Analysis of network search state properties lays a good foundation for the intelligentization of complex network search processes in the future.

Keywords:

Complex network search, logical analysis, logical properties, network search state.