An integral theorem prover and the role of proof planning
type: Item
instance of: scholarly article
title: An integral theorem prover and the role of proof planning
zbMATH Open document ID: 0759.68078
DOI: 10.1007/BF00244284
author: James D. Baker
author: Shahriar Zand-Biglari
published in: Journal of Automated Reasoning
publication date: 1992-09-27T00:00:00Z
review text: The paper reflects an effort of the authors to use rule-based systems for computing integrals. The system prover for integration theorem proving is presented. Various types of integrals are admitted such as Riemann, Stieltjes, Lebesgue, Cauchy, but the results achieved are concerning Riemann integrals only. To make the transformation of integration into theorem proving sphere easy a predicate form of integrals is used. Thereby a rule base is available for proving integration theorems. The system prover is implemented in Prolog and represents a proof planning method which substantially reduces the number of steps in the search space. The rule base containing fundamental definitions, functions and theorems as well as the proof method with plan are presented in three appendices. Several instructive examples illustrate the work of the system.
reviewed by: Josef Šajda
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 57768
zbMATH Keywords: integration
zbMATH Keywords: planning
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00244284
OpenAlex ID: W2020589045
description: scientific article; zbMATH DE number 57768