Reasoning with Ordered Binary Decision Diagrams
 Takashi Horiyama,
 Toshihide Ibaraki
 … show all 2 hide
Abstract
We consider problems of reasoning with a knowledgebase, which is represented by an ordered binary decision diagram (OBDD), for two special cases of general and Horn knowledgebases. Our main results say that both finding a model of a knowledgebase and deducing from a knowledgebase can be done in linear time for general case, but that abduction is NPcomplete even if the knowledgebase is restricted to be Horn. Then, we consider the abduction when its assumption set consists of all propositional literals (i.e., an answer for a given query is allowed to include any positive literals), and show that it can be done in polynomial time if the knowledgebase is Horn, while it remains NPcomplete for the general case. Some other solvable cases are also discussed.
 Title
 Reasoning with Ordered Binary Decision Diagrams
 Book Title
 Algorithms and Computation
 Book Subtitle
 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings
 Pages
 pp 120131
 Copyright
 2000
 DOI
 10.1007/3540409963_11
 Print ISBN
 9783540412557
 Online ISBN
 9783540409960
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 1969
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag Berlin Heidelberg
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors

 Gerhard Goos ^{(1)}
 Juris Hartmanis ^{(2)}
 Jan van Leeuwen ^{(3)}
 D. T. Lee ^{(4)}
 ShangHua Teng ^{(5)}
 Editor Affiliations

 1. Karlsruhe University
 2. Cornell University
 3. Utrecht University
 4. Academia Sinica, Institute of Information Science
 5. Department of Computer Science and Akamai Technologies, University of Illinois at Urbana Champaign
 Authors

 Takashi Horiyama ^{(6)}
 Toshihide Ibaraki ^{(7)}
 Author Affiliations

 6. Graduate School of Information Science, Nara Institute of Science and Technology, 6300101, Nara, Japan
 7. Graduate School of Informatics, Kyoto University, 6068501, Kyoto, Japan
Continue reading...
To view the rest of this content please follow the download PDF link above.