induction

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

Inductive inference — generalisation over a sample, warranted by gmeow:evidenceStrength (logic:). Not truth-preserving; defeasible; default modality gmeow:probable; competing generalisations may rival it.

Structure

Types: gmeow:InferenceMode

Practical Pattern

Use gmeow:modeInduction 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.

Belief Revision

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

@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 conclusion — now SUPPRESSED, but retained.
ex:conclPrinterBroken a gmeow:StandpointClaim ;
    rdfs:label "Concluded (then retracted): the printer is broken"@en ;
    gmeow:vantage ex:operator ;
    gmeow:observedFeature ex:propPrinterBroken ;
    gmeow:observationMethod gmeow:methodExpertJudgement ;
    gmeow:claimModality gmeow:probable ;
    gmeow:inferenceMode gmeow:modeInduction ;
    gmeow:inferredFrom ex:premDidNotPrint ;
    gmeow:displayable false .                     # Principle 10: suppressed by the fired defeater

# --- The reified argument, retained as audit -------------------------------- #
ex:revisedCommitment a gmeow:InferenceCommitment ;
    rdfs:label "Inductive argument: did-not-print therefore broken (defeated)"@en ;
    gmeow:inferenceModeOf gmeow:modeInduction ;
    gmeow:premise ex:premDidNotPrint ;
    gmeow:conclusion ex:conclPrinterBroken ;
    gmeow:hasDefeater ex:defeaterNeverQueued .

Induction

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

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix logic: <https://blackcatinformatics.ca/logic/> .
@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 inductive generalisation — probable, defeasible -------------------- #
ex:genSwansWhite a gmeow:StandpointClaim ;
    rdfs:label "Generalisation: swans are white"@en ;
    gmeow:vantage ex:naturalist ;
    gmeow:observedFeature ex:propSwansWhite ;
    gmeow:observationMethod gmeow:methodExpertJudgement ;
    gmeow:claimModality gmeow:probable ;                     # not truth-preserving → probable
    gmeow:inferenceMode gmeow:modeInduction ;
    gmeow:inferredFrom ex:obsSwan1 , ex:obsSwan2 , ex:obsSwan3 ;
    logic:evidenceStrength "0.72"^^xsd:decimal .            # by reference: strength on the logic: axis

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