GRASS_WET
GRASS_WET, GRASS_WET => SPRINKLER, SPRINKLER -> ¬RAIN
GRASS_WET, GRASS_WET => SPRINKLER
GRASS_WET, GRASS_WET => RAIN
GRASS_WET, GRASS_WET => RAIN, RAIN -> ¬SPRINKLER
¬SPRINKLER
GRASS_WET
GRASS_WET, GRASS_WET => SPRINKLER, SPRINKLER -> ¬RAIN
GRASS_WET, GRASS_WET => SPRINKLER
GRASS_WET, GRASS_WET => RAIN
GRASS_WET, GRASS_WET => RAIN, RAIN -> ¬SPRINKLER
-> GRASS_WET
GRASS_WET => RAIN
GRASS_WET => SPRINKLER
RAIN -> ¬SPRINKLER
SPRINKLER -> ¬RAIN
-> GRASS_WET
GRASS_WET => RAIN
GRASS_WET => SPRINKLER
RAIN -> ¬SPRINKLER
SPRINKLER -> ¬RAIN
-> ¬SPRINKLER
Two extensions: either because it's raining, or because the sprinkler is on.
One extension: because it's raining.
ASPIC+
With a logical language, inference rules that are
strict (A -> B) or defeasible (A => B), and a
knowledge base of axioms (-> A) and ordinary
premises (=> A), ASPIC+ generates
a Dung framework.
Arguments are consistent chains of
inference, logical contradictions are attacks.
Modgil, Sanjay, and Henry Prakken. "The ASPIC+ framework for structured
argumentation: a tutorial." Argument & Computation 5, no. 1 (2014): 31-62.
DOI: 10.1080/19462166.2013.869766
Why is the grass wet?
Dung AAF
AIF