DocumentCode
2432957
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
fYear
1990
fDate
23-26 Apr 1990
Firstpage
104
Lastpage
108
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSI.1990.138669
Filename
138669
Link To Document