### 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 language | English |
---|---|

Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |

Publisher | Springer Verlag |

Pages | 611-625 |

Number of pages | 15 |

Volume | 1531 |

ISBN (Print) | 354065271X, 9783540652717 |

DOIs | |

Publication status | Published - 1998 |

Externally published | Yes |

Event | 5th Pacific Rim Intemational Conference on Artificial Intelligence, PRICAI 1998 - Singapore, Singapore Duration: 1998 Nov 22 → 1998 Nov 27 |

### Publication series

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

Volume | 1531 |

ISSN (Print) | 03029743 |

ISSN (Electronic) | 16113349 |

### Other

Other | 5th Pacific Rim Intemational Conference on Artificial Intelligence, PRICAI 1998 |
---|---|

Country | Singapore |

City | Singapore |

Period | 98/11/22 → 98/11/27 |

### Fingerprint

### ASJC Scopus subject areas

- Computer Science(all)
- Theoretical Computer Science

### Cite this

*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)*(Vol. 1531, pp. 611-625). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1531). Springer Verlag. https://doi.org/10.1007/BFb0095304