## Reasoning with Models (1996)

### Cached

### Download Links

- [ijcai.org]
- [ijcai.org]
- [www.dcs.ed.ac.uk]
- [l2r.cs.uiuc.edu]
- [ftp.das.harvard.edu]
- DBLP

### Other Repositories/Bibliography

Citations: | 78 - 18 self |

### BibTeX

@MISC{Khardon96reasoningwith,

author = {Roni Khardon and Dan Roth},

title = {Reasoning with Models},

year = {1996}

}

### Years of Citing Articles

### OpenURL

### Abstract

We develop a model-based approach to reasoning, in which the knowledge base is represented as a set of models (satisfying assignments) rather than a logical formula, and the set of queries is restricted. We show that for every propositional knowledge base (KB) there exists a set of characteristic models with the property that a query is true in KB if and only if it is satisfied by the models in this set. We characterize a set of functions for which the model-based representation is compact and provides efficient reasoning. These include cases where the formula-based representation does not support efficient reasoning. In addition, we consider the model-based approach to abductive reasoning and show that for any propositional KB, reasoning with its model-based representation yields an abductive explanation in time that is polynomial in its size. Some of our technical results make use of the Monotone Theory, a new characterization of Boolean functions recently introduced. The notion of ...