Dialogue Proof Procedures; The Semantic Web

Some thoughts following on from 05 March's supervisor meeting.

Dialectical Proof Procedures For Assumption-Based, Admissible Argumentation

“The set of assumptions A is a subset of the set of all literals that do not occur as the conclusion of any inference rule in R.” Isn’t this a bit silly at times? Since, if there is no knowledge of a literal, it should always be possible to make an assumption for its truth value.

There may be certain literals for which we do not want to make an assumption.

“(5) There is no infinite sequence of consecutive nodes all of which are proponent nodes.” Why is this important and why not for the opponent as well? How can the procedure tell that a branch will be infinite?

We are looking at things from the proponent’s perspective and thus the opponent can have sloppy arguments in places. This is not the case for the proponent.

“(Fig. 3) Concrete dispute tree for p for the assumption-based framework with p <- p.” Why is this (infinite) concrete dispute tree admissible? “… whether the selection function is patient or not, a concrete dispute tree must expand all of the proponent’s potential arguments into complete arguments…” Why isn’t there such a condition for the opponent nodes?

Similar to the response above, the opponent argument can be sloppy in places whereas the proponent argument (and defences) must be defensible in all branches of the tree.

“… by separating the search space from the search strategy, our approach might help to identify different ways in which a proponent might be able to win an argument, while minimising the conflict (culprit set) with the opponent.” What is a “search space” and a “search strategy”?

The way I understand it is, the search space is the collection of all the choice points whereas the search strategy is a way of determining which choice point to unfold next.

The Semantic Web
Do some reading but don’t delve into it too much. There are issues where the argumentation community is concerned, with their use of ontologies for example. ‘A Semantic Web Primer’ is a good starting point.