Data processing: artificial intelligence – Knowledge processing system
Patent
1994-05-20
1998-09-22
MacDonald, Allen R.
Data processing: artificial intelligence
Knowledge processing system
G06F 1518
Patent
active
058129944
ABSTRACT:
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.
REFERENCES:
patent: 5018075 (1991-05-01), Ryan et al.
patent: 5712960 (1998-01-01), Chiopris et al.
Thirunarayan, Abduction in annoted logic programming, IEEE Intl conference on system, man and cybernatics, pp. 682-687, Oct. 21, 1992.
Bhatnagar et al., Structural and probabilistic knowledge for abductive reasoning, IEEE transactions on pattern analysis and machine intelligence. pp. 233-245, Mar. 1993.
Fischer et al., Extending the indexing vocabulary of case based reasoning with task specific features, Proceedings of the eighth conference on AI for applications, pp. 226-232, Mar. 6, 1992.
Marquis, Mechanizing skeptical abduction and its applications to AI, Third Intl. conference on tools for AI, Nov. 13, 1991.
Kean, Revision in ACMS, Journal of Experimental And theoretical artificial intelligence, pp. 233-246, Sep. 1992.
Stickel, A prolog like inference system for computing minimum cost abductive explanations in natural language interpretation, pp. 89-105, Jun. 1991.
Garvey et al., Abductive and approximate reasoning models for characterizing inference channels, The computer security foundations workshop IV, pp. 118-126, Jun. 20, 1991.
Bhatnagar et al., Abduction of precise situation models, Proceedings second Intl symposium on uncertainty modelling and analysis. pp. 73-78, Apr. 28, 1993.
Kean: "Revision in ACMS", Journal of Experimental and Theoretical Artificial Intelligence, vol. 4, No. 3, pp. 223-246 (Jul.-Sep. 1992).
Stickel: "A Prolog-Like Inference System for Computing Minimum-Cost Abductive Explanations In Natural-Language Interpretation", Annals of Mathematics and Artificial Intelligence, vol. 4, No. 1-2, pp. 89-106 (Jun. 1991).
Nonfjall et al.: "Detection of Potential Inconsistencies in Knowledge Bases", International Journal of Intelligent Systems, vol. 7, pp. 81-86, (Feb. 1992).
Medhi et al.: "Testing for Inconsistencies in Rule-Based Knowledge Bases", Expertsys-90, pp. 281-286 (Oct. 1990).
Integrity Recovery via Updates for Interactive Knowledge Base Applications A. Guessoum, J.P. Gallagher, University of Bristol, Computer Science Dept. Mar. 1992.
"Abductive Logic Programming", Oct. 1991, revised Jan. 1992 by Kakas et al. (pp. 38-41).
Canon Kabushiki Kaisha
MacDonald Allen R.
Shah Sanjiv
LandOfFree
Apparatus and method for data processing and/or for control does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Apparatus and method for data processing and/or for control, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus and method for data processing and/or for control will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1635150