ML Anthology

Reasoning by Cases and the Formation of Conditional Programs

Douglas R. Smith
IJCAI 1985 pp. 215-218
/ijcai/1985/smith1985ijcai-reasoning/

Abstract

ABSTRACT (1) Reasoning by cases, a natural feature of human reasoning, has been difficult to formulate so that it can be performed naturally when needed. Several difficulties arise: (1) how to motivate the use of reasoning by cases when and only when needed, (2) how to determine an appropriate analysis of the goal into cases, and (3) how to carry out the deduction in each case and combine the results. In this paper we focus on how reasoning by cases can be naturally accomplished in the framework of derived antecedents (Smith 1982). Our main technical contributions are (1) a set of strategies that draw on the context of a deduction to provide an appropriate case analysis for a goal, and (2) inference rules for carrying out reasoning by cases and forming conditional terms for the existentially quantified variables in the initial goal. I

PDF Semantic Scholar

Cite

Text

Smith. "Reasoning by Cases and the Formation of Conditional Programs." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Smith. "Reasoning by Cases and the Formation of Conditional Programs." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/smith1985ijcai-reasoning/)

BibTeX

@inproceedings{smith1985ijcai-reasoning,
  title     = {{Reasoning by Cases and the Formation of Conditional Programs}},
  author    = {Smith, Douglas R.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {215-218},
  url       = {https://mlanthology.org/ijcai/1985/smith1985ijcai-reasoning/}
}