abduction

• CURIE: gmeow:modeAbduction
• IRI: https://blackcatinformatics.ca/gmeow/modeAbduction
• Category: individual
• Defined by: gmeow:slices/inference
• Box roles: ABox role (What is this?)

Abductive inference — inference to the best explanation: construct candidate hypotheses (gmeow:candidateHypothesis) for an explanandum, back-check them (gmeow:explains), and rank by gmeow:explanatoryScore. Not truth-preserving; defeasible; default modality gmeow:conceivable, promoted to gmeow:probable for the winner; rivals genuinely compete (gmeow:competesWith).

Structure

Types: gmeow:InferenceMode

Practical Pattern

Use gmeow:modeAbduction as a controlled value typed as gmeow:InferenceMode.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Abduction

• Source: slices/core/inference/examples/abduction.ttl
• Examples catalog: open in catalog#example-slices-core-inference-examples-abduction

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .



# --- The reified argument (endurant relator) -------------------------------- #
ex:abductiveCommitment a gmeow:InferenceCommitment ;
    rdfs:label "Abductive argument: best explanation of the fever"@en ;
    gmeow:inferenceModeOf gmeow:modeAbduction ;
    gmeow:premise ex:symptomObservation ;        # >= 1 premise, != conclusion (SHACL)
    gmeow:explanandum ex:fever ;
    gmeow:candidateHypothesis ex:hypInfluenza , ex:hypCold ;
    gmeow:conclusion ex:hypInfluenza ;           # exactly one conclusion = the winner
    gmeow:warrant "inference to the best explanation: influenza maximises explanatory score"@en .

Common Companion Terms

gmeow:InferenceMode

External Equivalences

Equivalent or closely aligned targets: wd

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences