دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Yukiko Nakano, Ken Satoh, Daisuke Bekki (eds.) سری: Lecture Notes in Computer Science 8417 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783319100609, 9783319100616 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 382 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
کلمات کلیدی مربوط به کتاب مرزهای جدید در هوش مصنوعی: کارگاه های آموزشی JSAI-isAI 2013 ، LENLS ، JURISIN ، MiMI ، AAA و DDS ، کاناگاوا ، ژاپن ، 27 تا 28 اکتبر 2013 ، مقاله های منتخب اصلاح شده: هوش مصنوعی (شامل رباتیک)، ذخیرهسازی و بازیابی اطلاعات، کاربردهای سیستمهای اطلاعاتی (شامل اینترنت)، دادهکاوی و کشف دانش، منطق ریاضی و زبانهای رسمی، برنامه کامپیوتری. در اداری
در صورت تبدیل فایل کتاب New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مرزهای جدید در هوش مصنوعی: کارگاه های آموزشی JSAI-isAI 2013 ، LENLS ، JURISIN ، MiMI ، AAA و DDS ، کاناگاوا ، ژاپن ، 27 تا 28 اکتبر 2013 ، مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل کارگاه های JSAI-isAI 2013 LENLS، JURISIN، MiMI، AAA، و DDS است که ابزار در اکتبر 2013 در ژاپن برگزار شد. 28 مشارکت در این جلد به دقت بررسی و از بین 48 مورد ارسالی انتخاب شدند. LENLS (منطق و مهندسی معناشناسی زبان طبیعی) یک کارگاه بین المللی سالانه درباره معناشناسی رسمی و عمل شناسی است. LENLS10 دهمین رویداد این مجموعه بود و بر جنبههای رسمی و نظری زبان طبیعی تمرکز داشت. JURISIN (Juris-Informatics) 2013 هفتمین رویداد این مجموعه بود. هدف از این کارگاه، بحث در مورد موضوعات اساسی و کاربردی برای انفورماتیک حقوقی، گرد هم آوردن کارشناسانی از زمینه های مختلف مرتبط از جمله حقوق، علوم اجتماعی، اطلاعات و فناوری هوشمند، منطق و فلسفه (از جمله حوزه هوش مصنوعی و حقوق) بود. MiMI (Multimodality in Multiparty Interaction) 2013 موضوعاتی مانند مطالعات تعاملی، مطالعات ارتباطی، تجزیه و تحلیل مکالمه و مطالعات محل کار و همچنین کاربردهای آنها در سایر زمینه های تحقیقاتی را پوشش می دهد. AAA (استدلال توافق و اطمینان) 2013 بر مبانی نظری استدلال در هوش مصنوعی و کاربرد استدلال در زمینه های مختلف مانند تشکیل توافق و تضمین تمرکز داشت. DDS (گسستهسازی و تقسیمبندی دادهها برای کشف دانش) در سال 2013 روشهای تقسیمبندی را برای انواع مختلف دادهها، مانند نمودارها، درختان، رشتهها و دادههای پیوسته و کاربردهای آنها در حوزههای یادگیری ماشین و کشف دانش مورد بحث قرار داد.
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics. LENLS10 was the tenth event in the series, and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) 2013 was the seventh event in the series. The purpose of this workshop was to discuss fundamental and practical issues for jurisinformatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic,and philosophy (including the area of AI and law). MiMI (Multimodality in Multiparty Interaction) 2013 covers topics as follows interaction studies, communication studies, conversation analysis, and workplace studies, as well as their applications in other research fields. AAA (Argument for Agreement and Assurance) 2013 focused on the theoretical foundations of argumentation in AI, and the application of argumentation to various fields such as agreement formation and assurance. DDS (Data Discretization and Segmentation for Knowledge Discovery) 2013 discussed segmentation methods for various types of data, such as graphs, trees, strings, and continuous data, and their applications in the areas of Machine Learning and Knowledge Discovery.
Front Matter....Pages I-XIX
Front Matter....Pages 1-1
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars....Pages 3-16
Semantic Similarity: Foundations....Pages 17-41
World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts....Pages 42-50
Hypersequent Calculi for Modal Logics Extending S4....Pages 51-68
Discourse-Level Politeness and Implicature....Pages 69-81
Bare Plurals in the Left Periphery in German and Italian....Pages 82-97
Analyzing Speech Acts Based on Dynamic Normative Logic....Pages 98-114
Constructive Generalized Quantifiers Revisited....Pages 115-124
Argumentative Insights from an Opinion Classification Task on a French Corpus....Pages 125-140
Exhaustivity Through the Maxim of Relation....Pages 141-153
First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences....Pages 154-164
Front Matter....Pages 165-165
Requirements of Legal Knowledge Management Systems to Aid Normative Reasoning in Specialist Domains....Pages 167-182
ArgPROLEG: A Normative Framework for the JUF Theory....Pages 183-198
Answering Yes/No Questions in Legal Bar Exams....Pages 199-213
Answering Legal Questions by Mining Reference Information....Pages 214-229
Belief Re-Revision in Chivalry Case....Pages 230-245
Front Matter....Pages 247-247
How Do We Talk in Table Cooking?: Overlaps and Silence Appearing in Embodied Interaction....Pages 249-266
Grounding a Sociable Robot’s Movements in Multimodal, Situational Engagements....Pages 267-281
Front Matter....Pages 283-283
Abduction in Argumentation Frameworks and Its Use in Debate Games....Pages 285-303
Mechanized Support for Assurance Case Argumentation....Pages 304-318
Front Matter....Pages 319-319
Agreement Subtree Mapping Kernel for Phylogenetic Trees....Pages 321-336
A Comprehensive Study of Tree Kernels....Pages 337-351
Outliers on Concept Lattices....Pages 352-368
Back Matter....Pages 369-369