Multi-state Directed Acyclic Graphs (2007)
| Venue: | In Proc. Canadian AI |
| Citations: | 7 - 3 self |
BibTeX
@INPROCEEDINGS{Wachter07multi-statedirected,
author = {Michael Wachter and Rolf Haenni},
title = {Multi-state Directed Acyclic Graphs},
booktitle = {In Proc. Canadian AI},
year = {2007},
pages = {464--475}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This paper continues the line of research on the representation and compilation of propositional knowledge bases with propositional directed acyclic graphs (PDAG), negation normal forms (NNF), and binary decision diagrams (BDD). The idea is to permit variables with more than two states and to explicitly represent them in their most natural way. The resulting representation languages are analyzed according to their succinctness, supported queries, and supported transformations. The paper shows that most results from PDAGs, NNFs, and BDDs can be generalized to their corresponding multi-state extension. This implies that the entire knowledge compilation map is extensible from propositional to multi-state variables. 1
