Title :
Hypothetical reasoning with modalities on some integrity constraints
Author_Institution :
Dept. of Comput. Eng., Kyushu Inst. of Technol., Kitakyushu, Japan
Abstract :
Hypothetical reasoning with modalities on some integrity constraints is proposed. This procedure characterizes formulas which surely hold in spite of incomplete knowledge. The prover is also implemented on a Sparc Station 10 by K-Prolog
Keywords :
constraint handling; heuristic programming; inference mechanisms; uncertainty handling; K-prolog; Sparc Station 10; hypothetical reasoning; incomplete knowledge; integrity constraints; modalities; Artificial intelligence; Expert systems; Logic programming; Magnetic heads;
Conference_Titel :
Expert Systems for Development, 1994., Proceedings of International Conference on
Conference_Location :
Bangkok
Print_ISBN :
0-8186-5780-4
DOI :
10.1109/ICESD.1994.302286
