A non-monotonic reasoning system-WMJ
Chang Wang, Chen Wang · 2002
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.>