SL method for computing a near-optimal solution using linear and non-linear programming in cost-based hypothetical reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1531, Issue , 1998, Pages 611-625

  Ishizuka, Mitsuru ^a   Matsuo, Yutaka ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; NONLINEAR PROGRAMMING; POLYNOMIAL APPROXIMATION;

APPROXIMATE SOLUTION; CONSISTENT VALUES; HYPOTHETICAL REASONING; INFERENCE MECHANISM; ITS EFFICIENCIES; LINEAR PROGRAMMING TECHNIQUES; NEAR-OPTIMAL SOLUTIONS; PRACTICAL PROBLEMS;

OPTIMAL SYSTEMS;

EID: 80054880050     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. E. Balas and C. Martin: Pivot and Complement - A Heuristic for 0-1 Programming, Management Science, Vol.20, pp.86-96 (1980).
2. E. Charniak and S. Shimony: Probabilistic Semantics for Cost Based Abduction, Proc.AAAI-90, pp.106-111 (1992).
3. J. deKleer: An Assumption-based TMS, Artif. Intelli., Vol.28, pp.127-162 (1986)
4. 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)
5. J. Gu: Local Search for Satisfiability (SAT) Problem, IEEE Trans. on Systems, Man and Cybernetics, Vol.23, No.4, pp1108-1129 (1993).
6. J. Gu: Global Optimization for Satisfiability Problem, IEEE Trans. on Knowledge and Data Engineering, Vol.6, No.3, pp.361-381 (1994).
7. J. N. Hooker: A Quantitative Approach to Logical Inference, Decision Support Systems, Vol.4, pp.45-69 (1988)
8. 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)
9. 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)
10. 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)
11. 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)
12. Y. Ohsawa and M. Ishizuka: Networked Bubble Propagation: A Polynomial-time Hypothetical Reasoning for Computing Near Optimal Solutions, Artificial Intelligence, Vol.91, No.l, pp.131-154 (1997).
13. D. Poole: A Logical Framework for Default Reasoning, Artif. Intelli., Vol.36, pp.27-47 (1988)
14. E. Santos, Jr.: A Linear Constraint Satisfaction Approach to Cost-based Abduction, Artificial Intelligence, Vol.65, pp.1-27 (1994).
15. E. Santos, Jr. and E. S. Santos: Polynomial Solvability of Cost-based Abduction, Artificial Intelligence, Vol.86, pp.157-170 (1996).