Default Reasoning Through Integer Linear Programming

Stephen D. Post; Colin E. Bell

doi:10.1007/978-94-009-2203-7_8

Back

Book chapter

Default Reasoning Through Integer Linear Programming

Stephen D. Post and Colin E. Bell

Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies, pp.171-195

Kluwer Academic Publishers

1990

DOI: 10.1007/978-94-009-2203-7_8

View Online

Abstract

Least Exception Logic (LEL) is a model for default reasoning that is based upon integer linear programming (ILP) and the first order predicate calculus. The basic LEL model was presented by Post in [1987b and 1988]. This paper summarizes the current research on LEL and presents a new example of using LEL for hardware diagnosis.

Atomic Formula

Conjunctive Normal Form

Default Rule

Integer Linear Program

Probabilistic Interpretation

Details

Title: Subtitle: Default Reasoning Through Integer Linear Programming
Creators: Stephen D. Post
Colin E. Bell - University of Iowa
Contributors: Donald E. Brown (Editor)
Chelsea C. White (Editor)
Resource Type: Book chapter
Publication Details: Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies, pp.171-195
DOI: 10.1007/978-94-009-2203-7_8
Publisher: Kluwer Academic Publishers; Boston
Number of pages: 25
Language: English
Date published: 1990
Academic Unit: Business Analytics
Record Identifier: 9984963139602771

Metrics

1 Record Views