Reasoning about software specifications - A case studyThe 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.
Document ID
19900023550
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Wild, Chris (Old Dominion Univ. Norfolk, VA, United States)
Chen, JI (Old Dominion University Norfolk, VA, United States)
Eckhardt, Dave (NASA Langley Research Center Hampton, VA, United States)