Dynamic three-value logic in decentralized time-critical domains

This paper describes conceptual work in dynamic three-value logic (3VL) with a view toward applications in decentralized time-critical domains, such as a sensor field. The completeness and computability of 3VLs also are discussed, including an algorithm to illustrate the use of heuristics. The military services deploy systems of heterogeneous sensors to detect and classify platforms. The paper provides a brief overview of the heterogeneous, decentralized sensor field used for military target classification as hostile, neutral or friendly. In an example, three-value logic is used to characterize the movement of a ship through a sensor field in terms of relevance and conclusiveness of the aggregate of sensor information. The paper concludes with a discussion of directions for future research and development.