Abstract HTML Views: 319 PDF Downloads: 150 Total Views/Downloads: 469
Abstract HTML Views: 189 PDF Downloads: 111 Total Views/Downloads: 300
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.