undercutting
- CURIE:
gmeow:defeaterUndercutting - IRI: https://blackcatinformatics.ca/gmeow/defeaterUndercutting
- Category: individual
- Defined by:
gmeow:slices/inference - Box roles: ABox role (What is this?)
An undercutting defeater (Pollock) — attacks the inferential link, removing the warrant's support without asserting the conclusion's negation (the premises no longer license the conclusion).
Structure
Types: gmeow:DefeaterKind
Practical Pattern
Use gmeow:defeaterUndercutting as a controlled value typed as gmeow:DefeaterKind.
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 defeater (an undercutting one) ------------------------------------- #
ex:defeaterNeverQueued a gmeow:StandpointClaim ;
rdfs:label "Defeater: the document was never queued"@en ;
gmeow:vantage ex:operator ;
gmeow:observedFeature ex:propNeverQueued ;
gmeow:observationMethod gmeow:methodDirectObservation ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:defeaterKind gmeow:defeaterUndercutting . # removes the warrant, not asserts the negation
Reflection Revision
- Source:
slices/core/metacognition/examples/reflection-revision.ttl - Examples catalog: open in catalog#example-slices-core-metacognition-examples-reflection-revision
# --- The defeater the reflection surfaces (undercutting: removes the warrant,
# does not assert the negation).
ex:defeaterFirewall a gmeow:StandpointClaim ;
rdfs:label "Defeater: a firewall rule blocked the ping"@en ;
gmeow:vantage ex:lillith ;
gmeow:observedFeature ex:propFirewall ;
gmeow:observationMethod gmeow:methodDirectObservation ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:defeaterKind gmeow:defeaterUndercutting .