Name
Abstract | ||
|---|---|---|
This paper shows that classical logic is inappro- priate for hypothetical reasoning and develops an alternative logic for this purpose. The paper fo- cuses on a form of hypothetical reasoning which appears computationally tractable. Specifically, Horn-clause logic is augmented with rules, called embedded implications, which can hypothetically add atomic formulas to a rulebase. By intro- ducing the notion of ruZebuse independence, it is shown that these rules can express hypothetical queries which classical logic cannot. By adopting methods from modal logic, these rules are then shown to be intuitionistic. In particular, they form a subset of intuitionistic logic having se- mantic properties similar to those of Horn-clause logic. |
Year | Venue | Keywords |
|---|---|---|
1988 | AAAI | modal logic,intuitionistic logic,classical logic |
Field | DocType | Citations |
Computer science,Theoretical computer science,Artificial intelligence,Philosophy of logic,Predicate logic,Higher-order logic,Computational logic,Multimodal logic,Algorithm,Many-valued logic,Machine learning,Intermediate logic,Dynamic logic (modal logic) | Conference | 20 |
PageRank | References | Authors |
9.71 | 11 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Anthony J. Bonner | 1 | 733 | 422.63 |