(Enter summary)
Abstract: This paper investigates the appropriateness of formal dialectics as a basis for non-monotonic reasoning and defeasible reasoning that takes computational limits seriously. Rules that can come into conflict should be regarded as policies, which are inputs to deliberative processes. Dialectical protocols are appropriate for such deliberations when resources are bounded and search is serial. AI, it is claimed here, is now perfectly positioned to correct many misconceptions about reasoning that... (Update)
Context of citations to this paper: More
.... the Defender attempts to establish a particular argument in the face of counterarguments advanced by the Challenger, see e.g. [10, 21, 23, 26, 33]. In [34] descriptions of games Two Party Immediate Response Disputes ( TPI disputes) are presented for Credulous and...
.... In the last few years the relevance of argumentation theory to capture negotiation and its protocols has been argued (cf. for example [29, 19]) However, in [14, 15] a close connection between argumentation theory and Defeasible Logic was established, and in [2, 3] it was...
Cited by: More
Preferential Defeasibility: Utility in Defeasible Logic.. - Tohme, Simari (2004)
(Correct)
Formalizing Robert's Rules of Order. - An Experiment In
(Correct)
A Formal Approach to Protocols and Strategies for.. - Governatori, Dumas, .. (2001)
(Correct)
Active bibliography (related documents): More All
1.2: Position Paper - By Erik Krabbe
(Correct)
1.0: Analogy, Decision, And Theory-Formation As Defeasible Reasoning - Loui (1993)
(Correct)
0.7: Modelling Reasoning with Precedents in a Formal Dialogue Game - Prakken, Sartor (1998)
(Correct)
Similar documents based on text: More All
0.3: Defeasible Dialectics: A Controversy-Oriented Approach towards.. - Vreeswijk (1993)
(Correct)
0.2: Representation of Formal Dispute with a Standing Order - Vreeswijk (1996)
(Correct)
0.2: Logical Models of Argument - Chesñevar, Maguitman, Loui (2000)
(Correct)
Related documents from co-citation: More All
16: the acceptability of arguments and its fundamental role in nonmonotonic reasonin..
- Dung - 1995
13: Logical tools for modelling legal argument (context) - Prakken - 1993
13: Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge (context) - Rescher - 1977
BibTeX entry: (Update)
Loui, R.P. 1993. Process and policy: resource--bounded non--demonstrative reasoning. http://citeseer.ist.psu.edu/loui93process.html More
@article{ loui98process,
author = "Ronald Prescott Loui",
title = "Process and Policy: Resource-Bounded Nondemonstrative Reasoning",
journal = "Computational Intelligence",
volume = "14",
pages = "1-38",
year = "1998",
url = "citeseer.ist.psu.edu/loui93process.html" }
Citations (may not include all citations):
850
A logic for default reasoning (context) - Reiter - 1980 ACM DBLP
334
A truth maintenance system (context) - Doyle - 1980 ACM DBLP
253
A logical framework for default reasoning (context) - Poole - 1988 ACM DBLP
161
A logic of implicit and explicit belief (context) - Levesque - 1984 DBLP
107
Mathematics of Inheritance Systems (context) - Touretzky - 1986
93
Defeasible reasoning (context) - Pollock - 1987 DBLP
75
A mathematical treatment of defeasible reasoning and its imp.. (context) - Simari, Loui - 1992 ACM DBLP
66
A fast Monte-Carlo test for primality (context) - Solovay, Strassen - 1977 DBLP
65
the comparison of theories: preferring the most specific exp.. (context) - Poole - 1985
61
Enterprise of Knowledge (context) - Levi - 1980
60
Models of Bounded Rationality (context) - Simon - 1982
56
Preferential semantics for goals
- Wellman, Doyle - 1991 DBLP
55
The Uses of Argument (context) - Toulmin - 1958
50
Probabilistic semantics for nonmonotonic reasoning (context) - Pearl - 1991 ACM
41
Abstract argumentation systems (context) - Vreeswijk - 1991 ACM DBLP
36
How to reason defeasibly (context) - Pollock - 1992 ACM DBLP
27
Conjectures and Refutations (context) - Popper - 1963
17
Defeasible reasoning and decision support systems (context) - Nute - 1988
16
Constructive belief and rational representation
- Doyle - 1989 ACM DBLP
13
A tool in modelling disagreement in law: preferring the most.. (context) - Prakken - 1991 DBLP
12
Mathematical models of dialogue (context) - Hamblin - 1971
9
Knowledge and Justification (context) - Pollock - 1974
9
The Concept of Law (context) - Hart - 1961
8
A theorem-prover for prioritized circumscription
- Baker, Ginsberg - 1989
8
Adversary arguments and the logic of personal attacks (context) - Flowers, McGuire et al. - 1982
7
The Design of Inquiring Systems (context) - Churchman - 1971
7
Nomic Probability and The Foundation of Induction (context) - Pollock - 1990
6
A Theory of Legal Argumentation (context) - Alexy - 1989
6
Four dialogue systems (context) - MacKenzie - 1990
6
Pushing Toulmin too far: learning from an argument represent..
- Newman, Marshall - 1992
5
An argumentation framework in default logic (context) - Prakken - 1992 DBLP
5
Defining salience in case-based arguments (context) - Ashley - 1989 DBLP
5
Languages and designs for probability judgement (context) - Shafer, Tversky - 1985
4
Plausible Reasoning (context) - Rescher - 1976 ACM DBLP
4
Arithmetik und Logik als Spiele (context) - Lorenz - 1961
3
Strategies for contributing to collaborative arguments (context) - Cavalli-Sforza, Lesgold et al. - 1992
3
Generating dialectical examples automatically (context) - Ashley, Aleven - 1992 DBLP
2
The dialectics of logic (context) - MacKenzie - 1981
2
A clash of intuitions (context) - Touretzky, Horty et al. - 1987
2
Bounded rationality (context) - March - 1986
2
Question-Reply Argumentation (context) - Walton - 1989
2
Understanding Editorial Text (context) - Alvarado - 1990 ACM
2
From Axiom to Dialogue (context) - Barth, Krabbe - 1982
2
On Keynes's Method (context) - Carabelli - 1981
2
A theory of moral reasoning (context) - Pollock - 1986
2
The foundations of psychology: a logico-computational inquir..
- Doyle - 1991
2
A Matter of Principle (context) - Dworkin - 1985
2
Decision by Debate (context) - Ehninger, Brockriede - 1978
2
Memory, reason, and time: the step-logic approach (context) - Elgot-Drapkin, Miller et al. - 1991
2
Formal systems of dialogue rules (context) - Krabbe - 1985
2
An argument game (context) - Loui, Chen - 1992
1
The logic of legal rules and obligation (context) - Cullison - 1981
1
A Brunswik lens model of dialectical inquiring systems (context) - Mitroff - 1974
1
the structure of dialectical reasoning in the social and pol.. (context) - Mitroff, Mason - 1982
1
Policy as argument: a logic for ill-structured decision prob.. (context) - Mitroff, Mason et al. - 1982
1
The burden of proof (context) - Brown - 1970
1
Konzepte der Dialektik (context) - Becker, Essler - 1981
1
AAAI Spring Symposium on Argument and Belief (context) - Alvarado - 1991
1
New Aristotle Reader (context) - Ackrill - 1987
1
Collaborating on arguments and explanation (context) - Cavalli-Sforza, Moore - 1992
1
New directions in the logic of dialogue (context) - Walton - 1985
1
doctoral dissertation (context) - for, Action - 1980
1
Logical Dialogue-Games and Fallacies (context) - Walton - 1984
1
A new field (context) - Barth - 1985
1
Probability and Opinion: A Study in the Medieval Presupposit.. (context) - Byrne - 1968
1
Review of A. Philipov's logic and dialectic in the Soviet Un.. (context) - Church, Kline - 1958
1
A dialectical approach to strategic planning (context) - Mason - 1969
1
Defeasible dialectics (context) - Vreeswijk - 1991
1
The Logic of Choice: An Investigation of The Concepts of Rul.. (context) - Gottlieb - 1968
1
Aquanet: a hypertext tool to hold your knowledge in place (context) - Policy, Reasoning et al. - 1991 DBLP
1
the logic of the `internal logic' of law (context) - Hall - 1984
1
The Essentials of Argumentation (context) - MacEwan - 1900
1
Dialogical foundation of logical calculi (context) - Lorenzen - 1987
1
Rules versus theorems (context) - Lorenz - 1973
1
Computing Specificity (context) - Loui, Norman et al. - 1993
1
Dialectics and specificity: conditioning in logic-based hypo..
- Poole - 1990
1
a principle of contradiction in normative logic and jurispru.. (context) - Schlink - 1971
1
An alternative logical framework for dialectical reasoning i.. (context) - Sabre - 1991
1
Dialectical logic, semantics, and meta-mathematics (context) - Routley - 1979
1
SUNY Albany (context) - Rescher - 1977
1
Norms and logic (context) - Bulygin - 1985
1
From Logic to Rhetoric (context) - Meyer - 1986
1
The language and logic of law (context) - Haynes - 1981
1
Formale Dialektik (context) - Hegselmann - 1985
1
The Dialectics of Aristotle (context) - Hogan - 1955
1
Logic and Contemporary Rhetoric (context) - Kahane - 1971
1
The adequacy of material dialogue-games (context) - Krabbe - 1975
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://siesta.cs.wustl.edu/~loui/index.t.html): More
Analogy, Decision, And Theory-Formation As Defeasible Reasoning - Loui (1993)
(Correct)
Alchourrón's Defeasible Conditionals and Defeasible.. - Tohme, Loui (1996)
(Correct)
Dialogue and Deliberation - Ronald Loui (1998)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC