Dialogue games in defeasible logic

Authors:
S. Thakur;G. Governatori;V. Padmanabhan;J. Eriksson Lundström
Affiliations:
School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Queensland, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Queensland, Australia;Dept. of Computer & Information Sciences, University of Hyderabad, India;Uppsala University, Sweden
Venue:
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Year:
2007

Citing 12
Cited 7

Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
The cost of social agents

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A metalogic formalization of legal argumentation as game trees with defeasible reasoning

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Defeasible Protocols in Persuasion Dialogues

WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Modelling Defeasibility in Law: Logic or Procedure?

Fundamenta Informaticae - Deontic Logic in Computer Science
Strategic argumentation: a game theoretical investigation

Proceedings of the 11th international conference on Artificial intelligence and law
Formalising arguments about the burden of persuasion

Proceedings of the 11th international conference on Artificial intelligence and law
A rule-sceptic characterization of acceptable legal arguments

Proceedings of the 11th international conference on Artificial intelligence and law
Presumptions and Burdens of Proof

Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference

Propositional Clausal Defeasible Logic

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Settling on the Group's Goals: An n-Person Argumentation Game Approach

PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
An Asymmetric Protocol for Argumentation Games in Defeasible Logic

Agent Computing and Multi-Agent Systems
Strategic communication

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
On the relationship between Carneades and Defeasible Logic

Proceedings of the 13th International Conference on Artificial Intelligence and Law
A defeasible logic for clauses

AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
The process of reaching agreement in meaning negotiation

Transactions on Computational Collective Intelligence VII

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialogue games even with requirements more complex than existing formalisms for this kind of games. We parse the dialogue into defeasible rules with time of the dialogue as time of the rule. As the dialogue evolves we allow an agent to upgrade the strength of unchallenged rules. The proof procedures of [1] are used to determine the winner of a dialogue game.