A unified model for abduction-based reasoning

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 28, Issue 4, 1998, Pages 408-425

  Ayeb, Béchir ^a,b   Wang, Shengrui ^b   Ge, Jifeng ^b  

^a IEEE   (Canada)

^b UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

Competition model; Distributed processing; Monotonic open incompatibility abduction problems; Neural networks

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; NEURAL NETWORKS; PROBABILISTIC LOGICS; PROBLEM SOLVING;

ABDUCTION BASED REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0032122777     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.686703     Document Type: Article

References (42)

1. B. Ayeb, "Toward systematic construction of diagnostic systems for large industrial plants: Methods, languages and tools," IEEE Trans. Knowl. Data Eng., vol. 6, pp. 698-712, Oct. 1994.
2. B. Ayeb, P. Marquis, and M. Rusinowitch, "Preferring diagnoses by abduction," IEEE Trans. Syst., Man, Cybern., vol. 23, pp. 792-808, May 1993.
3. B. Ayeb and S. Wang, "Abduction-based diagnosis: A competition-based neural model simulating abductive reasoning," J. Parallel Distrib. Comput., vol. 24, pp. 202-212, 1995.
4. T. Bylander, "The monotonic abduction problem: A functional characterization on the edge of tractability," in Proc. AAAI'90, Boston, MA, 1990, pp. 70-77.
5. T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephon, "The computational complexity of abduction," Artif. Intell., vol. 49, pp. 25-60, 1991.
6. G. A. Carpenter and S. Grossberg, "A massively parallel architecture for a self-organizing neural pattern recognition machine," Comput. Vision, Graph., Image Processing, vol. 37, pp. 54-115, 1987.
7. E. Charniak, "Connectionism and Explanation," in Theoretical Issues Natural Language Processing, Las Cruses, NM, 1987, p. 3.
8. L. Console, D. T. Dupré, and P. Torasso, "A theory of diagnosis for incomplete causal models," in Proc. Int. Joint Conf. Artificial Intelligence, Detroit, MI, 1989, pp. 1311-1317.
9. P. T. Cox and T. Pietrzykowski, "Causes for events: Their computation and applications," in 8th Conf. Automated Deduction, LNCS 230. Berlin, Germany: Springer-Verlag, 1986, pp. 608-621.
10. J. de Kleer, "An assumption-based TMS," Artif. Intell., vol. 28, pp. 127-162, 1986.
11. _, "Problem solving with the ATMS," Artif. Intell., vol. 28, pp. 197-224, 1986.
12. _, "Optimizing focusing model-based diagnosis," in Proc. Int. Workshop Diagnosis DX'92, Orcas, WA, 1992, pp. 26-29.
13. J. de Kleer and O. Raiman, "Trading off costs of inference vs. probing in diagnosis," in Proc. Int. Joint Conf. Artificial Intelligence, Montreal, P.Q., Canada, 1995, pp. 1736-1741.
14. O. Dressler, "Problem solving with the NM-ATMS," in 9th Eur. Conf. Artificial Intelligence, Stockholm, Sweden, 1990, pp. 253-258.
15. O. Dressler and P. Struss, "Back to defaults: Characterizing and computing diagnoses as coherent sets," in 10th Eur. Conf. Artificial Intelligence, Vienna, Austria, 1992, pp. 719-723.
16. M. L. Ginsberg, Ed., Readings in Non Momotonic Reasoning. New York: Morgan Kaufmann, 1987.
17. K. Eshghi, "Abductive planning with event calculus," in Proc. 4th Int. Conf. Symp. Logic Programming, 1988, pp. 563-579.
18. M. R. Garey and D. S. Johnson, Computers and Tractability. New York: Freeman, 1979.
19. J. Ge, "Raisonnement hypothéique par les réseaux de neurones," Université de Sherbrooke, Sherbrooke, P.Q., Canada, Mémoire de MSc, Tech. Rep. (III)-906, 1994.
20. A. Goel, J. Ramanujam, and P. Sadayappan, "Toward a 'neural' architecture of abductive reasoning," in Proc. 2nd Int. Conf. Neural Networks, 1988, pp. I-681-I-688.
21. S. Grossberg, "Nonlinear neural networks: Principles, mechanisms, and architectures," Neural Networks, vol. 1, no. 1, pp. 17-60, 1988.
22. Readings in Model-Based Diagnosis, W. C. Hamscher, J. de Kleer, and L. Console, Eds. New York: Morgan Kaufmann, 1992.
23. D. E. Heckermann and B. N. Nathwani, "Probability-based representations for diagnosis," in Proc. Int. Workshop Diagnosis DX'92, Orcas, WA, 1992, pp. 169-178.
24. D. Heckermann and E. Horvitz, "Problem formulation as the reduction of a decision model," in Proc. Conf. Uncertainty Artificial Intelligence, 1990, pp. 82-89.
25. J. R. Josephson, B. Chandrasekaran, J. W. Smith, and M. C. Tanner, "A mechanism for forming composite explanatory hypotheses," IEEE Trans. Syst., Man, Cybern., vol. SMC-17, pp. 445-454, 1987.
26. B. Kosko, "Bidirectional associative memories," IEEE Trans. Syst., Man, Cybern., vol. 18, pp. 49-60, 1988.
27. D. L. Long, J. M. Golding, A. C. Graesser, and L. F. C. Clark, "Goal, event, and state inferences: An investigation of inference generation during story comprehension," in The Psychology of Learning and Motivation, A. C. Graesser and G. H. Bower, Eds. New York: Academic, 1990, vol. 25.
28. T. M. Mitchell, R. M. Keller, and S. T. Kedar-Cabelli, "Explanation-based generalization a unifying view," Mach. Learn., vol. 1, pp. 47-80, 1986.
29. J. Pearl, "Distributed revision of composed beliefs," Artif. Intell., vol. 33, pp. 173-215, 1987.
30. _, Probabilistic Reasoning in Intelligent Systems. San Mateo, CA: Morgan Kaufmann, 1988.
31. C. S. Peirce, "Abduction and induction," in Philosophical Writings of Peirce, J. Buchler, Ed. New York: Dover, 1955, ch. 11, pp. 150-156.
32. Y. Peng and J. A. Reggia, "A probabilistic causal model for diagnostic problem solving: Part I," IEEE Trans. Syst., Man, Cybern., vol. SMC-17, pp. 146-162, 1987.
33. _, "A probalistic causal model for diagnostic problem solving: Part II," IEEE Trans. Syst., Man, Cybern., vol. SMC-17, pp. 395-406, 1987.
34. _, "A connectionist model for diagnostic problem solving," IEEE Trans. Syst., Man, Cybern., vol. 19, pp. 285-289, 1989.
35. D. Poole, "Representing diagnostic knowledge for probabilistic horn abduction," in Proc. Int. Joint Conf. Artificial Intelligence, Sydney, Australia, 1991, pp. 1129-1135.
36. G. M. Provan and J. R. Clarke, "Dynamic network construction and updating techniques for the diagnosis of acute abdominal pain," IEEE Trans. Pattern Anal. Machine Intell., pp. 299-307, Mar. 1993.
37. J. A. Reggia, D. S. Nau, and P. Y. Wang, "A formal model of diagnostic inference," Inf. Sci., vol. 37, pp. 227-285, 1985.
38. R. Reiter, "A theory of diagnosis from first principles," Artif. Intell., vol. 32, pp. 57-95, 1987.
39. P. Struss and O. Dressler, "Physical negation: Integrating fault models into the general diagnostic engine," in Proc. Int. Joint Conf. Artificial Intelligence, Detroit, MI, 1989, pp. 1318-1323.
40. M. A. Tagamets and J. A. Reggia, "A data flow implementation of a competition-based connectionist model," J. Parallel Distrib. Comput., vol. 6, pp. 704-714, 1989.
41. P. Thagard, "Explanatory coherence," Behav. Brain Sci., vol. 12, pp. 435-502, 1989.
42. J. Wald, M. Farach, M. Tagamets, and J. A. Reggia, "Generating plausible diagnostic hypotheses with self-processing causal networks," J. Exper. Theoret. Artif. Intell., vol. 2, pp. 91-112, 1989.