Theorie and Applications of Formal Argumentation: First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

این کتاب مجموعه مقالات داوری کامل اولین کارگاه بین المللی نظریه و کاربردهای استدلال رسمی، TAFA 2011 است که در بارسلونا، اسپانیا، در جولی 2011، به عنوان کارگاه آموزشی در IJCAI 2011، بیست و دومین کنفرانس بین المللی مشترک در مورد هوش مصنوعی. 9 مقاله کامل اصلاح شده ارائه شده همراه با 8 مقاله پوستر اصلاح شده با دقت در طی دو دور بررسی و بهبود از 32 ارسال اولیه انتخاب شدند. این کارگاه به ترویج و تقویت استدلال به عنوان یک پارادایم هوش مصنوعی قابل دوام با کاربردهای گسترده می‌پردازد و یک انجمن برای توسعه بیشتر ایده‌ها و شروع همکاری‌های جدید و نوآورانه فراهم می‌کند. این مقالات موضوعات زیر را پوشش می دهد: ویژگی های مدل های رسمی استدلال. نمونه هایی از چارچوب های استدلال انتزاعی؛ روابط بین چارچوب های استدلال مختلف؛ کاربردهای عملی مدل های رسمی استدلال؛ استدلال و سایر تکنیک های هوش مصنوعی؛ ارزیابی مدل‌های رسمی استدلال؛ اعتبار سنجی و ارزیابی کاربردهای استدلال.

This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.