![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
The Pedagogical Pentagon: A Conceptual Framework for Artificial Pedagogy
Artificial intelligence (AI) and machine learning (ML) research has traditionally focused most energy on constructing systems that can learn from data and/or environment interactions. This paper considers the ...
-
Chapter and Conference Paper
Growing Recursive Self-Improvers
Research into the capability of recursive self-improvement typically only considers pairs of \(\langle \) agent, self-...
-
Chapter and Conference Paper
About Understanding
The concept of understanding is commonly used in everyday communications, and seems to lie at the heart of human intelligence. However, no concrete theory of understanding has been fielded as of yet in artificial...
-
Chapter and Conference Paper
Why Artificial Intelligence Needs a Task Theory
The concept of “task” is at the core of artificial intelligence (AI): Tasks are used for training and evaluating AI systems, which are built in order to perform and automatize tasks we deem useful. In other fi...
-
Chapter and Conference Paper
Bounded Seed-AGI
Four principal features of autonomous control systems are left both unaddressed and unaddressable by present-day engineering methodologies: (1) The ability to operate effectively in environments that are only ...
-
Chapter and Conference Paper
Resource-Bounded Machines are Motivated to be Effective, Efficient, and Curious
Resource-boundedness must be carefully considered when designing and implementing artificial general intelligence (AGI) algorithms and architectures that have to deal with the real world. But not only must resour...
-
Article
Open AccessA formal model of emotion triggers: an approach for BDI agents
This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. T...
-
Chapter
Towards an Actual Gödel Machine Implementation: a Lesson in Self-Reflective Systems
Recently, interest has been revived in self-reflective systems in the context of Artificial General Intelligence (AGI). An AGI system should be intelligent enough to be able to reason about its own program cod...
-
Chapter and Conference Paper
A Family of Gödel Machine Implementations
The Gödel Machine is a universal problem solver encoded as a completely self-referential program capable of rewriting any part of itself, provided it can prove that the rewrite is useful according to some util...
-
Chapter and Conference Paper
Operational Semantics for BDI Modules in Multi-agent Programming
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implementation of agents, agent rol...
-
Chapter and Conference Paper
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an agent. In psychological litera...
-
Chapter and Conference Paper
Modularity in Agent Programming Languages
This paper discusses a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules is generic and facilitates the implementation of different agent concepts...