Journal article
Analysis of the behavior of logic-based computation for deductive databases and default reasoning
Decision Support Systems, Vol.8(6), pp.517-535
11/01/1992
DOI: 10.1016/0167-9236(92)90044-P
Abstract
One advantage of logic programming is the ability to use formal logic to analyze program behavior. Formal logic provides a basis for demonstrating that a program will behave as the user intends. This paper attempts to present to the non-logician known program behavior results for logic programs in the context of deductive databases. Previous results are extended through an investigation of a class of programs more general than logic programs. Specific attention is given to computational approaches which involve the solution of a finite sequence of progressively larger integer linear programming problems (ILP's). Constraints for such problems are constructed by a form of logical unification. Results indicate that under certain conditions the solution to the last ILP yields a Herbrand model for the original set of statements in logic. © 1992.
Details
- Title: Subtitle
- Analysis of the behavior of logic-based computation for deductive databases and default reasoning
- Creators
- Colin E. Bell - University of IowaDae Yong Lee - University of Iowa
- Resource Type
- Journal article
- Publication Details
- Decision Support Systems, Vol.8(6), pp.517-535
- DOI
- 10.1016/0167-9236(92)90044-P
- ISSN
- 0167-9236
- eISSN
- 1873-5797
- Number of pages
- 19
- Language
- English
- Date published
- 11/01/1992
- Academic Unit
- Business Analytics
- Record Identifier
- 9984963042202771
Metrics
1 Record Views