دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات محاسباتی ویرایش: نویسندگان: P.E. Dunne and T.J.M. Bench-Capon, Editors سری: Frontiers in Artificial Intelligence and Applications 144 ISBN (شابک) : 9781586036522, 1586036521 ناشر: IOS Press سال نشر: 2006 تعداد صفحات: 353 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Computational Models of Argument: Proceedings of COMMA 2006 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدلهای محاسباتی استدلال: مجموعه مقالات COMMA 2006 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
استدلال از مطالعه اولیه خود عمدتاً توسط فیلسوفان تکامل یافته است تا در ده سال گذشته به عنوان یک زیرشاخه مهم هوش مصنوعی ظهور کند. از جمله کمکهای قابل توجه حاصل از این امر، رویکردهایی به مدلسازی و تحلیل استدلال انکارناپذیر، مبانی رسمی برای فرآیندهای مذاکره و گفتگو در سیستمهای چندعاملی، و استفاده از نظریه استدلال در برنامههای کاربردی هوش مصنوعی است که ماهیت آنها از طریق منطقهای سنتی به بهترین شکل توصیف نمیشود، به عنوان مثال. استدلال حقوقی، ارزیابی باورهای متضاد، و غیره. فرآیند تفسیر و بهرهبرداری از روشهای کلاسیک نظریه استدلال در شرایط محاسباتی مؤثر، منجر به تبادل گسترده ایدهها در میان محققان رشتههایی مانند فلسفه، زبانشناسی، هوش مصنوعی و اقتصاد شده است. در حالی که کار در سالهای اخیر برای تثبیت مشارکتهای متنوع در این زمینه بسیار انجام شده است، بسیاری از نگرانیهای جدید شناسایی شدهاند و اساس تحقیقات فعلی را تشکیل میدهند. مقالات این جلد، که به عنوان بخشی از اولین کنفرانس بین المللی مدل محاسباتی آرگومان ها (COMMA) در سپتامبر 2006 ارائه شده است، مروری ارزشمند از مسائل و نگرانی های تحقیقاتی جاری در این زمینه ارائه می دهد.
Argumentation has evolved from its original study primarily by philosophers to emerge in the last ten years as an important sub-discipline of Artificial Intelligence. Among the significant contributions resulting from this have been approaches to modeling and analysis of defeasible reasoning, formal bases for negotiation and dialogue processes in multiagent systems, and the use of argumentation theory in AI applications whose nature is not best described through traditional logics, e.g. legal reasoning, evaluation of conflicting beliefs, etc. The process of interpreting and exploiting classical treatments of Argumentation Theory in effective computational terms has led to a rich interchange of ideas among researchers from disciplines such as Philosophy, Linguistics, AI and Economics. While work over recent years has done much to consolidate diverse contributions to the field, many new concerns have been identified and form the basis of current research. The papers in this volume, presented as part of the 1st International Conference on Computational Model of Arguments (COMMA) in September 2006, give a valuable overview of on-going research issues and concerns within this field.
Title page......Page 2
Preface......Page 6
Organisation......Page 7
Contents......Page 8
Argument in Agent Systems......Page 12
Towards Representing and Querying Arguments on the Semantic Web......Page 14
Building Agents that Plan and Argue in a Social Context......Page 26
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications......Page 38
An Application of Formal Argumentation: Fusing Bayes Nets in MAS......Page 44
Applications......Page 56
Value-Based Argumentation for Democratic Decision Support......Page 58
Argument Based Machine Learning in a Medical Domain......Page 70
CBR and Argument Schemes for Collaborative Decision Making......Page 82
Computational Properties of Argument......Page 94
Complexity Properties of Restricted Abstract Argument Systems......Page 96
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments......Page 108
An Algorithm to Compute Minimally Grounded and Admissible Defence Sets in Argument Systems......Page 120
Semi-Stable Semantics......Page 132
Argumentation Frameworks and Schemes I......Page 142
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas......Page 144
A Dialectic Procedure for Sceptical, Assumption-Based Argumentation......Page 156
Evaluation and Comparison Criteria for Extension-Based Argumentation Semantics......Page 168
Argumentation Tools......Page 180
Translating Wigmore Diagrams......Page 182
First Steps Towards the Automatic Construction of Argument-Diagrams from Real Discussions......Page 194
The Carneades Argumentation Framework......Page 206
Pierson vs. Post Revisited......Page 219
Reasoning About Action......Page 232
Argumentation and Persuasion in the Cognitive Coherence Theory......Page 234
Knowing when to Bargain......Page 246
Justifying Actions by Accruing Arguments......Page 258
Argumentation Frameworks and Schemes II......Page 270
Handling Controversial Arguments in Bipolar Argumentation Systems......Page 272
On Acceptability in Abstract Argumentation Frameworks with an Extended Defeat Relation......Page 284
Automating Argumentation for Deliberation in Cases of Conflict of Interest......Page 290
The Logic of Multiple-Valued Argumentation and Its Applications to Web Technology......Page 302
Value Based Argumentation in Hierarchical Argumentation Frameworks......Page 308
Dialogue and Decision......Page 320
Combining Sceptical Epistemic Reasoning with Credulous Practical Reasoning......Page 322
Multi-Agent Agreements About Actions Through Argumentation......Page 334
Suspicion of Hidden Agenda in Persuasive Argument......Page 340
Author Index......Page 352