A form of logical inference which allows generalisations to be made from particular examples. Inference A logical reasoning process to draw conclusions from facts, suppositions and data.
Advanced applications of natural language understanding also attempt to incorporate logical inference within their framework.
modus ponens a rule of logical inference: if P is true and P &rarr Q , conclude Q . mood property of a verb form that expresses whether the action it denotes is a fact ( he went ...) or not ( if he had gone ..., subjunctive mood).
Since unrestricted logical inference is computationally expensive, most logic grammars insist on a restricted format. The most common is definite clause grammar or DCG, in which every sentence must be a definite clause.
There are statistics to keep in mind (voodoo, dead salmon, etc), but then there's psychological inference. And that's much trickier to do right. Read on » Developmental Divergence in Univariate and Multivariate fMRI Analyses ...
a logical inference or learning module) is generally a large system, dependent on a substantial infrastructure.
Rule-based systems using logical inference techniques have been developed and used successfully in a number of legal domains, especially those dominated by complex regulations, such as taxation and social benefits administration.
See also: Artificial intelligence, Inference, Knowledge, AI, Demon
 
|