doxastic content

The Proposition that is the content of a DoxasticState — what the agent believes. Functional and constitutive: one doxastic state is directed at exactly one proposition.

Structure

Property shape: object property; gmeow:DoxasticState -> gmeow:Proposition; functional

Practical Pattern

Use gmeow:doxasticContent from gmeow:DoxasticState to gmeow:Proposition when the relationship itself belongs in the native GMEOW graph.

Example Snippets

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

Belief Revision

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



# --- Original belief (high credence, unequivocal) -----------------------------
ex:originalBelief a gmeow:DoxasticState ;
    rdfs:label "original belief: the printer is broken"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propPrinterBroken ;
    gmeow:credence "0.92"^^xsd:decimal ;
    gmeow:doxasticClaim ex:originalClaim .

# --- Revised belief (lower credence, probable) --------------------------------
ex:revisedBelief a gmeow:DoxasticState ;
    rdfs:label "revised belief: printer may be broken"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propPrinterBroken ;
    gmeow:credence "0.35"^^xsd:decimal ;
    gmeow:doxasticClaim ex:revisedClaim .

Flagship Epistemic Ledger

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



# --- Original credence-weighted belief (operator) --------------------------------
ex:opBeliefOriginal a gmeow:DoxasticState ;
    rdfs:label "original belief: LLM recalled the meeting date correctly"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propRecall ;
    gmeow:doxasticClaim ex:opClaimOriginal ;
    gmeow:credence "0.85"^^xsd:decimal ;
    gmeow:justifiedBy ex:evidenceSpan1 .

# --- Revised belief after a defeater ---------------------------------------------
ex:opBeliefRevised a gmeow:DoxasticState ;
    rdfs:label "revised belief: LLM probably misremembered the meeting date"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propRecall ;
    gmeow:doxasticClaim ex:opClaimRevised ;
    gmeow:credence "0.30"^^xsd:decimal .

Common Companion Terms

gmeow:DoxasticState, gmeow:Proposition

Usage Advice

Use when

Avoid when

How to use

Examples