Artificial intelligence : 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020, Proceedings.: 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020, Proceedings. ([2020])
- Record Type:
- Book
- Title:
- Artificial intelligence : 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020, Proceedings.: 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020, Proceedings. ([2020])
- Main Title:
- Artificial intelligence : 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020, Proceedings.
- Other Names:
- Kuznetsov, Sergei O
Panov, Aleksandr I
Yakovlev, Konstantin S - Contents:
- Intro -- Preface -- Organization -- Contents -- Automated Reasoning and Data Mining -- Axiomatization of Classes of Domain Cases Based on FCA -- 1 Introduction -- 2 Preliminaries -- 2.1 Domain Cases -- 2.2 Formal Contexts of Axiomatizable Classes -- 2.3 Relatively Axiomatizable Classes -- 3 Axiomatization of Classes of Domain Cases -- 3.1 Sentences Permissible for Models -- 3.2 Theories of Classes of Models Having Different Signatures -- 3.3 Axiomatizable Classes and Decidability of Theories -- 4 Conclusion -- References The Combined Method of Automated Knowledge Acquisition from Various Sources: The Features of Development and Experimental Research of the Temporal Version -- 1 Introduction -- 2 The Evolution of the Combined Method of Knowledge Acquisition and Means of Its Implementation -- 3 Features of the Organization of Software Experiments Based on the Temporal Version of CMKA -- 3.1 General Organization of the Language Experiment -- 3.2 General Organization of Experiments with Temporal Database -- 3.3 Merging of Knowledge Field's Elements -- 4 Conclusion -- References Multi-agent Systems, Intelligent Robots and Behavior Planning -- Multi-agent Path Finding with Kinematic Constraints via Conflict Based Search -- 1 Introduction -- 2 Problem Statement -- 3 Suggested Approach -- 3.1 Conflict Based Search Algorithm -- 3.2 Continuous Conflict Based Search Algorithm -- 3.3 Safe Interval Path Planning with Rotations -- 3.4 Implementation Details -- 4 Experimental Evaluation --Intro -- Preface -- Organization -- Contents -- Automated Reasoning and Data Mining -- Axiomatization of Classes of Domain Cases Based on FCA -- 1 Introduction -- 2 Preliminaries -- 2.1 Domain Cases -- 2.2 Formal Contexts of Axiomatizable Classes -- 2.3 Relatively Axiomatizable Classes -- 3 Axiomatization of Classes of Domain Cases -- 3.1 Sentences Permissible for Models -- 3.2 Theories of Classes of Models Having Different Signatures -- 3.3 Axiomatizable Classes and Decidability of Theories -- 4 Conclusion -- References The Combined Method of Automated Knowledge Acquisition from Various Sources: The Features of Development and Experimental Research of the Temporal Version -- 1 Introduction -- 2 The Evolution of the Combined Method of Knowledge Acquisition and Means of Its Implementation -- 3 Features of the Organization of Software Experiments Based on the Temporal Version of CMKA -- 3.1 General Organization of the Language Experiment -- 3.2 General Organization of Experiments with Temporal Database -- 3.3 Merging of Knowledge Field's Elements -- 4 Conclusion -- References Multi-agent Systems, Intelligent Robots and Behavior Planning -- Multi-agent Path Finding with Kinematic Constraints via Conflict Based Search -- 1 Introduction -- 2 Problem Statement -- 3 Suggested Approach -- 3.1 Conflict Based Search Algorithm -- 3.2 Continuous Conflict Based Search Algorithm -- 3.3 Safe Interval Path Planning with Rotations -- 3.4 Implementation Details -- 4 Experimental Evaluation -- 4.1 CCBS vs CCBS-kc -- 4.2 AA-SIPP(m) vs CCBS-kc -- 4.3 Comparison of Heuristic Functions -- 5 Conclusion -- References Map-Merging Algorithms for Visual SLAM: Feasibility Study and Empirical Evaluation -- 1 Introduction -- 2 Related Work -- 2.1 vSLAM Algorithms -- 2.2 Map-Merging Algorithms -- 3 Problem Statement -- 4 Methods and Metrics Overview -- 5 Experimental Evaluation and Results -- 5.1 Setup -- 5.2 Results -- 6 Conclusion -- References -- Can a Robot Be a Moral Agent? -- 1 Introduction -- 2 A Moral Agent -- 3 Phenomena and Mechanisms -- 3.1 Emotions and Needs -- 3.2 Model of the World, "I" -- 3.3 Imitative Behavior -- 3.4 Empathy -- 3.5 Characteristic Properties of Moral Agents -- 4 Conclusion … (more)
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2020
- Extent:
- 1 online resource
- Subjects:
- 006.3
Artificial intelligence -- Congresses
Computer science
Computers
Natural language processing (Computer science)
Information technology: general issues
Computer science
Natural language & machine translation
Computer networking & communications
Artificial intelligence
Computers -- Social Aspects -- Human-Computer Interaction
Computers -- Computer Science
Computers -- Speech & Audio Processing
Computers -- Online Services -- General
Computers -- Intelligence (AI) & Semantics
Electronic books - Languages:
- English
- ISBNs:
- 9783030595357
3030595358 - Notes:
- Note: References -- Navigating Autonomous Vehicle at the Road Intersection Simulator with Reinforcement Learning -- 1 Introduction -- 2 Related Works -- 3 Background -- 4 Environment Description -- 4.1 Technical Details -- 4.2 Actions -- 4.3 State -- 4.4 Reward Function -- 4.5 Environment Performance -- 5 Experiments -- 5.1 Results for Tracks Without Bots and States Represented as Vector -- 5.2 Results for Tracks Without Bots and States Represented as Image -- 5.3 Influence of Different Sets of Vectors Features on the Convergence of the Algorithms -- 5.4 Results for Tracks with Bots -- 6 Conclusion.
Note: References. - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.554837
- Ingest File:
- 03_176.xml