6,839 research outputs found
A QBF-based Formalization of Abstract Argumentation Semantics
Supported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref. EP/J012084/1 (SAsSY project).Peer reviewedPostprin
Probabilistic Argumentation. An Equational Approach
There is a generic way to add any new feature to a system. It involves 1)
identifying the basic units which build up the system and 2) introducing the
new feature to each of these basic units.
In the case where the system is argumentation and the feature is
probabilistic we have the following. The basic units are: a. the nature of the
arguments involved; b. the membership relation in the set S of arguments; c.
the attack relation; and d. the choice of extensions.
Generically to add a new aspect (probabilistic, or fuzzy, or temporal, etc)
to an argumentation network can be done by adding this feature to each
component a-d. This is a brute-force method and may yield a non-intuitive or
meaningful result.
A better way is to meaningfully translate the object system into another
target system which does have the aspect required and then let the target
system endow the aspect on the initial system. In our case we translate
argumentation into classical propositional logic and get probabilistic
argumentation from the translation.
Of course what we get depends on how we translate.
In fact, in this paper we introduce probabilistic semantics to abstract
argumentation theory based on the equational approach to argumentation
networks. We then compare our semantics with existing proposals in the
literature including the approaches by M. Thimm and by A. Hunter. Our
methodology in general is discussed in the conclusion
The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself
Recently, we had to realize that more and more game theoretical articles have
been published in peer-reviewed journals with severe logical deficiencies. In
particular, we observed that the indirect proof was not applied correctly.
These authors confuse between statements of propositional logic. They apply an
indirect proof while assuming a prerequisite in order to get a contradiction.
For instance, to find out that "if A then B" is valid, they suppose that the
assumptions "A and not B" are valid to derive a contradiction in order to
deduce "if A then B". Hence, they want to establish the equivalent proposition
"A and not B implies A and not A" to conclude that "if A then B" is valid. In
fact, they prove that a truth implies a falsehood, which is a wrong statement.
As a consequence, "if A then B" is invalid, disproving their own results. We
present and discuss some selected cases from the literature with severe logical
flaws, invalidating the articles.Comment: 16 pages, 2 table
- ā¦