Representation of formal dispute with astanding order

Artificial Intelligence and Law 8 (2-3):205-231 (2000)

Computational dialectics is concerned with the formal representation of argument and dispute. The field emerged from developments in philosophy, artificial intelligence and legal theory. Its goal is to suggestalgorithms, procedures and protocols to investigate the tenability of logical claims, on the basis of information in the form of rules and cases. Currently, the field slowlyconverges to the opinion that dispute is the most fair and effective way to investigate claims. The basic assumption of this field is that dispute is the most fair and effective way to investigate claims. The definition of a formal dispute varies throughout the literature, butis considered not to vary within one and the same logical system. In this paper it is shown that parts of the definition of a dispute may change within one logical system.To this end, the notion of partial protocol specification (PPS) is introduced. A PPS is a part of the definition of the protocol. A modification to the protocol, in the form of a PPS, can be put forward, disputed, established and incorporated as aneffective `point of order. The paper demonstrates the existence of self-undermining PPSs, it discusses the relevance of PPSs for dialectical models of legal argument and concludes with a description of how PPSs can be built into existing argumentation systems.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1023/A:1008304521924
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,238
Through your library

References found in this work BETA

Rationales and Argument Moves.R. P. Loui & Jeff Norman - 1995 - Artificial Intelligence and Law 3 (3):159-189.
Hard Cases: A Procedural Approach. [REVIEW]Jaap C. Hage, Ronald Leenes & Arno R. Lodder - 1993 - Artificial Intelligence and Law 2 (2):113-167.
Formal Systems of Dialogue Rules.Erik C. W. Krabbe - 1985 - Synthese 63 (3):295 - 328.

View all 8 references / Add more references

Citations of this work BETA

A Formal Model of Adjudication Dialogues.Henry Prakken - 2008 - Artificial Intelligence and Law 16 (3):305-328.
Dialectical Models in Artificial Intelligence and Law.Jaap Hage - 2000 - Artificial Intelligence and Law 8 (2-3):137-172.
The Open Agent Society: Retrospective and Prospective Views.Jeremy Pitt & Alexander Artikis - 2015 - Artificial Intelligence and Law 23 (3):241-270.

Add more citations

Similar books and articles


Added to PP index

Total views
40 ( #224,692 of 2,285,857 )

Recent downloads (6 months)
1 ( #834,432 of 2,285,857 )

How can I increase my downloads?


My notes

Sign in to use this feature