1
|
|
2
|
ROMDHANE LOTFIBEN, AYEB BECHIR. AN EFFECTIVE NEURAL MODEL MECHANIZING HARD CAUSAL REASONING PROBLEMS WITH WTA and WTO NEURAL COMPUTATIONS. INT J ARTIF INTELL T 2011. [DOI: 10.1142/s0218213004001739] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/18/2022]
Abstract
In this work, we develop a neural model to solve causal reasoning problems (said also abduction) in the open, independent and incompatibility classes. We model the reasoning process by a single and global energy function using cooperative and competitive neural computation. The update rules of the distinct connections of the network are derived from its energy function using gradient descent techniques. Simulation results reveal a good performance of the model.
Collapse
Affiliation(s)
- LOTFI BEN ROMDHANE
- Department of Computer Sciences, Faculty of Sciences of Monastir, Monastir 5019, Tunisia
| | - BECHIR AYEB
- Department of Computer Sciences, Faculty of Sciences of Monastir, Monastir 5019, Tunisia
| |
Collapse
|
3
|
|
4
|
|
5
|
|
6
|
Marinescu R, Dechter R. AND/OR Branch-and-Bound search for combinatorial optimization in graphical models. ARTIF INTELL 2009. [DOI: 10.1016/j.artint.2009.07.003] [Citation(s) in RCA: 16] [Impact Index Per Article: 1.1] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/20/2022]
|
7
|
Le T, Hadjicostis CN. Max-product algorithms for the generalized multiple-fault diagnosis problem. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. PART B, CYBERNETICS : A PUBLICATION OF THE IEEE SYSTEMS, MAN, AND CYBERNETICS SOCIETY 2007; 37:1607-21. [PMID: 18179077 DOI: 10.1109/tsmcb.2007.906977] [Citation(s) in RCA: 10] [Impact Index Per Article: 0.6] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/05/2022]
Abstract
In this paper, we study the application of the max-product algorithm (MPA) to the generalized multiple-fault diagnosis (GMFD) problem, which consists of components (to be diagnosed) and alarms/connections that can be unreliable. The MPA and the improved sequential MPA (SMPA) that we develop in this paper are local-message-passing algorithms that operate on the bipartite diagnosis graph (BDG) associated with the GMFD problem and converge to the maximum a posteriori probability (MAP) solution if this graph is acyclic (in addition, the MPA requires the MAP solution to be unique). Our simulations suggest that both the MPA and the SMPA perform well in more general systems that may exhibit cycles in the associated BDGs (the SMPA also appears to outperform the MPA in these more general systems). In this paper, we provide analytical results for acyclic BDGs and also assess the performance of both algorithms under particular patterns of alarm observations in general graphs; this allows us to obtain analytical bounds on the probability of making erroneous diagnosis with respect to the MAP solution. We also evaluate the performance of the MPA and the SMPA algorithms via simulations, and provide comparisons with previously developed heuristics for this type of diagnosis problems. We conclude that the MPA and the SMPA perform well under reasonable computational complexity when the underlying diagnosis graph is sparse.
Collapse
Affiliation(s)
- Tung Le
- Department of Electrical and Computer Engineering, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA.
| | | |
Collapse
|
8
|
Ben Romdhane L. A softmin-based neural model for causal reasoning. IEEE TRANSACTIONS ON NEURAL NETWORKS 2006; 17:732-44. [PMID: 16722176 DOI: 10.1109/tnn.2006.872350] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/07/2022]
Abstract
This paper extends a neural model for causal reasoning to mechanize the monotonic class. Hence, the resulting model is able to solve multiple, varied causal problems in the open, independent, incompatibility and monotonic classes. First, additivity between causes is formalized as a fuzzy AND-ing process. Second, an activation mechanism called the "softmin" is developed to solve additive interactions. Third, the softmin is implemented within a neural architecture. Experimental results on real-world and artificial problems reveal a good performance of the model and should stimulate future research.
Collapse
|
9
|
ROMDHANE LOTFIBEN. AN ARTIFICIAL NETWORK FOR REASONING IN THE CANCELLATION CLASS WITH APPLICATION TO THE DIAGNOSIS OF CELLS DIVISION. INT J UNCERTAIN FUZZ 2005. [DOI: 10.1142/s0218488505003473] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/18/2022]
Abstract
Causal reasoning is a hard task that cognitive agents perform reliably and quickly. A particular class of causal reasoning that raises several difficulties is the cancellation class. Cancellation occurs when a set of causes (hypotheses) cancel each other's explanation with respect to a given effect (observation). For example, a cloudy sky may suggest a rainy weather; whereas a shiny sky may suggest the absence of rain. In this work we extend a recent neural model to handle cancellation interactions. Simulation results are very satisfactory and should encourage research.
Collapse
Affiliation(s)
- LOTFI BEN ROMDHANE
- Department of Computer Sciences, Faculty of Sciences of Monastir, University of Monastir, Tunisia
| |
Collapse
|
10
|
Basak J, Murthy C, Chaudhury S, Majumder D. A connectionist network for simultaneous perception of multiple categories. PROCEEDINGS., 11TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION. VOL.II. CONFERENCE B: PATTERN RECOGNITION METHODOLOGY AND SYSTEMS 2003. [DOI: 10.1109/icpr.1992.201717] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.0] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 07/19/2023]
|
11
|
Kask K, Dechter R. A general scheme for automatic generation of search heuristics from specification dependencies☆☆Preliminary versions of this paper were presented in [15,16,18]. This work was supported in part by NSF grant IIS-0086529 and by MURI ONR award N00014-00-1-0617. ARTIF INTELL 2001. [DOI: 10.1016/s0004-3702(01)00107-2] [Citation(s) in RCA: 33] [Impact Index Per Article: 1.4] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/26/2022]
|
12
|
|
13
|
Ayeb B, Shengrui Wang, Jifeng Ge. A unified model for abduction-based reasoning. ACTA ACUST UNITED AC 1998. [DOI: 10.1109/3468.686703] [Citation(s) in RCA: 14] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/08/2022]
|
14
|
|
15
|
Goel A, Ramanujam J. A neural architecture for a class of abduction problems. ACTA ACUST UNITED AC 1996; 26:854-60. [DOI: 10.1109/3477.544299] [Citation(s) in RCA: 6] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/08/2022]
|
16
|
GOEL ASHOKK, JOSEPHSON JOHNR, FISCHER OLIVIER, SADAYAPPAN P. Practical abduction: characterization, decomposition and concurrency. J EXP THEOR ARTIF IN 1995. [DOI: 10.1080/09528139508953821] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/23/2022]
|
17
|
Basak J, Pal SK. X-tron: an incremental connectionist model for category perception. ACTA ACUST UNITED AC 1995; 6:1091-108. [PMID: 18263400 DOI: 10.1109/72.410354] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/06/2022]
Abstract
A connectionist model for categorization (self-organization) even in the presence of multiple or mixed patterns has been presented. During self-organization, the network automatically adjusts the number of nodes in the hidden and output layers, depending on the complexity or nature of overlap between the patterns. An ambiguity measure is given based on how well the features are being interpreted by the network. From the ambiguity measure a certainty factor about the decision of the network is derived. The effect of noise on the certainty factor is investigated. A vigilance threshold is used to decide whether the network's decision is correct or not. Functionally the network consists of two parts, one of them categorizes the incoming patterns and the other monitors the performance of categorization. The characteristics of the model has also been demonstrated experimentally on both 1D binary strings and image patterns even when they are corrupted by additive, subtractive, and mixed noise.
Collapse
Affiliation(s)
- J Basak
- Machine Intelligence Unit, Indian Stat. Inst., Calcutta
| | | |
Collapse
|
18
|
Tuhrim S, Reggia JA, Peng Y. High-specificity neurological localization using a connectionist model. Artif Intell Med 1994; 6:521-32. [PMID: 7858663 DOI: 10.1016/0933-3657(94)90028-0] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Abstract] [MESH Headings] [Grants] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 01/27/2023]
Abstract
Most previous connectionist models for diagnosis have been developed using error backpropagation. While these systems function reasonably well, they have been limited by their need for a large database of test cases, to situations where a single disorder is present, and by the large number of connections required between fully-connected sets of processing units. Here we describe a recently developed connectionist model that overcomes these limitations. This approach can reuse existing causal knowledge bases, works well in situations where multiple disorders can occur simultaneously, and does not require fully-connected sets of processing units. We demonstrate that the accuracy of this model is comparable to that of more conventional AI programs using the same knowledge base in determining precisely the site of brain damage in a group of 50 stroke patients. These results support the conclusion that connectionist models can effectively use pre-existing causal knowledge bases from AI systems, and that they can function accurately when handling actual clinical problems.
Collapse
Affiliation(s)
- S Tuhrim
- Department of Neurology, Mount Sinai School of Medicine, New York, NY 10029
| | | | | |
Collapse
|
19
|
|
20
|
Abstract
In this paper neural networks are used as associative memories to build an expert system for aiding medical diagnosis. As in expert systems using symbolic manipulation, the knowledge is introduced by a knowledge engineer using a collection of known cases. The system has an object-oriented approach to knowledge organization and the resulting network topology. Fuzzy sets are used to interpret connection values and/or excitation state of the units. The main result is that the proposed neural network allows not only finding a solution in some cases, but also suggests obtaining more clinical data if the data available is insufficient to reach a conclusion. This approach is illustrated by examples.
Collapse
Affiliation(s)
- J M Barreto
- Laboratory of Neurophysiology, Faculty of Medicine, Catholic University of Louvain (UCL), Brussels, Belgium
| | | |
Collapse
|
21
|
Reggia JA, Peng Y, Tuhrim S. A connectionist approach to diagnostic problem solving using causal networks. Inf Sci (N Y) 1993. [DOI: 10.1016/0020-0255(93)90047-p] [Citation(s) in RCA: 6] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 01/04/2023]
|
22
|
Abstract
During the last decade there has been a great revival of interest in neural modelling. Powerful new computational methods have resulted from work in this area and are being applied to an increasing range of medical problems. This paper briefly explains the nature of a neural model and then reviews work in neural computation involving problems in medical informatics (e.g. expert systems) and modelling of psychiatric and neurological phenomena. The state of the art is assessed, and speculation about future developments is given.
Collapse
Affiliation(s)
- J A Reggia
- Dept of Computer Science, University of Maryland, College Park 20742
| |
Collapse
|
23
|
Basak J, Murthy C, Chaudhury S, Majumder D. A connectionist model for category perception: theory and implementation. ACTA ACUST UNITED AC 1993; 4:257-69. [DOI: 10.1109/72.207613] [Citation(s) in RCA: 19] [Impact Index Per Article: 0.6] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/10/2022]
|
24
|
Miller J, Potter W, Gandham R, Lapena C. An evaluation of local improvement operators for genetic algorithms. ACTA ACUST UNITED AC 1993. [DOI: 10.1109/21.260665] [Citation(s) in RCA: 101] [Impact Index Per Article: 3.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/08/2022]
|
25
|
|
26
|
Improving the reliability of heuristic multiple fault diagnosis via the EC-based Genetic Algorithm. APPL INTELL 1992. [DOI: 10.1007/bf00058573] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/26/2022]
|
27
|
The Nature of Intracortical Inhibitory Effects11Supported by NINDS Awards NS29414 and NS16332. Dr. Reggia is also with the Institute for Advanced Computer Studies at the University of Maryland. Neural Netw 1992. [DOI: 10.1016/b978-0-444-89330-7.50006-5] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/21/2022]
|
28
|
Gertler J, Anderson K. An evidential reasoning extension to quantitative model-based failure diagnosis. ACTA ACUST UNITED AC 1992. [DOI: 10.1109/21.148430] [Citation(s) in RCA: 33] [Impact Index Per Article: 1.0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/09/2022]
|
29
|
Eberhardt S, Daud T, Kerns D, Brown T, Thakoor A. Competitive neural architecture for hardware solution to the assignment problem. Neural Netw 1991. [DOI: 10.1016/0893-6080(91)90039-8] [Citation(s) in RCA: 52] [Impact Index Per Article: 1.6] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/26/2022]
|
30
|
Learning in parallel distributed processing networks: Computational complexity and information content. ACTA ACUST UNITED AC 1991. [DOI: 10.1109/21.87084] [Citation(s) in RCA: 10] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/06/2022]
|
31
|
Reggia JA, Edwards M. Phase Transitions in Connectionist Models Having Rapidly Varying Connection Strengths. Neural Comput 1990. [DOI: 10.1162/neco.1990.2.4.523] [Citation(s) in RCA: 11] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/04/2022]
Abstract
A phase transition in a connectionist model refers to a qualitative change in the model's behavior as parameters determining the spread of activation (gain, decay rate, etc.) pass through certain critical values. As connectionist methods have been increasingly adopted to model various problems in neuroscience, artificial intelligence, and cognitive science, there has been an increased need to understand and predict these phase transitions to assure meaningful model behavior. This paper extends previous results on phase transitions to encompass a class of connectionist models having rapidly varying connection strengths (“fast weights”). Phase transitions are predicted theoretically and then verified through a series of computer simulations. These results broaden the range of connectionist models for which phase transitions are identified and lay the foundation for future studies comparing models with rapidly varying and slowly varying connection strengths.
Collapse
Affiliation(s)
- James A. Reggia
- Department of Computer Science, Institute for Advanced Computer Studies, University of Maryland, College Park, MD 20742 USA
| | - Mark Edwards
- Department of Computer Science, Institute for Advanced Computer Studies, University of Maryland, College Park, MD 20742 USA
| |
Collapse
|
32
|
In defense of PTC. Behav Brain Sci 1990. [DOI: 10.1017/s0140525x00079486] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/07/2022]
|
33
|
|
34
|
Connectionism: Self-abuse is improper treatment. Behav Brain Sci 1990. [DOI: 10.1017/s0140525x00079437] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/07/2022]
|
35
|
Level of analysis is not a central issue. Behav Brain Sci 1990. [DOI: 10.1017/s0140525x00079462] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/07/2022]
|
36
|
Evolution and connectionism. Behav Brain Sci 1990. [DOI: 10.1017/s0140525x00079449] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/07/2022]
|
37
|
|
38
|
D'Autrechy CL, Reggia JA. Parallel plan execution with self-processing networks. TELEMATICS AND INFORMATICS 1989. [DOI: 10.1016/s0736-5853(89)80012-7] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/25/2022]
|
39
|
|