Hypothetical Reasoning with Intuitionistic Logic (1994)
| Venue: | Non-Standard Queries and Answers, Studies on Logic and Computation, chapter 8 |
| Citations: | 5 - 4 self |
BibTeX
@INPROCEEDINGS{Bonner94hypotheticalreasoning,
author = {Anthony J. Bonner},
title = {Hypothetical Reasoning with Intuitionistic Logic},
booktitle = {Non-Standard Queries and Answers, Studies on Logic and Computation, chapter 8},
year = {1994},
pages = {187--219},
publisher = {Oxford University Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they reason effectively about the world as it is, they are poor at tasks such as planning and design, where one must explore the consequences of hypothetical actions and possibilities. To address this limitation, this paper presents a logic-programming language in which a user can create hypotheses and draw inferences from them. Two types of hypothetical operations are considered: the insertion of tuples into a database, and the creation of new constant symbols. These two operations are interesting, not only because they extend the capabilities of database systems, but also because they fit neatly into a well-established logical framework, namely intuitionistic logic. This paper presents the proof theory for the logic, outlines its intuitionistic model theory, and summarizes results on its complexity and on its ability to express database queries. Our results establish a st...
