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

Mitsuru Ishizuka, Yutaka Matsuo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)

Abstract

Hypothetical reasoning is an important framework for knowledgebased 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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages611-625
Number of pages15
Volume1531
ISBN (Print)354065271X, 9783540652717
DOIs
Publication statusPublished - 1998
Externally publishedYes
Event5th Pacific Rim Intemational Conference on Artificial Intelligence, PRICAI 1998 - Singapore, Singapore
Duration: 1998 Nov 221998 Nov 27

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1531
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th Pacific Rim Intemational Conference on Artificial Intelligence, PRICAI 1998
CountrySingapore
CitySingapore
Period98/11/2298/11/27

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'SL method for computing a near-optimal solution using linear and non-linear programming in cost-based hypothetical reasoning'. Together they form a unique fingerprint.

Cite this