Title :
Solving dynamic-input interpretation problems using the hypothesize-test-revise paradigm
Author :
Cebulka, K.D. ; Carberry, Sandra ; Chester, Daniel L.
Author_Institution :
Dept. of Comput. & Inf., Sci., Delaware Univ., Newark, DE, USA
Abstract :
The authors introduce a dynamic-input problem solver and contrast it with the traditional static approach. A domain-independent hypothesis revision strategy for solving dynamic-input interpretation problems is presented, and its reasoning techniques are compared with R. Reiter´s (1980) default logic. A novel problem solver architecture based on a truth maintenance system is described. Advantages of this approach include a domain-independent strategy for generation and revising hypotheses in a dynamic environment, and a clear separation between the referential level and the inferencing level in a default reasoning system
Keywords :
formal logic; knowledge engineering; artificial intelligence; default logic; domain-independent hypothesis revision strategy; dynamic-input interpretation; dynamic-input problem solver; explanation; knowledge engineering; reasoning; truth maintenance; Artificial intelligence; Chemicals; Fault diagnosis; Logic; Natural languages; Problem-solving;
Conference_Titel :
Artificial Intelligence Applications, 1988., Proceedings of the Fourth Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-0837-4
DOI :
10.1109/CAIA.1988.196132
