Publication Date:
2019-07-13
Description:
The launch intercept condition (LIC) problem was analyzed to better understand the complexity of the automated reasoning process and the nature and role of background knowledge. An extension to resolution-based logic processing systems, called constraint logic programming, is described. Consideration is also given to a knowledge-driven incremental reasoning architecture which integrates a generic constraint logic programming system with a knowledge base of the domain.
Keywords:
COMPUTER PROGRAMMING AND SOFTWARE
Type:
AIAA PAPER 89-3129
,
AIAA Computers in Aerospace Conference; Oct 03, 1989 - Oct 05, 1989; Monterey, CA; United States
Format:
text
Permalink