456 research outputs found
The Equational Approach to CF2 Semantics
We introduce a family of new equational semantics for argumentation networks
which can handle odd and even loops in a uniform manner. We offer one version
of equational semantics which is equivalent to CF2 semantics, and a better
version which gives the same results as traditional Dung semantics for even
loops but can still handle odd loops.Comment: 36 pages, version dated 15 February 201
Conditionals and modularity in general logics
In this work in progress, we discuss independence and interpolation and
related topics for classical, modal, and non-monotonic logics
Reactive preferential structures and nonmonotonic consequence
We introduce information bearing systems (IBRS) as an abstraction of many
logical systems. We define a general semantics for IBRS, and show that IBRS
generalize in a natural way preferential semantics and solve open
representation problems
Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations
We offer a technical analysis of the contrary to duty system proposed in
Carmo-Jones. We offer analysis/simplification/repair of their system and
compare it with our own related system
Equilibria und weiteres Heiteres
We investigate several technical and conceptual questions
Independence - revision and defaults
We investigate different aspects of independence here, in the context of
theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues,
and in the context of preferential reasoning
Independence and abstract multiplication
We investigate the notion of independence, which is at the basis of many,
seemingly unrelated, properties of logic like Rational Monotony in
non-monotonic logics, and interpolation theorems
- …