Abstract
Hypothetical reasoning is an important framework for knowledge-based systems because it is theoretically founded and it is useful for many practical problems. Since its inference time grows exponentially with respect to problem size, its efficiency becomes the most crucial problem when applying it to practical problems. Some approximate solution methods have been proposed for computing cost-based hypothetical reasoning problems efficiently; however, for humans their mechanisms are complex to understand. In this paper, we present an understandable efficient method called SL (slide-down and lift-up) method which uses a linear programming technique, namely simplex method, for determining an initial search point and a non-linear programming technique for efficiently finding a near-optimal 0–1 solution. To escape from trapping into local optima, we have developed a new local handler which systematically fixes a variable to a locally consistent value when a locally optimal point is detected. This SL method can find a near-optimal solution for cost-based hypothetical reasoning in polynomial time with respect to problem size. Since the behavior of the SL method is illustrated visually, the simple inference mechanism of the method can be easily understood.
Preview
Unable to display preview. Download preview PDF.
References
E. Balas and C. Martin: Pivot and Complement—A Heuristic for 0–1 Programming, Management Science, Vol.20, pp.86–96 (1980).
E. Charniak and S. Shimony: Probabilistic Semantics for Cost Based Abduction, Proc.AAAI-90, pp.106–111 (1992).
J. deKleer: An Assumption-based TMS, Artif. Intelli., Vol.28, pp.127–162 (1986)
W. F. Dowling and J. H. Gallier: Linear-time Algorithm for Testing Satisfiability of Propositional Horn Formulae, Jour. of Logic Programming, Vol.3, pp.267–284 (1984)
J. Gu: Local Search for Satisfiability (SAT) Problem, IEEE Trans. on Systems, Man and Cybernetics, Vol.23, No.4, pp1108–1129 (1993).
J. Gu: Global Optimization for Satisfiability Problem, IEEE Trans. on Knowledge and Data Engineering, Vol.6, No.3, pp.361–381 (1994).
J. N. Hooker: A Quantitative Approach to Logical Inference, Decision Support Systems, Vol.4, pp.45–69 (1988).
M. Ishizuka and F. Ito: Fast Hypothetical Reasoning System using Inference-path Network, Proc. IEEE Int’l on Tools for AI (TAI’91), pp.352–359 (1991)
M. Ishizuka and T. Okamoto: A Polynomial-time Hypothetical Reasoning employing an Approximate Solution Method of 0–1 Integer Programming for Computing Near-optimal Solution, Proc. Canadian Conf. on AI, pp.179–186 (1994)
A. Kondo, T. Makino and M. Ishizuka: Efficient Hypothetical Reasoning System for Predicate-logic Knowledge-base, Knowledge-Based Systems, Vol.6, No.2, pp.87–94 (1993)
A. Kondo and M. Ishizuka: Efficient Inference Method for Computing an Optimal Solution in Predicate-logic Hypothetical Reasoning, Knowledge-Based Systems, Vol.9, pp.163–171 (1996)
Y. Ohsawa and M. Ishizuka: Networked Bubble Propagation: A Polynomial-time Hypothetical Reasoning for Computing Near Optimal Solutions, Artificial Intelligence, Vol.91, No.1, pp.131–154 (1997).
D. Poole: A Logical Framework for Default Reasoning, Artif. Intelli., Vol.36, pp.27–47 (1988)
E. Santos, Jr.: A Linear Constraint Satisfaction Approach to Cost-based Abduction, Artificial Intelligence, Vol.65, pp.1–27 (1994).
E. Santos, Jr. and E. S. Santos: Polynomial Solvability of Cost-based Abduction, Artificial Intelligence, Vol.86, pp.157–170 (1996).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ishizuka, M., Matsuo, Y. (1998). SL method for computing a near-optimal solution using linear and non-linear programming in cost-based hypothetical reasoning. In: Lee, HY., Motoda, H. (eds) PRICAI’98: Topics in Artificial Intelligence. PRICAI 1998. Lecture Notes in Computer Science, vol 1531. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0095305
Download citation
DOI: https://doi.org/10.1007/BFb0095305
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65271-7
Online ISBN: 978-3-540-49461-4
eBook Packages: Springer Book Archive