In the rule-based knowledge system, the uncertainty of knowledge is usually represented in the form of IF antecedent THEN consequent WITH confidence x. If a certain rule is to be executed, the only condition needed is...
Project supported by the National High Technique Planning Foundation
I. INTRODUCTION The exploration for a unified basis of the combinatory logic and the predicate calculus will promote laying a strict and thorough mathematical foundation of the programming language possessing itself o...