Not all predicate calculus WFF correspond to meaningful questions. In order to avoid this problem, different authors have defined syntactically the WFF classes which are known to be significative. These restrictions are generally more severe than is necessary, and we have defined a much wider class...
FunctionsCumulative quantities and functionsQUESTIONSThe meaning of "function."Domain and rangeNotation for functions and representation by graphsMonotone functionsFunctions and calculusQUESTIONS MASS AND LINE DENSITYMass of a segment and line ... M Comenetz - Calculus:The Elements 被引量: 0发表: 2015...
This paper describes a system of information retrieval that answers questions by means of a partial evaluation theorem prover of predicate calculus that ut... PMD Silva,AC Pereira,MLA Netto - IEEE International Conference on Systems 被引量: 5发表: 1994年 A system for the non-invasive, continuou...
These assertions are represented as formulae of Predicate Calculus (PC) whose variables are annotated by concepts of Terminological Logic (TL). The system answers questions by using methods of inference both from PC and TL. The terminological language used is characterized by a fuzzy treatment of ...
Furthermore, the method automatically answers the questions: (a) whether or not the assumed mechanism contains a logical inconsistency (whether or not the system of logical equations is consistent), and (b) whether or not the planned experiments are expected to provide new information concerning ...