Program

Keynote: Prof. Guillermo Simari

Universidad Nacional del Sur, Bahia Blanca Argentina

Chair: Parsons

On the Properties of the Relation between Argumentation Semantics and Argumentation Inference Operators.

The problem of finding properties that characterizes the relation between argumentation semantics and argumentation inference operators has beginning to surface in the last years.Several works have addresses this concern proposing different "postulates" that reflect the intuitions in this respect. Argumentative reasoning is by nature defeasible and that distinct feature must have a deep influence on the resulting constrains. We believe that the very essence of argumentation should affect the manner in which the required properties are described.

Keynote: Diane Litman

University of Pittsburgh

Chair: Reed

Argument Mining from Text for Teaching and Assessing Writing.

The written and diagrammed arguments of students (and the mappings between them) are educational data that can be automatically mined for purposes of student instruction and assessment. This talk will illustrate some of the opportunities and challenges in educationally-oriented argument mining from text. I will first describe how we are using natural processing to develop argument mining systems that are being embedded in two types of educationaltechnologies: computerized essay grading and computer-supported peer review. I will then present the results of empirical evaluations of these technologies, using argumentative writing data obtained from elementary, high school, and university students

Keynote: Rineke Verbrugge

University of Groningen

Chair: Oren

Taking the perspective of the other: From children's stories to negotiations

Computational agents often reason about other agents' beliefs, knowledge, goals and plans, based on formal logics. Usually they are capable of an arbitrary amount of recursion when reasoning about their interlocutors: "Alice believes that I believe that Alice believes that I wrote a novel under pseudonym" and so onwards. However, people lose track of such `theory of mind' reasoning after a few levels. If software agents work together with human teammates, it is very important that they take into account the limits of social cognition of their human counterparts. Otherwise an international negotiation, for example, fails, even when it has potential for a win-win solution. In this talk, I will discuss several strands of research related to recursive theory of mind: children's development from first-order theory of mind ('Mommy doesn't know that I took the cookie") to second-order theory of mind ("Alice believes that I believe that she wrote a novel under pseudonym") in story tasks; adults' limitations and strengths in higher-order social reasoning in games; and the question why higher-order theory of mind may have evolved in the first place. To investigate these questions, we take logic into the lab and combine computational cognitive models, agent-based models, and empirical research with adults and children.