Inference Commitment

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

The endurant, structured argument relation an inference instantiates — the reified Toulmin/Peircean commitment mediating its premises (gmeow:premise), its single conclusion (gmeow:conclusion, a gmeow:StandpointClaim), its warrant (gmeow:warrant), its mode (gmeow:inferenceModeOf), and its defeaters (gmeow:hasDefeater). A relator, not a process (the gmeow:Commitment idiom): the occurrent reasoning episode that bears it is the gmeow:InferenceProcess reached by gmeow:hasInferenceCommitment. Reifying is the on-demand tier; the flat 80% case hangs gmeow:inferredFrom + gmeow:inferenceMode directly on the conclusion-claim. Retained as audit when its conclusion is suppressed (belief revision), never erased (Principle 10).

Structure

Subclass of: gufo:Relator

Practical Pattern

Use gmeow:InferenceCommitment as a specialized kind of gufo:Relator. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

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#> .



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — ABDUCTION (inference to the best explanation), the FULL CHAIN.
#
# This example exercises all three fidelity tiers and the endurant/occurrent
# split end to end:
#
#   gmeow:InferenceProcess  --hasInferenceCommitment-->  gmeow:InferenceCommitment
#       (the occurrent reasoning episode)                  (the endurant argument)
#            |                                                   |
#       producesMentalMoment                               conclusion
#            v                                                   v
#       the accepted belief        is the agent's attitude    gmeow:StandpointClaim
#       (gmeow:MentalMoment)        toward the winning ------> (the conclusion content)
#                                   hypothesis
#
# A clinician observes a fever and reasons to its best explanation. Two
# candidate hypotheses compete (gmeow:competesWith); each is scored by a
# solver-layer gmeow:explanatoryScore (Principle 12 — there is no isBest bit).
# The winner's modality is promoted gmeow:conceivable -> gmeow:probable; the
# loser is SUPPRESSED (gmeow:displayable false), never deleted (Principle 10).

# --- 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 .

Analogy

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

@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#> .



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — ANALOGY (structure-mapping, Gentner).
#
# The Rutherford analogy: the atom is like the solar system. Analogical
# inference transfers relational structure from a familiar SOURCE (the solar
# system) to a TARGET (the atom) via a gmeow:Analogy whose element-pair
# gmeow:Correspondence relations carry the mapping. The mapping is scored by a
# solver-layer gmeow:systematicity (Gentner: deep relational structure beats
# shallow attribute matches). The warrant of the analogical
# gmeow:InferenceCommitment points at the gmeow:Analogy. Not truth-preserving,
# so the conclusion is gmeow:probable.

ex:analogicalCommitment a gmeow:InferenceCommitment ;
    rdfs:label "Analogical argument: solar-system structure transferred to the atom"@en ;
    gmeow:inferenceModeOf gmeow:modeAnalogical ;
    gmeow:premise ex:premOrbits ;
    gmeow:conclusion ex:conclElectronsOrbit ;
    gmeow:warrant ex:rutherfordAnalogy .          # the warrant IS the structure-mapping

External Equivalences

Equivalent or closely aligned targets: crminf

Linkages

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

Term Equivalences