+ Advanced search
46 articles
Proceedings Article

Combining Analytical and Evolutionary Inductive Programming

Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid
Analytical inductive programming and evolutionary in- ductive programming are two opposing strategies for learning recursive programs from incomplete specifica- tions such as input/output examples. Analytical induc- tive programming is data-driven, namely, the minimal recursive generalization over the...
Proceedings Article

A Comparative Approach to Understanding General Intelligence: Predicting Cognitive Performance in an Open-ended Dynamic Task

Christian Lebiere, Cleotilde Gonzalez, Walter Warwick
The evaluation of an AGI system can take many forms. There is a long tradition in Artificial Intelligence (AI) of competitions focused on key challenges. A similar, but less celebrated trend has emerged in computational cognitive modeling, that of model comparison. As with AI competitions, model comparisons...
Proceedings Article

AGI Preschool: A Framework for Evaluating Early-Stage Human-like AGIs

Ben Goertzel, Vladimir Bugaj
A class of environments for teaching and evaluating AGI systems is described, modeled loosely on preschools used for teaching human children and intended specifically for early-stage systems aimed at approaching human-level, human-inspired AGI through a process resembling human developmental psychology....
Proceedings Article

Understanding the Brain's Emergent Properties

Don Miner, Marc Pickett, Marie desJardins
In this paper, we discuss the possibility of applying rule abstraction, a method designed to understand emergent systems, to the physiology of the brain. Rule abstraction reduces complex systems into simpler subsystems, each of which are then understood in terms of their respective subsystems. This process...
Proceedings Article

The robotics path to AGI using Servo Stacks

J. Storrs Hall
The case is made that the path to AGI through cogni- tive and developmental robotics is compelling. Beyond the familiar argument that it keeps researchers honest by forcing their systems to cope with the real world, it encourages them to recapitulate the evolutionary de- velopmental path which gave rise...
Proceedings Article

Feature Dynamic Bayesian Networks

Marcus Hutter
Feature Markov Decision Processes (MDPs) [Hut09] are well-suited for learning agents in general environments. Nevertheless, unstructured ()MDPs are limited to rela- tively simple environments. Structured MDPs like Dynamic Bayesian Networks (DBNs) are used for large-scale real- world problems. In this...
Proceedings Article

Distribution of Environments in Formal Measures of Intelligence

Bill Hibbard
This paper shows that a constraint on universal Turing machines is necessary for Legg's and Hutter's formal measure of intelligence to be unbiased. It also explores the relation of the No Free Lunch Theorem to formal measures of intelligence.
Proceedings Article

Incorporating Planning and Reasoning into a Self-Motivated, Communicative Agent

Daphne Liu, Lenhart Schubert
Most work on self-motivated agents has focused on ac- quiring utility-optimizing mappings from states to ac- tions. But such mappings do not allow for explicit, rea- soned anticipation and planned achievement of future states and rewards, based on symbolic knowledge about the environment and about the...
Proceedings Article

What Is Artificial General Intelligence? Clarifying The Goal For Engineering And Evaluation

Mark R. Waser
Artificial general intelligence (AGI) has no consensus definition but everyone believes that they will recognize it when it appears. Unfortunately, in reality, there is great debate over specific examples that range the gamut from exact human brain simulations to infinitely capable systems. Indeed, it...
Proceedings Article

Stimulus processing in autonomously active cognitive systems

Claudius Gros
The brain is autonomously active and possesses an on- going internal dynamics which continues even in the temporary absence of external sensory stimuli. New experimental evidences, and theoretical considerations, indicate that this eigendynamics plays a central role in regulating the overall cognitive...
Proceedings Article

Holistic Intelligence: Transversal Skills & Current Methodologies

Kristinn R. Thórisson, Eric Nivel
Certain necessary features of general intelligence are more system-wide than others; features such as attention, learning and temporal grounding are transversal in that they seem to affect a significant subset of all mental operation. We argue that such transversal features unavoidably impose fundamental...
Proceedings Article

A formal framework for the symbol grounding problem

Benjamin Johnston, Mary-Anne Williams
A great deal of contention can be found within the published literature on grounding and the symbol grounding problem, much of it motivated by appeals to intuition and unfalsifiable claims. We seek to define a formal framework of representa- tion grounding that is independent of any particular opinion,...
Proceedings Article

Extending Cognitive Architectures with Mental Imagery

Scott D. Lathrop, John E. Laird
Inspired by mental imagery, we present results of extending a symbolic cognitive architecture (Soar) with general computational mechanisms to support reasoning with symbolic, quantitative spatial, and visual depictive representations. Our primary goal is to achieve new capabilities by combining and manipulating...
Proceedings Article

Consciousness in Human and Machine: A Theory and Some Falsifiable Predictions

Richard P. W. Loosemore
To solve the hard problem of consciousness we first note that all cognitive systems of sufficient power must get into difficulty when trying to analyze consciousness concepts, because the mechanism that does the analysis will bottom out in such a way that the system declares these concepts to be both...
Proceedings Article

CHS-Soar: Introducing Constrained Heuristic Search to the Soar Cognitive Architecture

Sean A. Bittle, Mark S. Fox
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has been demonstrated. In contrast, constraint programming often utilizes the same domain independent heuristics to find efficient...
Proceedings Article

A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specifications, such as input/output examples. First, we introduce condi- tional higher-order term rewriting as a common framework for inductive...
Proceedings Article

Claims and Challenges in Evaluating Human-Level Intelligent Systems

John E. Laird, Robert E. Wray III, Robert P. Marinier III, Pat Langley
This paper represents a first step in attempting to engage the research community in discussions about evaluation of human-level intelligent systems. First, we discuss the challenges of evaluating human-level intelligent systems. Second, we explore the different types of claims that are made about HLI...
Proceedings Article

Neuroscience and AI Share the Same Elegant Mathematical Trap

Tsvi Achler, Eyal Amir
Animals display exceptionally robust recognition abilities to analyze scenes compared to artificial means. The prevailing hypothesis in both the neuroscience and AI literatures is that the brain recognizes its environment using optimized connections. These connections are determined through a gradual...
Proceedings Article

Economic Attention Networks: Associative Memory and Resource Allocation for General Intelligence

Matthew Ikle, Joel Pitt, George Sellmann, Ben Goertzel
A novel method for simultaneously storing memories and allocating resources in AI systems is presented. The method, Economic Attention Networks (ECANs), bears some resemblance to the spread of activation in attractor neural networks, but differs via explicitly differentiating two kinds of "activation"...
Proceedings Article

HELEN: Using Brain Regions and Mechanisms for Story Understanding to Model Language as Human Behavior

Robert SWAINE
A new cognitive model is presented for large scale representation of episodic situations and for manipulating these representations using the model's innate natural language processing mechnisms. As formulated,and implemented in part,the purpose of the model seeks to attain basic child level cognitive...
Proceedings Article

Importing Space-time Concepts Into AGI

Eugene J. Surowitz
Feedback cycles are proposed as the general unit of in- tellect and intelligence. This enables the importation of space-time concepts from physics. The action-lens, a processing structure based on these measurable ob- jects, is defined. Larger assemblies of this structure may support the Lowen model...
Proceedings Article

Improving the Believability of Non-Player Characters in Simulations

Jere D. Miles, Rahman Tashakkori
In recent years the video game industry has experienced rapid expansion developing virtual environments that accurately mimic a real-world setting. However, the industry almost entirely relies on finite state machines for deploying computer-controlled characters within these environments. This has resulted...
Proceedings Article

Why BICA is Necessary for AGI

Alexei V. Samsonovich
The challenge of creating AGI is better understood in the context of recent studies of biologically inspired cognitive architectures (BICA). While the solution is still far away, promising ideas can be derived from biological inspirations. The notions of a chain reaction, its critical mass and scaling...
Proceedings Article

Integrating Action and Reasoning through Simulation

Samuel Wintermute
This paper presents an approach for integrating action in the world with general symbolic reasoning. Instead of working with task-specific symbolic abstractions of continuous space, our system mediates action through a simple spatial representation. Low-level action controllers work in the context of...
Proceedings Article

Unsupervised Segmentation of Audio Speech Using the Voting Experts Algorithm

Matthew Miller, Peter Wong, Alexander Stoytchev
Human beings have an apparently innate ability to seg- ment continuous audio speech into words, and that abil- ity is present in infants as young as 8 months old. This propensity towards audio segmentation seems to lay the groundwork for language learning. To artificially repro- duce this ability would...
Proceedings Article

A Cognitive Map for an Artificial Agent

Unmesh Kurup, B. Chandrasekaran
We show how a general-purpose cognitive architecture augmented with a general diagrammatic component can represent and reason about Large-scale Space. The diagrammatic component allows an agent built in this architecture to represent information both symbolically and diagrammatically as appropriate....
Proceedings Article

Human and Machine Understanding Of Natural Language Character Strings

Peter G. Tripodes
There is a great deal of variability in the way in which different language users understand a given natural language (NL) character string. This variability probably arises because of some combination of differences in language users' perceptions of its context-of-use (pragmatics), identity and mode...
Proceedings Article

The Role of Logic in AGI Systems: Towards a Lingua Franca for General Intelligence

Helmar Gust, Ulf Krumnack, Angela Schwering, Kai-Uwe Kuhnberger
Systems for general intelligence require a significant poten- tial to model a variety of different cognitive abilities. It is often claimed that logic-based systems ­ although rather suc- cessful for modeling specialized tasks ­ lack the ability to be useful as a universal modeling framework due to the...
Proceedings Article

Pointer Semantics with Forward Propagation

Sujata Ghosh, Benedikt Löwe, Sanchit Saraf
In this paper, we will discuss a new approach to formally modelling belief change in systems of sentences with inter- dependency. Our approach is based on the paradigm called pointer semantics or revision theory which forms a funda- mental way of successfully understanding the semantics of logic programming,...
Proceedings Article

Feature Markov Decision Processes

Marcus Hutter
General purpose intelligent learning agents cycle through (complex,non-MDP) sequences of observations, actions, and rewards. On the other hand, reinforcement learning is well- developed for small finite state Markov Decision Processes (MDPs). So far it is an art performed by human designers to extract...
Proceedings Article

The Importance of Being Neural-Symbolic ­ A Wilde Position

Pascal Hitzler, Kai-Uwe Kuhnberger
We argue that Neural-Symbolic Integration is a topic of central importance for the advancement of Artificial General Intelligence.
Proceedings Article

Program Representation for General Intelligence

Ben Goertzel, Moshe Looks
Traditional machine learning systems work with relatively flat, uniform data representations, such as feature vectors, time-series, and context-free grammars. However, reality often presents us with data which are best understood in terms of relations, types, hierarchies, and complex functional forms....
Proceedings Article

Project to Build Programs that Understand

Eric B. Baum
This extended abstract outlines a project to build computer programs that understand. Understanding a domain is defined as the ability to rapidly produce computer programs to deal with new problems as they arise. This is achieved by building a CAD tool that collaborates with human designers who guide...
Proceedings Article

Everyone's a Critic: Memory Models and Uses for an Artificial Turing Judge

W. Joseph MacInnes, Blair C. Armstrong, Dwayne Pare, George S. Cree, Steve Joordens
The Turing test was originally conceived by Alan Turing [20] to determine if a machine had achieved human-level intelligence. Although no longer taken as a comprehensive measure of human intelligence, passing the Turing test remains an interesting challenge as evidenced by the still unclaimed Loebner...
Proceedings Article

Analytical Inductive Programming as a Cognitive Rule Acquisition Devise

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann
One of the most admirable characteristic of the hu- man cognitive system is its ability to extract gener- alized rules covering regularities from example expe- rience presented by or experienced from the environ- ment. Humans' problem solving, reasoning and verbal behavior often shows a high degree of...
Proceedings Article

Hebbian Constraint on the Resolution of the Homunculus Fallacy Leads to a Network that Searches for Hidden Cause-Effect Relationships

András Lorincz
We elaborate on a potential resolution of the homunculus fallacy that leads to a minimal and simple auto-associative recurrent `reconstruction network' architecture. We insist on Hebbian constraint at each learning step executed in this network. We find that the hidden internal model enables searches...
Proceedings Article

The China-Brain Project: Report on the First Six Months

Hugo de Garis, Xiaodong Shi, Ben Goertzel, Wei Pan, Kehua Miao, Jianyang Zhou, Min Jiang, Lingxiang Zhen, Qinfang Wu, Minghui Shi, Ruiting Lian
The "China Brain Project" is a 4 year (2008-2011), 10.5 million RMB research project to build China's first artificial brain, which will consist of 10,000- 50,000 neural net modules which are evolved rapidly in special FPGA hardware, downloaded one by one into a PC or supercomputer, and then connected...
Proceedings Article

Bootstrap Dialog: A Conversational English Text Parsing and Generation System

Stephen L. Reed
A conversational English text parsing and generation system is described in which its lexicon and construction grammar rules are revised, augmented, and improved via dialog with mentors. Both the parser and generator operate in a cognitively plausible, incremental manner. Construction Grammar is well...
Proceedings Article

Relevance Based Planning: Why Its a Core Process for AGI

Eric B. Baum
Relevance Based Planning (RBP) is a general method that plans in interaction with a domain simulation and domain specialized procedures. I argue that exploitation of the properties of causality and Euclidean topology which hold in many domains is a critical inductive bias necessary if an AGI (or any...
Proceedings Article

In Search of Computational Correlates of Artificial Qualia

Antonio Chella, Salvatore Gaglio
In previous papers we presented a robot cognitive architecture organized in three computational areas. The subconceptual area is concerned with the processing of data coming from the sensors. In the linguistic area representation and processing are based on a logic-oriented formalism. The conceptual...
Proceedings Article

Achieving Artificial General Intelligence Through Peewee Granularity

Kristinn R. Thórisson, Eric Nivel
The general intelligence of any autonomous system must in large part be measured by its ability to automatically learn new skills and integrate these with prior skills. Cognitive architectures addressing these topics are few and far between ­ possibly because of their difficulty. We argue that architectures...
Proceedings Article

Case-by-Case Problem Solving

Pei Wang
Case-by-case Problem Solving solves each occurrence, or case, of a problem using available knowledge and resources on the case. It is different from the traditional Algorithmic Problem Solving, which applies the same algorithm to all occurrences of all problem instances. Case-by-case Prob- lem Solving...
Proceedings Article

Embodiment: Does a laptop have a body?

Pei Wang
This paper analyzes the different understandings of "embodiment". It argues that the issue is not on the hardware a system is implemented in (that is, robot or conventional computer), but on the relation between the system and its working environment. Using an AGI system NARS as an example, the paper...
Proceedings Article

Self-Programming: Operationalizing Autonomy

Eric Nivel, Kristinn R. Thórisson
Lacking an operational definition of autonomy has considerably weakened the concept's impact in systems engineering. Most current "autonomous" systems are built to operate in conditions more or less fully described a priori, which is insufficient for achieving highly autonomous systems that adapt efficiently...
Proceedings Article

Parsing PCFG within a General Probabilistic Inference Framework

Arthi Murugesan, Nicholas L. Cassimatis
One of the aims of Artificial General Intelligence(AGI) is to use the same methods to reason over a large num- ber of problems spanning different domains. Therefore, advancing general tools that are used in a number of domains like language, vision and intention reading is a step toward AGI. Probabilistic...