Title :
A non-monotonic reasoning system-WMJ
Author :
Chang, Wang Xian ; Wang, Chen Huo
Author_Institution :
Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
Abstract :
A system called WMJ is proposed for nonmonotonic reasoning and knowledge-base construction based on the general Horn clause. WMJ introduces a new kind of predicate, the default predicate which expresses a kind of belief that holds in almost all cases. With R. Reiter´s default theory (1980), it shows some common-sense reasoning. With the truth maintenance system technique, it is an automated knowledge-base construction tool
Keywords :
formal logic; inference mechanisms; knowledge based systems; software tools; WMJ; automated knowledge-base construction tool; belief; common-sense reasoning; default predicate; default theory; general Horn clause; nonmonotonic reasoning; truth maintenance system technique; Automatic control; Birds; Bismuth; Colon; Computer aided software engineering; Logic; Radio access networks; Terminology; US Department of Transportation;
Conference_Titel :
Systems Integration, 1990. Systems Integration '90., Proceedings of the First International Conference on
Conference_Location :
Morristown, NJ
Print_ISBN :
0-8186-9027-5
DOI :
10.1109/ICSI.1990.138669
