Deductive Inference for the Interiors and Exteriors of Horn Theories
In this paper, we investigate the deductive inference for the interiors and exteriors of Horn knowledge bases, where the interiors and exteriors were introduced by Makino and Ibaraki  to study stability properties of knowledge bases. We present a linear time algorithm for the deduction for the interiors and show that it is co-NP-complete for the deduction for the exteriors. Under model-based representation, we show that the deduction problem for interiors is NP-complete while the one for exteriors is co-NP-complete. As for Horn envelopes of the exteriors, we show that it is linearly solvable under model-based representation, while it is co-NP-complete under formula-based representation. We also discuss the polynomially solvable cases for all the intractable problems.
Unable to display preview. Download preview PDF.
- 3.Dowling, W., Galliear, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn theories. Journal of Logic Programming 3, 267–284 (1983)Google Scholar
- 5.Eiter, T., Makino, K.: On computing all abductive explanations. In: Proc. AAAI 2002, pp. 62–67 (2002)Google Scholar
- 7.Kautz, H., Kearns, M., Selman, B.: Reasoning with characteristic models. In: Proc. AAAI 1993, pp. 34–39 (1993)Google Scholar
- 12.Makino, K., Ono, H.: Deductive Inference for the Interiors and Exteriors of Horn Theories, Mathematical Engineering Technical Report, METR 2007-06, The University of Tokyo (February 2007)Google Scholar
- 16.Selman, B., Kautz, H.: Knowledge compilation using Horn approximations. In: Proc. AAAI 1991, pp. 904–909 (1991)Google Scholar