HYPOTHETICAL REASONING.

Joao P. Martins; Stuart C. Shapiro

HYPOTHETICAL REASONING.

Joao P. Martins
, Stuart C. Shapiro

Department of Computer Science and Engineering

University of Lisbon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Abstract

We present a domain-independent reasoning system that is able to perform hypothetical reasoning. A person working with our system may raise hypotheses, request the system to reason from them, adding the results obtained to a knowledge base, and may discard any of the hypotheses raised, which automatically makes inaccessible to the reasoning program every piece of knowledge depending on the hypothesis (or hypotheses) discarded. The novelty of our approach to hypothetical reasoning lies in the way that we switch reasoning contexts. The system is able to return to a previous state of reasoning without performing any backtracking at all.

Original language	English
Title of host publication	Unknown Host Publication Title
Editors	D. Sriram, R. Adey
Publisher	Springer-Verlag, Berling, West Ger & New1029-1042
ISBN (Print)	0905451473
State	Published - 1986

Cite this

@inproceedings{14ed17b6cf3049e0a4f774bb0c6f90ac,

title = "HYPOTHETICAL REASONING.",

abstract = "We present a domain-independent reasoning system that is able to perform hypothetical reasoning. A person working with our system may raise hypotheses, request the system to reason from them, adding the results obtained to a knowledge base, and may discard any of the hypotheses raised, which automatically makes inaccessible to the reasoning program every piece of knowledge depending on the hypothesis (or hypotheses) discarded. The novelty of our approach to hypothetical reasoning lies in the way that we switch reasoning contexts. The system is able to return to a previous state of reasoning without performing any backtracking at all.",

author = "Martins, \{Joao P.\} and Shapiro, \{Stuart C.\}",

year = "1986",

language = "English",

isbn = "0905451473",

publisher = "Springer-Verlag, Berling, West Ger \& New1029-1042",

editor = "D. Sriram and R. Adey",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - HYPOTHETICAL REASONING.

AU - Martins, Joao P.

AU - Shapiro, Stuart C.

PY - 1986

Y1 - 1986

N2 - We present a domain-independent reasoning system that is able to perform hypothetical reasoning. A person working with our system may raise hypotheses, request the system to reason from them, adding the results obtained to a knowledge base, and may discard any of the hypotheses raised, which automatically makes inaccessible to the reasoning program every piece of knowledge depending on the hypothesis (or hypotheses) discarded. The novelty of our approach to hypothetical reasoning lies in the way that we switch reasoning contexts. The system is able to return to a previous state of reasoning without performing any backtracking at all.

AB - We present a domain-independent reasoning system that is able to perform hypothetical reasoning. A person working with our system may raise hypotheses, request the system to reason from them, adding the results obtained to a knowledge base, and may discard any of the hypotheses raised, which automatically makes inaccessible to the reasoning program every piece of knowledge depending on the hypothesis (or hypotheses) discarded. The novelty of our approach to hypothetical reasoning lies in the way that we switch reasoning contexts. The system is able to return to a previous state of reasoning without performing any backtracking at all.

UR - https://www.scopus.com/pages/publications/0022945950

M3 - Conference contribution

AN - SCOPUS:0022945950

SN - 0905451473

BT - Unknown Host Publication Title

A2 - Sriram, D.

A2 - Adey, R.

PB - Springer-Verlag, Berling, West Ger & New1029-1042

ER -

HYPOTHETICAL REASONING.

Abstract

Other files and links

Fingerprint

Cite this