|
Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Information Science and Technology / Faculty of Information Science and Technology >
科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 >
2010年度 >
E cient Representations of Boolean Functions: The View from Knowledge Compilation
| Title: | E cient Representations of Boolean Functions: The View from Knowledge Compilation |
| Authors: | Darwiche, Adnan Browse this author |
| Issue Date: | Jun-2011 |
| Publisher: | ERATO湊離散構造処理系プロジェクト |
| Citation: | 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.186-187. |
| Abstract: | We provide an overview of the area of knowledge compilation, which is concerned with the systematic study of e cient representations of propositional knowledge bases (aka, Boolean functions). We discuss the two key dimensions of knowledge compilation: succinctness of the representation, and the set of operations it supports in polytime. We focus on two key representations: The well-studied Ordered Binary Decision Diagram (OBDD) and the more recent Decomposable Negation Normal Form (DNNF).We highlight the relationship between these two representations, while stressing some of the more recent developments on DNNFs. This includes lower and upper bounds on the size of DNNFs and how they relate to similar bounds on OBDDs; the notion of a vtree and how it generalizes the notion of a variable order; and the newly discovered notion of “interaction function” and the role it plays in the decomposition and e cient representation of Boolean functions. |
| Description: | ERATOセミナ2010 : No.27. 2010年11月15日 |
| Conference Name: | ERATOセミナ |
| Conference Sequence: | 2010 |
| Type: | conference presentation |
| URI: | http://hdl.handle.net/2115/48458 |
| Appears in Collections: | 科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 > 2010年度
|
|
