2,664 research outputs found
Arguments for Good Artificial Intelligence
Full text linkHow can we realize the grand dreams of Artificial Intelligence, without making our worst fears come true? Bart Verheij argues that we need to build machines that can participate in a constructive critical discussion, that tried-and-tested tool for good science, good politics and good family life. By developing such argumentation machines we can arrive at an artificial intelligence that provides good answers to our questions, has good reasons for its actions and makes good choices. In this text (presented in the original Dutch and in English translation), Bart Verheij leads us along the right mathematical foundations, Hitchcock's film `To Catch A Thief' and different traditions of legal reasoning. Bart Verheij predicts that by 2025 argumentation systems will have finally closed the long-standing gap between knowledge-based and data-driven artificial intelligence.The text is the transcription of Bart Verheij's inaugural lecture, read upon accepting the chair of Artificial Intelligence and Argumentation at the University of Groningen. He currently is head of the department of Artificial Intelligence in the Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence and serves as the president of the International Assocation of Artificial Intelligence and Law.The lecture was delivered on September 12, 2017, in the Aula of the Academiegebouw of the University of Groningen (Broerstraat 5, Groningen)
Arguments for Good Artificial Intelligence
Full text linkHow can we realize the grand dreams of Artificial Intelligence, without making our worst fears come true? Bart Verheij argues that we need to build machines that can participate in a constructive critical discussion, that tried-and-tested tool for good science, good politics and good family life. By developing such argumentation machines we can arrive at an artificial intelligence that provides good answers to our questions, has good reasons for its actions and makes good choices. In this text (presented in the original Dutch and in English translation), Bart Verheij leads us along the right mathematical foundations, Hitchcock's film `To Catch A Thief' and different traditions of legal reasoning. Bart Verheij predicts that by 2025 argumentation systems will have finally closed the long-standing gap between knowledge-based and data-driven artificial intelligence.The text is the transcription of Bart Verheij's inaugural lecture, read upon accepting the chair of Artificial Intelligence and Argumentation at the University of Groningen. He currently is head of the department of Artificial Intelligence in the Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence and serves as the president of the International Assocation of Artificial Intelligence and Law.The lecture was delivered on September 12, 2017, in the Aula of the Academiegebouw of the University of Groningen (Broerstraat 5, Groningen)
Arguments for Good Artificial Intelligence
Full text linkHow can we realize the grand dreams of Artificial Intelligence, without making our worst fears come true? Bart Verheij argues that we need to build machines that can participate in a constructive critical discussion, that tried-and-tested tool for good science, good politics and good family life. By developing such argumentation machines we can arrive at an artificial intelligence that provides good answers to our questions, has good reasons for its actions and makes good choices. In this text (presented in the original Dutch and in English translation), Bart Verheij leads us along the right mathematical foundations, Hitchcock's film `To Catch A Thief' and different traditions of legal reasoning. Bart Verheij predicts that by 2025 argumentation systems will have finally closed the long-standing gap between knowledge-based and data-driven artificial intelligence.The text is the transcription of Bart Verheij's inaugural lecture, read upon accepting the chair of Artificial Intelligence and Argumentation at the University of Groningen. He currently is head of the department of Artificial Intelligence in the Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence and serves as the president of the International Assocation of Artificial Intelligence and Law.The lecture was delivered on September 12, 2017, in the Aula of the Academiegebouw of the University of Groningen (Broerstraat 5, Groningen)
Arguments for Good Artificial Intelligence
Full text linkHow can we realize the grand dreams of Artificial Intelligence, without making our worst fears come true? Bart Verheij argues that we need to build machines that can participate in a constructive critical discussion, that tried-and-tested tool for good science, good politics and good family life. By developing such argumentation machines we can arrive at an artificial intelligence that provides good answers to our questions, has good reasons for its actions and makes good choices. In this text (presented in the original Dutch and in English translation), Bart Verheij leads us along the right mathematical foundations, Hitchcock's film `To Catch A Thief' and different traditions of legal reasoning. Bart Verheij predicts that by 2025 argumentation systems will have finally closed the long-standing gap between knowledge-based and data-driven artificial intelligence.The text is the transcription of Bart Verheij's inaugural lecture, read upon accepting the chair of Artificial Intelligence and Argumentation at the University of Groningen. He currently is head of the department of Artificial Intelligence in the Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence and serves as the president of the International Assocation of Artificial Intelligence and Law.The lecture was delivered on September 12, 2017, in the Aula of the Academiegebouw of the University of Groningen (Broerstraat 5, Groningen)
About the logical relations between cases and rules
No full textwww.ai.rug.nl/~verheij Abstract. The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedents followed. The separate modelling of these two reasoning patterns using logical techniques has recently seen considerable progress. About the logical links between the two less is known, although progress has already been made. This document focuses on such logical relations. The main question is: to what extent can the application of legislation and precedent adherence be considered as two sides of the same logical coin? Findings from the boundaries of logic and law will serve as a starting point.1 1
Evaluating Arguments Based on Toulmin's Scheme
No full textToulmin's scheme for the layout of arguments (1958) represents an influential tool for the analysis of arguments. The scheme enriches the traditional premises-conclusion model of arguments by distinguishing additional elements, like warrant, backing and rebuttal. The present paper contains a formal elaboration of Toulmin's scheme, and extends it with a treatment of the formal evaluation of Toulmin-style arguments, which Toulmin did not discuss at all. Arguments are evaluated in terms of a so-called dialectical interpretation of their assumptions. In such an interpretation, an argument's assumptions can be evaluated as defeated, e.g. when there is a defeating reason against the assumption. The present work builds on recent research on defeasible argumentation (cf. e.g. the work of Pollock, Reiter, Loui, Vreeswijk, Prakken, Hage and Dung). More specifically, the author's work on the dialectical logic DEFLOG and the argumentation tool ARGUMED serve as starting points.</p
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games:25 years later
Full text link@article{dung:aij95, author ="P. Dung", title=" and its fundamental role in non-monotonic reasoning, logic programming and
- …
