We argue that common knowledge, of the kind used in reasoning in law and computing is best analyzed using a dialogue model of argumentation (Walton & Krabbe 1995). In this model, implicit premises resting on common knowledge are analyzed as endoxa or widely accepted opinions and generalizations (Tardini 2005). We argue that, in this sense, common knowledge is not really knowledge of the kind represent by belief and/or knowledge of the epistemic kind studied in current epistemology. This paper takes a (...) different approach, defining it in relation to a common commitment store of two participants in a rule-governed dialogue in which two parties engage in rational argumentation (Jackson & Jacobs 1980; van Eemeren & Grootendorst 2004). A theme of the paper is how arguments containing common knowledge premises can be studied with the help of argumentation schemes for arguments from generally accepted opinion and expert opinion. It is argued that common knowledge is a species of provi- sional acceptance of a premise that is not in dispute at a given point in a dia- logue, but may later be defeated as the discussion proceeds . (shrink)

. A heuristic search procedure for inventing legal arguments is built on two tools already widely in use in argumentation. Argumentation schemes are forms of argument representing premise‐conclusion and inference structures of common types of arguments. Schemes especially useful in law represent defeasible arguments, like argument from expert opinion. Argument diagramming is a visualization tool used to display a chain of connected arguments linked together. One such tool, Araucaria, available free at , helps a user display an argument on the (...) computer screen as an inverted tree structure with an ultimate conclusion as the root of the tree. These argumentation tools are applicable to analyzing a mass of evidence in a case at trial, in a manner already known in law using heuristic methods and Wigmore diagrams . In this paper it is shown how they can be automated and applied to the task of inventing legal arguments. One important application is to proof construction in trial preparation. (shrink)

This work presents a requirement analysis for collaborative dialogues among medical experts and an inquiry dialogue game based on this analysis for incorporating explainability into multiagent system design. The game allows experts with different knowledge bases to collaboratively make recommendations while generating rich traces of the reasoning process through combining explanation-based illocutionary forces in an inquiry dialogue. The dialogue game was implemented as a prototype web-application and evaluated against the specification through a formative user study. The user study confirms that (...) the dialogue game meets the needs for collaboration among medical experts. It also provides insights on the real-life value of dialogue-based communication tools for the medical community. (shrink)

In some recent cases in Anglo-American law juries ruled contrary to an expert's testimony even though that testimony was never challenged, contradicted or questioned in the trial. These cases are shown to raise some theoretical questions about formal dialogue systems in computational dialectical systems for legal argumentation of the kind recently surveyed by Bench-Capon (1997) and Hage (2000) in this journal. In such systems, there is a burden of proof, meaning that if the respondent questions an argument, the proponent is (...) obliged to offer some support for it give it up. But what should happen in a formal system of dialogue if the proponent puts forward an argument and the respondent fails to critically question it, and simply moves on to another issue? Is this some kind of fault that should have implications? Should it be taken to imply that, by default, the respondent has conceded the argument? What, if anything, should be the outcome of such a failure to question in a formal dialogue system of argumentation? These questions are considered by examining some legal cases of expert opinion testimony in relation rules for formal dialectical argumentation systems. (shrink)