首页>
外国专利>
A knowledge based system implementing abductive reasoning
A knowledge based system implementing abductive reasoning
展开▼
机译:基于知识的系统,实现归纳推理
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer implemented abductive reasoner checks for contradictions in the reasoning operations during processing and determines subsequent processing dependent upon the results of the checking. Constraints on variables may be imposed to permit proofs to be pursued which otherwise would involve contradictions. Different types of abductive reasoning step may be assigned different costs and proofs or future processing steps selected dependent upon the costing. Alternatively or in addition, reasoning operations and the resulting proofs, if any, may be grouped according to the types of reasoning steps involved and provision may be included for pursuing operations involving less costly reasoning steps in preference or prior to operations which may be more costly. Where successive goals are to be proved, the proof of each successive goal may be performed by reference to hypotheses established in proofs of previous goals. In applications involving the production of control signals, commands defining required control signals may be provided in the form of premises in rules contained in a knowledge base with which the abducer operates and means may be provided for outputting said commands and converting them to the required control signals. IMAGE
展开▼