Horn approximations of empirical data

67Citations
Citations of this article
16Readers
Mendeley users who have this article in their library.

Abstract

Formal AI systems traditionally represent knowledge using logical formulas. Sometimes, however, a model-based representation is more compact and enables faster reasoning than the corresponding formula-based representation. The central idea behind our work is to represent a large set of models by a subset of characteristic models. More specifically, we examine model-based representations of Horn theories, and show that there are large Horn theories that can be exactly represented by an exponentially smaller set of characteristic models. We show that deduction based on a set of characteristic models requires only polynomial time, as it does using Horn theories. More surprisingly, abduction can be performed in polynomial time using a set of characteristic models, whereas abduction using Horn theories is NP-complete. Finally, we discuss algorithms for generating efficient representations of the Horn theory that best approximates a general set of models. © 1995.

Cite

CITATION STYLE

APA

Kautz, H., Kearns, M., & Selman, B. (1995). Horn approximations of empirical data. Artificial Intelligence, 74(1), 129–145. https://doi.org/10.1016/0004-3702(94)00072-9

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free