reflection
- CURIE:
gmeow:eventTypeReflection - IRI: https://blackcatinformatics.ca/gmeow/eventTypeReflection
- Category: individual
- Defined by:
gmeow:slices/metacognition - Box roles: ABox role (What is this?)
An event of an agent reviewing its OWN reasoning — re-examining a prior inference, belief, or self-assessment. A value individual of gmeow:EventType (the eventTypeDeception pattern), so a reflection is typed and queryable as an occurrent kind. A reflection may install a gmeow:hasDefeater on one of the agent's own gmeow:InferenceCommitment individuals, triggering belief revision — modelled as SUPPRESSION (gmeow:displayable false on the defeated conclusion, the prior inference retained as audit), never deletion (Principle 10). The bridge to the inference slice is documented routing, not an axiom.
Structure
Types: gmeow:EventType
Practical Pattern
Use gmeow:eventTypeReflection as a controlled value typed as gmeow:EventType.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Reflection Revision
- Source:
slices/core/metacognition/examples/reflection-revision.ttl - Examples catalog: open in catalog#example-slices-core-metacognition-examples-reflection-revision
# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — REFLECTION defeating one's own inference, belief revision as
# SUPPRESSION (Principle 10). The metacognition layer over the inference slice's
# belief-revision pattern: Lillith inductively concluded "the server is down" from
# "the ping timed out". On REFLECTION (a gmeow:Event typed gmeow:eventTypeReflection,
# tied to the reflexive layer by a gmeow:MetacognitiveState whose gmeow:metaTarget
# is her OWN gmeow:InferenceCommitment) she surfaces an UNDERCUTTING defeater — a
# firewall rule blocked the ping, removing the warrant. Revision does NOT delete:
# the conclusion-claim is set gmeow:displayable false, the gmeow:InferenceTenure is
# closed, and the gmeow:InferenceCommitment is retained as audit. The defeater is
# installed via the inference slice's gmeow:hasDefeater (reused by reference); the
# reflection → revision link is a documented bridge, never an axiom.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/metacognition/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
# --- The reflection act: Lillith reviews her OWN reasoning (the metacognition
# layer). The event carries the gmeow:eventTypeReflection value; a
# gmeow:MetacognitiveState ties the review to the reflexive layer, its
# gmeow:metaTarget pointing at her own inference commitment.
ex:lillithReview a gmeow:Event ;
gmeow:eventType gmeow:eventTypeReflection .
Common Companion Terms
Usage Advice
Use when
- Use to type an event of an agent reviewing its own reasoning — a reflection act that may revise a prior belief — when the reviewable occurrence is the fact of interest, e.g. recording that a reflection defeated an earlier inference.
Avoid when
- Avoid using it for the unfolding reasoning EPISODE itself (that is a
gmeow:MentalProcess, mentation — one canonical source per fact, Principle 4) and avoid treating the reflection→revision link as an entailment; thegmeow:hasDefeaterinstallation is asserted, not derived.
How to use
- Type a reflection event with
gmeow:eventTypegmeow:eventTypeReflection; record belief revision by installinggmeow:hasDefeateron the agent's owngmeow:InferenceCommitmentand suppressing the defeated conclusion withgmeow:displayablefalse, retaining the prior inference as audit (Principle 10).
Scope notes
- Boundary with the mentation slice (documentation only):
gmeow:eventTypeReflectiontypes a reviewable occurrent KIND, likegmeow:eventTypeDeception. A reflection that unfolds as a reasoning PROCESS is agmeow:MentalProcess(mentation); to avoid two canonical sources for one fact (Principle 4), use thisEventTypefor the reviewable act and the mentation process type for the unfolding episode, not both for the same individual.
Examples
- ex:lillithReview a
gmeow:Event;gmeow:eventTypegmeow:eventTypeReflection.