Cost-based abduction using binary decision diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1611, Issue , 1999, Pages 215-225

  Kato, Shohei ^a   Oono, Satoru ^b   Seki, Hirohisa ^b   Itoh, Hidenori ^b  

^a TOYOTA NATIONAL COLLEGE OF TECHNOLOGY   (Japan)

^b NAGOYA INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; EXPERT SYSTEMS; INTELLIGENT SYSTEMS;

ABDUCTIVE REASONING; DIAGNOSTIC PROBLEM;

BINARY DECISION DIAGRAMS;

EID: 84947739720     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48765-4_25     Document Type: Conference Paper

References (10)

1. [AS78] Akers and S. B. Binary Decision Diagrams. IEEE Trans. on Computers, C-27(6): 509-516, June 1978.
2. [BRB90] K. S. Brace, R. L. Rudell, and R. E. Brayton. Efficient Implementation of a BDD Package. In ACM/IEEE Proc. 27th DAC, pages 40-45, 1990.
3. [Bry86] Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. on Computers, C-35(8): 677-691, August 1986.
4. [CS94] E. Charniak and S. E. Shimony. Cost-based abduction and MAP explanation. Artificial Intelligence, 66: 345-374, 1994.
5. [KSI94] S. Kato, H. Seki, and H. Itoh. Cost-based Horn Abduction to Focus on the Most Probable Diagnosis. In Proc. of the 5th Intl. Workshop on Principles of Diagnosis, pages 148-152, New Paltz, NY, October 1994.
6. [KSI97] S. Kato, H. Seki, and H. Itoh. A Parallel Implementation of Cost-Based Abductive Reasoning. In Proc. of the second Intl. Symp. on Parallel Symbolic Computation (PASCO'97), pages 111-118, Maui, Hawaii, July 1997. ACM press.
7. [Llo84] J. W. Lloyd. Foundations of Logic Programming. Springer, 1984. Second, extended edition, 1987.
8. [Min93] S. Minato. BEM-II: An arithmetic Boolean expression manipulator using BDDs. IEICE Trans. of Fundamentals, E76-A(10): 1721-1729, 1993.
9. [Poo88] D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence, 36: 27-47, 1988.
10. [Poo93] D. Poole. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64: 81-129, 1993.