New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

ویرایش: 1 
نویسندگان: Mihoko Otake,  Setsuya Kurahashi,  Yuiko Ota,  Ken Satoh,  Daisuke Bekki (eds.)  
سری: Lecture Notes in Computer Science 10091 
ISBN (شابک) : 9783319509532, 9783319509525 
ناشر: Springer International Publishing 
سال نشر: 2017 
تعداد صفحات: 558 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 33 مگابایت 

قیمت کتاب (تومان) : 45,000



این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل کارگاه های JSAI-isAI 2015 LENLS 12، JURISIN 9، AAA 2015، HAT-MASH 2015، TSDAA 2015، ASD-HR 2015، و SKL برگزار شده است. در کاناگاوا، ژاپن، در نوامبر 2015.

39 مقاله منظم ارائه شده در این جلد به دقت بررسی و از 114 مورد ارسالی انتخاب شدند.

LENLS 12 (منطق و مهندسی معناشناسی زبان طبیعی) یک کارگاه بین المللی سالانه در مورد معناشناسی رسمی و عمل شناسی است که بر ذرات گفتمان متمرکز است. تفکیک؛ حقیقت؛ copredication محتوای بیانی؛ گرامر دسته بندی؛ معناشناسی نوع وابسته; حساب متوالی؛ و جنبه های مختلف عمل شناسی رسمی.

JURISIN 9 (Juris-Informatics) نهمین رویداد این مجموعه است. هدف از این کارگاه بحث در مورد موضوعات اساسی و کاربردی مانند حقوق، علوم اجتماعی، اطلاعات و فناوری هوشمند، منطق و فلسفه، از جمله حوزه متعارف "هوش مصنوعی و قانون" است.

AAA 2015 (استدلال برای توافق و تضمین) با هدف تعمیق درک متقابل و کاوش در زمینه تحقیقاتی جدید شامل محققان/متخصصین منطق رسمی و غیررسمی، هوش مصنوعی و مهندسی ایمنی است که بر روی توافق و تضمین از طریق استدلال کار می کنند.

HAT-MASH 2015 (سرویس Mashup فناوری سالمندی سالم، داده ها و افراد) یک انجمن برای بحث در مورد سؤالات تحقیقاتی مهم و چالش های عملی در حمایت از سالمندان سالم و مراقبت از سالمندان برای ترویج رویکردهای بین رشته ای فراهم می کند.

TSDAA 2015 (کارگاه آموزشی به موقع تجزیه و تحلیل داده های سری و کاربردهای آن) با هدف ارائه یک انجمن بین رشته ای برای بحث در مورد رویکردها و تکنیک های مختلف تجزیه و تحلیل داده های سری زمانی و اجرای آنها در برنامه های مختلف زندگی واقعی است.

ASD-HR 2015 (اختلالات طیف اوتیسم با استفاده از یک ربات انسان نما) مطالعاتی را در زمینه تحقیقات بین رشته ای از جمله جنبه های مهندسی و پزشکی ارائه می دهد.

SKL 2015 (Skill Science) مبانی نظری علم مهارت و همچنین مسائل عملی و مهندسی را مورد بحث قرار می دهد.

p>

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015.

The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions.

LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics.

JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area.

AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument.

HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches.

TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications.

ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides.

SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.

Front Matter....Pages I-XVI
Front Matter....Pages 1-2
Towards a Probabilistic Analysis for Conditionals and Unconditionals....Pages 3-14
What Do Proper Names Refer to?....Pages 15-26
Rhetorical Structure and QUDs....Pages 27-40
An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese....Pages 41-57
Applicative Abstract Categorial Grammars in Full Swing....Pages 58-65
Scope Parallelism in Coordination in Dependent Type Semantics....Pages 66-78
Discourse Particles as CCP-modifiers: German doch and ja as Context Filters....Pages 79-92
Tracking Down Disjunction....Pages 93-108
The Projection of Not-at-issue Meaning via Modal Support: The Meaning and Use of the Japanese Counter-Expectational Adverbs....Pages 109-121
Evaluative Predicates and Evaluative Uses of Ordinary Predicates....Pages 122-137
Strong Permission in Prescriptive Causal Models....Pages 138-150
Truth as a Logical Connective....Pages 151-165
Front Matter....Pages 166-182
Abductive Logic Programming for Normative Reasoning and Ontologies....Pages 183-185
A Belief Revision Technique to Model Civil Code Updates....Pages 187-203
Combining Input/Output Logic and Reification for Representing Real-World Obligations....Pages 204-216
Using Ontologies to Model Data Protection Requirements in Workflows....Pages 217-232
Utilization of Multi-word Expressions to Improve Statistical Machine Translation of Statutory Sentences....Pages 233-248
Argumentation Support Tool with Reliability-Based Argumentation Framework....Pages 249-264
Applying a Convolutional Neural Network to Legal Question Answering....Pages 265-281
Front Matter....Pages 282-294
Lexical-Morphological Modeling for Legal Text Analysis....Pages 183-185
Front Matter....Pages 295-311
On the Issue of Argumentation and Informedness....Pages 313-315
On the Interpretation of Assurance Case Arguments....Pages 317-330
Learning Argument Acceptability from Abstract Argumentation Frameworks....Pages 331-347
Front Matter....Pages 348-362
Designing Intelligent Sleep Analysis Systems for Automated Contextual Exploration on Personal Sleep-Tracking Data....Pages 363-365
Axis Visualizer: Enjoy Core Torsion and Be Healthy for Health Promotion Community Support....Pages 367-379
Front Matter....Pages 380-392
A Comparative Study of Similarity Measures for Time Series Classification....Pages 393-395
Extracting Propagation Patterns from Bacterial Culture Data in Medical Facility....Pages 397-408
Real-Time Anomaly Detection of Continuously Monitored Periodic Bio-Signals Like ECG....Pages 409-417
Aggregating and Analyzing Articles and Comments on a News Website....Pages 418-427
Front Matter....Pages 428-441
Positive Bias of Gaze-Following to Android Robot in Adolescents with Autism Spectrum Disorders....Pages 443-445
Feasibility of Collaborative Learning and Work Between Robots and Children with Autism Spectrum Disorders....Pages 447-453
Teachers’ Impressions on Robots for Therapeutic Applications....Pages 454-461
An Intervention for Children with Social Anxiety and Autism Spectrum Disorders Using an Android Robot....Pages 462-469
Usefulness of Animal Type Robot Assisted Therapy for Autism Spectrum Disorder in the Child and Adolescent Psychiatric Ward....Pages 470-477
Front Matter....Pages 478-482
The Trend in the Frontal Area Activity Shift with Embodied Knowledge Acquisition During Imitation Learning of Assembly Work....Pages 483-484
The Cognitive Role of Analogical Abduction in Skill Acquisition....Pages 485-498
Identifying Context-Dependent Modes of Reading....Pages 499-513
Whole-Body Coordination Skill for Dynamic Balancing on a Slackline....Pages 514-527
Back Matter....Pages 528-546
....Pages 547-548