메뉴 건너뛰기




Volumn 216, Issue , 2010, Pages 51-62

Goal selection in argumentation processes: A formal model of abduction in argument evaluation structures

Author keywords

Abduction; Argument Evaluation; Argumentation; Dialogues; Heuristics; Process Models; Proof Standards; Relevance

Indexed keywords

FORMAL LOGIC;

EID: 78049234824     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-619-5-51     Document Type: Conference Paper
Times cited : (12)

References (20)
  • 1
    • 85026201166 scopus 로고
    • Rittel and Melvin M. Webber. Dilemmas in a general theory of planning
    • Horst W. J. Rittel and Melvin M. Webber. Dilemmas in a general theory of planning. Policy Science, 4:155-169, 1973.
    • (1973) Policy Science , vol.4 , pp. 155-169
    • Horst, W.J.1
  • 2
    • 0031999134 scopus 로고    scopus 로고
    • Process and policy: Resource-bounded non-demonstrative reasoning
    • Ronald P. Loui. Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence, 14:1-38, 1998.
    • (1998) Computational Intelligence , vol.14 , pp. 1-38
    • Loui, R.P.1
  • 4
    • 0030233587 scopus 로고    scopus 로고
    • A model of argumentation and its application to legal reasoning
    • Kathleen Freeman and Arthur M. Farley. A model of argumentation and its application to legal reasoning. Artificial Intelligence and Law, 4 (3-4): 163-197, 1996.
    • (1996) Artificial Intelligence and Law , vol.4 , Issue.3-4 , pp. 163-197
    • Freeman, K.1    Farley, A.M.2
  • 5
    • 34548036229 scopus 로고    scopus 로고
    • The Carneades model of argument and burden of proof
    • Thomas F. Gordon, Henry Prakken, and Douglas Walton. The Carneades model of argument and burden of proof. Artificial Intelligence, 171 (10-11): 875-896, 2007.
    • (2007) Artificial Intelligence , vol.171 , Issue.10-11 , pp. 875-896
    • Gordon, T.F.1    Prakken, H.2    Walton, D.3
  • 6
    • 84885823948 scopus 로고    scopus 로고
    • Proof burdens and standards
    • Iyad Rahwan and Guillermo Simari, editors, Springer-Verlag, Berlin, Germany
    • Thomas F. Gordon and Douglas Walton. Proof burdens and standards. In Iyad Rahwan and Guillermo Simari, editors, Argumentation in Artificial Intelligence, pages 239-260. Springer-Verlag, Berlin, Germany, 2009.
    • (2009) Argumentation in Artificial Intelligence , pp. 239-260
    • Gordon, T.F.1    Walton, D.2
  • 7
    • 78049295081 scopus 로고    scopus 로고
    • Working on the argument pipeline: Through flow issues between natural language argument, instantiated arguments, and argumentation frameworks
    • Lisbon, Portugal, August, to appear
    • Adam Wyner, Tom van Engers, and Anthony Hunter. Working on the argument pipeline: Through flow issues between natural language argument, instantiated arguments, and argumentation frameworks. In Proceedings of the Workshop on Computational Models of Natural Argument, Lisbon, Portugal, August 2010. to appear.
    • (2010) Proceedings of the Workshop on Computational Models of Natural Argument
    • Wyner, A.1    Van Engers, T.2    Hunter, A.3
  • 8
    • 0041340842 scopus 로고    scopus 로고
    • Persuasion in practical argument using value-based argumentation frameworks
    • Trevor Bench-Capon. Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation, 3(3):429-448, 2003.
    • (2003) Journal of Logic and Computation , vol.13 , Issue.3 , pp. 429-448
    • Bench-Capon, T.1
  • 10
    • 85182294417 scopus 로고    scopus 로고
    • Goal selection in argumentation processes - A formal model of abduction in argument evaluation structures
    • Berlin, Germany
    • Stefan Ballnat and Thomas F. Gordon. Goal selection in argumentation processes - a formal model of abduction in argument evaluation structures. Technical report, Fraunhofer FOKUS, Berlin, Germany, 2010.
    • (2010) Technical Report, Fraunhofer FOKUS
    • Ballnat, S.1    Gordon, T.F.2
  • 12
    • 0022680851 scopus 로고
    • An assumption-based TMS
    • Johan de Kleer. An assumption-based TMS. Artificial Intelligence, 2(2):127-162, 1986.
    • (1986) Artificial Intelligence , vol.28 , Issue.2 , pp. 127-162
    • De Kleer, J.1
  • 13
    • 85156263055 scopus 로고
    • A general labeling algorithm for assumption-based truth maintenance
    • San Francisco, California, USA, Morgan Kaufmanns Publishers
    • J. De Kleer. A general labeling algorithm for assumption-based truth maintenance. In Proceedings of the 7th national conference on artificial intelligence, pages 188-192, San Francisco, California, USA, 1988. Morgan Kaufmanns Publishers.
    • (1988) Proceedings of the 7th National Conference on Artificial Intelligence , pp. 188-192
    • De Kleer, J.1
  • 14
    • 0022677462 scopus 로고
    • Problem solving with the ATMS
    • Johann De Kleer. Problem solving with the ATMS. Artificial Intelligence, 2(2):197-224, 1986.
    • (1986) Artificial Intelligence , vol.28 , Issue.2 , pp. 197-224
    • De Kleer, J.1
  • 16
    • 85022056760 scopus 로고
    • Gordon. Issue spotting in a system for searching interpretation spaces
    • Association for Computing Machinery ACM, New York
    • Thomas F. Gordon. Issue spotting in a system for searching interpretation spaces. In Proceedings of the Second International Conference on Artificial Intelligence and Law, pages 157-164. Association for Computing Machinery (ACM), New York, 1989.
    • (1989) Proceedings of the Second International Conference on Artificial Intelligence and Law , pp. 157-164
    • Thomas, F.1
  • 19
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • June
    • Carlos E. Alchourron, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 2(2):510-530, June 1985.
    • (1985) The Journal of Symbolic Logic , vol.50 , Issue.2 , pp. 510-530
    • Alchourron, C.E.1    Gärdenfors, P.2    Makinson, D.3
  • 20
    • 84875943707 scopus 로고    scopus 로고
    • Heuristics in argumentation: A game-theoretical investigation
    • Philippe Besnard, Sylvie Doutre, and Anthony Hunter, editors
    • Régis Riverert, Henry Prakken, Antonio Rotolo, and Giovanni Sartor. Heuristics in argumentation: A game-theoretical investigation. In Philippe Besnard, Sylvie Doutre, and Anthony Hunter, editors, Compuational Models of Argument, Proceedings of COMMA 2008, pages 324-335, 2008.
    • (2008) Compuational Models of Argument, Proceedings of COMMA 2008 , pp. 324-335
    • Riverert, R.1    Prakken, H.2    Rotolo, A.3    Sartor, G.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.