We propose to make use of ordered binary decision diagrams (OBDDs) as a means of realizing knowledge-bases. We show that the OBDD-based representation is more efficient and suitable in some cases, compared with the traditional CNF-based and/or model-based representations in the sense of space requirement. We then consider two recognition problems of OBDDs, and present polynomial time algorithms for testing whether a given OBDD represents a unate Boolean function, and whether it represents a Horn function.
CITATION STYLE
Horiyama, T., & Ibaraki, T. (1999). Ordered binary decision diagrams as knowledge-bases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1741, pp. 83–92). Springer Verlag. https://doi.org/10.1007/3-540-46632-0_9
Mendeley helps you to discover research relevant for your work.