Heuristic reasoning and relative incompleteness

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

In this paper an approach is presented in which heuristic reasoning is interpreted as strategic reasoning. This type of reasoning enables one to derive which hypothesis to investigate, and which observable information to acquire next (to be able to verify the chosen hypothesis). A compositional architecture for reasoning systems that perform such heuristic reasoning is introduced, called SIX (for Strategic Interactive eXpert systems). This compositional architecture enables user interaction at strategic level. It is formally specified in the specification framework DESIRE (DEsign and Specification of Interacting REsoning modules). We show that this reasoning method can adequately be applied to deal with relative incompleteness in domains that have a (layered) empirical basis. A logical analysis of domains is presented making these concepts more precise. A theorem is presented stating that a domain has an empirical basis if and only if a decisive knowledge base is possible. Moreover, a simple criterion is given to test whether or not a domain is empirically founded: implicit definability of hypotheses in terms of observables.
LanguageEnglish
Pages51-87
Number of pages38
JournalInternational Journal of Approximate Reasoning
Volume8
Issue number1
DOIs
Publication statusPublished - 1993

Fingerprint

Incompleteness
Reasoning
Heuristics
Specifications
Expert systems
Specification
Definability
Interactive Systems
User Interaction
Expert System
Knowledge Base
Verify
If and only if
Module
Theorem

Keywords

  • SIX
  • decisive knowledge base
  • diagnostic reasoning
  • empirical basis
  • heuristic reasoning
  • incomplete information
  • strategic interaction
  • strategic reasoning

Cite this

@article{a24837e10dd54fb1adf03e1d8f002a46,
title = "Heuristic reasoning and relative incompleteness",
abstract = "In this paper an approach is presented in which heuristic reasoning is interpreted as strategic reasoning. This type of reasoning enables one to derive which hypothesis to investigate, and which observable information to acquire next (to be able to verify the chosen hypothesis). A compositional architecture for reasoning systems that perform such heuristic reasoning is introduced, called SIX (for Strategic Interactive eXpert systems). This compositional architecture enables user interaction at strategic level. It is formally specified in the specification framework DESIRE (DEsign and Specification of Interacting REsoning modules). We show that this reasoning method can adequately be applied to deal with relative incompleteness in domains that have a (layered) empirical basis. A logical analysis of domains is presented making these concepts more precise. A theorem is presented stating that a domain has an empirical basis if and only if a decisive knowledge base is possible. Moreover, a simple criterion is given to test whether or not a domain is empirically founded: implicit definability of hypotheses in terms of observables.",
keywords = "SIX, decisive knowledge base, diagnostic reasoning, empirical basis, heuristic reasoning, incomplete information, strategic interaction, strategic reasoning",
author = "J. Treur",
year = "1993",
doi = "10.1016/S0888-613X(05)80005-2",
language = "English",
volume = "8",
pages = "51--87",
journal = "International Journal of Approximate Reasoning",
issn = "0888-613X",
publisher = "Elsevier Inc.",
number = "1",

}

Heuristic reasoning and relative incompleteness. / Treur, J.

In: International Journal of Approximate Reasoning, Vol. 8, No. 1, 1993, p. 51-87.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Heuristic reasoning and relative incompleteness

AU - Treur, J.

PY - 1993

Y1 - 1993

N2 - In this paper an approach is presented in which heuristic reasoning is interpreted as strategic reasoning. This type of reasoning enables one to derive which hypothesis to investigate, and which observable information to acquire next (to be able to verify the chosen hypothesis). A compositional architecture for reasoning systems that perform such heuristic reasoning is introduced, called SIX (for Strategic Interactive eXpert systems). This compositional architecture enables user interaction at strategic level. It is formally specified in the specification framework DESIRE (DEsign and Specification of Interacting REsoning modules). We show that this reasoning method can adequately be applied to deal with relative incompleteness in domains that have a (layered) empirical basis. A logical analysis of domains is presented making these concepts more precise. A theorem is presented stating that a domain has an empirical basis if and only if a decisive knowledge base is possible. Moreover, a simple criterion is given to test whether or not a domain is empirically founded: implicit definability of hypotheses in terms of observables.

AB - In this paper an approach is presented in which heuristic reasoning is interpreted as strategic reasoning. This type of reasoning enables one to derive which hypothesis to investigate, and which observable information to acquire next (to be able to verify the chosen hypothesis). A compositional architecture for reasoning systems that perform such heuristic reasoning is introduced, called SIX (for Strategic Interactive eXpert systems). This compositional architecture enables user interaction at strategic level. It is formally specified in the specification framework DESIRE (DEsign and Specification of Interacting REsoning modules). We show that this reasoning method can adequately be applied to deal with relative incompleteness in domains that have a (layered) empirical basis. A logical analysis of domains is presented making these concepts more precise. A theorem is presented stating that a domain has an empirical basis if and only if a decisive knowledge base is possible. Moreover, a simple criterion is given to test whether or not a domain is empirically founded: implicit definability of hypotheses in terms of observables.

KW - SIX

KW - decisive knowledge base

KW - diagnostic reasoning

KW - empirical basis

KW - heuristic reasoning

KW - incomplete information

KW - strategic interaction

KW - strategic reasoning

UR - http://www.scopus.com/inward/record.url?scp=38249006513&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=38249006513&partnerID=8YFLogxK

U2 - 10.1016/S0888-613X(05)80005-2

DO - 10.1016/S0888-613X(05)80005-2

M3 - Article

VL - 8

SP - 51

EP - 87

JO - International Journal of Approximate Reasoning

T2 - International Journal of Approximate Reasoning

JF - International Journal of Approximate Reasoning

SN - 0888-613X

IS - 1

ER -