This article proposes a suite of design decisions for the overall design of an Artificial Intelligence, i.e., a software system that exhibits intelligence in the spirit of the early days of A.I. research. The key aspects of the proposal are: (1) The identification of the A.I. system as a software individual that has the properties of integrity and persistence; (2) The construction of a software platform that integrates aspects of incremental programming languages and systems as well as of operating systems, with aspects that are intrinsic to knowledge-based artificial intelligence; (3) The use of a representation language that builds on essential aspects of S-expressions, Lisp, logic and extended set theory, but which is used both as a vehicle for software and as a publication language e.g. in lecture notes; (4) The identification of actions and aggregates of actions as first-class citizens in the representation language and as an important type of data object in the software system. The article also describes the Leonardo software platform, its representation language, its educational resources and its knowledgebase library which is one implementation of these proposed design decisions. Finally it makes a proposal concerning the research paradigm for this research area.

Desiderata for cognitive architectures that are to support the extent of human-level intelligence required in virtual humans imply the need to bridge a range of dichotomies faced by such architectures. The focus here is first on two general approaches to building such bridges — addition and reduction — and then on a pair of general tools – graphical models and piecewise continuous functions — that exploit the second approach towards developing such an architecture. Evaluation is in terms of the architecture’s demonstrated ability and future potential for bridging the dichotomies.

Historically, approaches to human-level intelligence have divided between those emphasizing the mechanisms involved, such as cognitive architectures, and those focusing on the knowledge content, such as ontologies. In this paper we argue that in order to build cognitive systems capable of human-level event-recognition, a comprehensive infrastructure of perceptual and cognitive mechanisms coupled with high-level knowledge representations is required. In particular, our contribution focuses on an integrated modeling framework (the “Cognitive Engine”), where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with integrated semantic resources for the purpose of event interpretation.

For intelligent agents modeled to emulate people, reference resolution is memory management: when processing an object or event – whether it appears in language or in the simulated physical or cognitive experience of the agent – the agent must determine how that object or event correlates with known objects and events, and must store the new memory with semantically explicit links to related prior knowledge. This paper discusses eventualities for memory-based reference resolution and the modeling strategies used in the OntoAgent environment to permit agents to fully and automatically make reference decisions.

Language processing architectures today are rarely designed to provide psychologically plausible accounts of their representations and algorithms. Engineering decisions dominate. This has led to words being seen as an incidental part of the architecture: the repository of all of language’s idiosyncratic aspects. Drawing on a body of past and ongoing research by myself and others I have concluded that this view of words is wrong. Words are actually present at the most abstract, pre-linguistic levels of the NLP architecture and that there are phenomena in language use that are best accounted for by assuming that concepts are words.

The literature on conceptual blending and metaphor-making has illustrations galore of how these mechanisms may support the creation and grounding of new concepts (or whole domains) in terms of a complex, integrated network of older ones. In spite of this, as of yet there is no general computational account of blending and metaphor-making that has proven powerful enough as to cover all the examples from the literature. This paper proposes a logic-based framework for blending and metaphor making and explores its applicability in settings as diverse as mathematical domain formation, classical rationality puzzles, and noun-noun combinations.

In creative industries such as design and research it is common to reason about ‘problem-finding’ before tasks or goals can be established. Problem-finding may also continue throughout the problem-solving process, so achieving goals may be an ongoing process of discovery as well as iterative improvement and refinement. This paper considers the design of cognitive systems with complementary processes for both problem-finding and problem-solving. We review a range of approaches that may complement goal-directed reasoning when an artificial system does not or cannot know precisely what it is looking for. We argue that there is a spectrum of approaches that can be used for reasoning in the absence of goals, which make progressively weaker assumptions about the definition and presence goals, and that goal-oriented behavior can be an intermediate result of problem-finding, rather than as a starting point for problem-solving. We demonstrate one such approach based on implicit motives and incentives.

In this paper we discuss an elaboration account of insight that provides answers to two of the main questions regarding insight problem solving: why insight problems are so difficult for humans and why insight is so rapid in nature. We claim that the difficulty in insight problems is due to misguided heuristic search and that this difficulty is overcome using a reformulation mechanism. Furthermore, we claim that search is carried out quickly when the heuristics are good--explaining the rapid nature of insight. We clarify our account by providing examples and initial empirical results. In conclusion, we review related work and discuss possible future work.

An important form of learning involves acquiring skills that let an agent achieve its goals. While there has been considerable work on learning in planning, most approaches have been sensitive to the representation of domain context, which hurts their generality. A learning mechanism that constructs skills effectively across different representations would suggest more robust behavior. In this paper, we present a novel approach to learning hierarchical task networks that acquires conceptual predicates as learning proceeds, making it less dependent on carefully crafted background knowledge. The representation acquisition procedure expands the system's knowledge about the world, and leads to more rapid learning. We show the effectiveness of the approach by comparing it with one that doesnot change domain representation.

The ability to delay intentions and remember them in the proper context is an important ability for general artificial agents. In this paper, we define the functional requirements of an agent capable of fulfilling delayed intentions with its long-term memories. We show that the long-term memories of different cognitive architec- tures share similar functional properties and that these mechanisms can be used to support delayed intentions. Finally, we do a preliminary evaluation of the different memories for fulfilling delayed intentions and show that there are trade-offs between memory types that warrant further research.