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

Front Matter....Pages I-XII
Front Matter....Pages 1-1
Modeling Motivation in MicroPsi 2....Pages 3-13
Genetic Programming on Program Traces as an Inference Engine for Probabilistic Languages....Pages 14-24
Scene Based Reasoning....Pages 25-34
Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition....Pages 35-45
Safe Baby AGI....Pages 46-49
Observation, Communication and Intelligence in Agent-Based Systems....Pages 50-59
Reflective Variants of Solomonoff Induction and AIXI....Pages 60-69
Are There Deep Reasons Underlying the Pathologies of Today’s Deep Learning Algorithms?....Pages 70-79
Speculative Scientific Inference via Synergetic Combination of Probabilistic Logic and Evolutionary Pattern Recognition....Pages 80-89
Stochastic Tasks: Difficulty and Levin Search....Pages 90-100
Instrumental Properties of Social Testbeds....Pages 101-110
Towards Human-Level Inductive Functional Programming....Pages 111-120
Anytime Bounded Rationality....Pages 121-130
Ultimate Intelligence Part I: Physical Completeness and Objectivity of Induction....Pages 131-141
Towards Emotion in Sigma: From Appraisal to Attention....Pages 142-151
Inferring Human Values for Safe AGI Design....Pages 152-155
Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings....Pages 156-165
Bounded Cognitive Resources and Arbitrary Domains....Pages 166-176
Using Localization and Factorization to Reduce the Complexity of Reinforcement Learning ....Pages 177-186
Towards Flexible Task Environments for Comprehensive Evaluation of Artificial Intelligent Systems and Automatic Learners....Pages 187-196
Front Matter....Pages 1-1
Assumptions of Decision-Making Models in AGI....Pages 197-207
Issues in Temporal and Causal Inference....Pages 208-217
The Space of Possible Mind Designs....Pages 218-227
Front Matter....Pages 229-229
A Definition of Happiness for Reinforcement Learning Agents....Pages 231-240
Expression Graphs....Pages 241-250
Toward Tractable Universal Induction Through Recursive Program Learning....Pages 251-260
How Can Cognitive Modeling Benefit from Ontologies? Evidence from the HCI Domain....Pages 261-271
C-Tests Revisited: Back and Forth with Complexity....Pages 272-282
A New View on Grid Cells Beyond the Cognitive Map Hypothesis....Pages 283-292
Programming Languages and Artificial General Intelligence....Pages 293-300
From Specialized Syntax to General Logic: The Case of Comparatives....Pages 301-309
Decision-Making During Language Understanding by Intelligent Agents....Pages 310-319
Plan Recovery in Reactive HTNs Using Symbolic Planning....Pages 320-330
Optimization Framework with Minimum Description Length Principle for Probabilistic Programming....Pages 331-340
Can Machines Learn Logics?....Pages 341-351
Comparing Computer Models Solving Number Series Problems....Pages 352-361
Emotional Concept Development....Pages 362-372
The Cyber-Physical System Approach Towards Artificial General Intelligence: The Problem of Verification....Pages 373-383
Analysis of Types of Self-Improving Software....Pages 384-393
On the Limits of Recursively Self-Improving AGI....Pages 394-403
Front Matter....Pages 229-229
Gödel Agents in a Scalable Synchronous Agent Framework....Pages 404-413
Back Matter....Pages 415-416