Maintaining current status in a time-constrained knowledge-based system characterized by continuously incoming temporal data (truth maintenance, real-time)
Karan Ann Harbison-Moss · 1986
Reasoning processes for knowledge-based systems have in the past focused on maintaining a current database with a single context and a given set of data. These methods for reason maintenance do not suffice in domains in which data is acquired during the solution process and in which there is a constraint on time to decision. A reasoning process is proposed for these data acquisition time-constrained problems that allows multiple contexts and contradictions to exist. This flexibility, in turn, simplifies the retraction of data for nonmonotonic inferencing and allows direct assessment of goal state progression. This reasoning process is designed to function within the architecture of a knowledge-based system which itself was developed to meet the requirements of data acquisition time-constrained domains.