Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has played, and continues to play,...

Full description

Bibliographic Details
Other Authors: Bieger, Jordi (Editor), Goertzel, Ben (Editor), Potapov, Alexey (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2015, 2015
Edition:1st ed. 2015
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 05011nmm a2200433 u 4500
001 EB001075333
003 EBX01000000000000000837655
005 00000000000000.0
007 cr|||||||||||||||||||||
008 150804 ||| eng
020 |a 9783319213651 
100 1 |a Bieger, Jordi  |e [editor] 
245 0 0 |a Artificial General Intelligence  |h Elektronische Ressource  |b 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings  |c edited by Jordi Bieger, Ben Goertzel, Alexey Potapov 
250 |a 1st ed. 2015 
260 |a Cham  |b Springer International Publishing  |c 2015, 2015 
300 |a XII, 416 p. 92 illus  |b online resource 
505 0 |a Modeling Motivation in MicroPsi 2 -- Genetic Programming on Program Traces as an Inference Engine for Probabilistic Languages -- Scene Based Reasoning -- Anchoring Knowledge in Interaction: Towards a harmonic subsymbolic/symbolic framework and architecture of computational cognition -- Safe Baby AGI -- Observation, Communication and Intelligence in Agent-Based Systems -- Reffective Variants of Solomono Induction and AIXI -- Are there Deep Reasons Underlying the Pathologies of Today's Deep Learning Algorithms? -- Speculative Scientific Inference via Synergetic Combination of Probabilistic Logic and Evolutionary Pattern Recognition -- Stochastic Tasks: Difficulty and Levin Search -- Instrumental Properties of Social Testbeds -- Towards Human-Level Inductive Functional Programming -- Anytime Bounded Rationality -- Ultimate Intelligence Part I: Physical Completeness and Objectivity of Induction -- Towards Emotion in Sigma: From Appraisal to Attention --  
505 0 |a From Specialized Syntax to General Logic: The Case of Comparatives -- Decision-Making During Language Understanding by Intelligent Agents -- Plan Recovery in Reactive HTNs Using Symbolic Planning -- Optimization Framework with Minimum Description Length Principle for Probabilistic Programming -- Can Machines Learn Logics? -- Comparing Computer Models Solving Number Series Problems -- Emotional Concept Development -- The Cyber-Physical System Approach towards Artificial General Intelligence: The Problem of Verification -- Analysis of Types of Self-Improving Software -- On the Limits of Recursively Self-Improving AGI -- Godel Agents in a Scalable Synchronous Agent Framework 
505 0 |a Inferring human values for safe AGI design -- Two Attempts to Formalize Counter possible Reasoning in Deterministic Settings -- Bounded Cognitive Resources and Arbitrary Domains -- Using Localization and Factorization to Reduce the Complexity of Reinforcement Learning -- Towards Flexible Task Environments for Comprehensive Evaluation of Artificial Intelligent Systems & Automatic Learners -- Assumptions of Decision-Making Models in AGI -- Issues in Temporal and Causal Inference -- The Space of Possible Mind Designs.-A Definition of Happiness for Reinforcement Learning Agents -- Expression Graphs: Unifying Factor Graphs and Sum-Product Neworks -- Toward tractable universal induction through recursive program learning -- How can Cognitive Modeling Benefit from Ontologies? Evidence from the HCI Domain -- C-tests revisited: back and forth with complexity -- A New View on Grid Cells Beyond the Cognitive Map Hypothesis -- Programming languages and artificial general intelligence --  
653 |a Software engineering 
653 |a Software Engineering 
653 |a Artificial Intelligence 
653 |a Algorithms 
653 |a Formal Languages and Automata Theory 
653 |a Application software 
653 |a Machine theory 
653 |a Artificial intelligence 
653 |a Computer and Information Systems Applications 
653 |a Automated Pattern Recognition 
653 |a Pattern recognition systems 
700 1 |a Goertzel, Ben  |e [editor] 
700 1 |a Potapov, Alexey  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/978-3-319-21365-1 
856 4 0 |u https://doi.org/10.1007/978-3-319-21365-1?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has played, and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, original sense of the term of “artificial intelligence”. The conferences encourage interdisciplinary research based on different understandings of intelligence, and exploring different approaches. AGI research differs from the ordinary AI research by stressing on the versatility and wholeness of intelligence, and by carrying out the engineering practice according to an outline of a system comparable to the human mind in a certain sense