AGI Architectures & Control Mechanisms. Realworld environment Anatomy of an AGI system Intellifest 2012 Sensors Actuators Data Processes Control.

Slides:



Advertisements
Similar presentations
Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California USA
Advertisements

Pat Langley Institute for the Study of Learning and Expertise Palo Alto, California A Cognitive Architecture for Complex Learning.
Modelling with expert systems. Expert systems Modelling with expert systems Coaching modelling with expert systems Advantages and limitations of modelling.
Lectures on File Management
ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE SYSTEMS
Assignments An Exercise in Building a KBS. Assignments  Goals: Exercise in the building of a simple KBS  Implementation of a simple knowledge base 
The Logic of Intelligence Pei Wang Department of Computer and Information Sciences Temple University.
Module R2 CS450. Next Week R1 is due next Friday ▫Bring manuals in a binder - make sure to have a cover page with group number, module, and date. You.
Logic.
SAL: A Hybrid Cognitive Architecture Y. Vinokurov 1, C. Lebiere 1, D. Wyatte 2, S. Herd 2, R. O’Reilly 2 1. Carnegie Mellon University, 2. University of.
A model of Consciousness With neural networks By: Hadiseh Nowparast.
Intelligent systems Lecture 6 Rules, Semantic nets.
Yiannis Demiris and Anthony Dearden By James Gilbert.
Chapter 12: Expert Systems Design Examples
Expert System Human expert level performance Limited application area Large component of task specific knowledge Knowledge based system Task specific knowledge.
CPSC 322, Lecture 19Slide 1 Propositional Logic Intro, Syntax Computer Science cpsc322, Lecture 19 (Textbook Chpt ) February, 23, 2009.
 Hans Moravec’s paradox was that while computers are more than capable of executing solutions for difficult problems, they tend to solve common sense.
Case-Based Reasoning, 1993, Ch11 Kolodner Adaptation method and Strategies Teacher : Dr. C.S. Ho Student : L.W. Pan No. : M Date : 1/7/2000.
Brent Dingle Marco A. Morales Texas A&M University, Spring 2002
1 Specification of IT Systems Mandatory Exercise Week 1.
IMS1805 Systems Analysis Topic 4: How do you do it? Guidelines for doing analysis.
Knoweldge Representation & Reasoning
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 7: Expert Systems and Artificial Intelligence Decision Support.
Distributed Robot Agent Brent Dingle Marco A. Morales.
CIS465: Adv. Info. Sys. Memory Systems Min Song Information Systems Dept.
Improved results for a memory allocation problem Rob van Stee University of Karlsruhe Germany Leah Epstein University of Haifa Israel WADS 2007 WAOA 2007.
Semi-Supervised Learning with Concept Drift using Particle Dynamics applied to Network Intrusion Detection Data Fabricio Breve Institute of Geosciences.
Genetic Algorithms and Ant Colony Optimisation
Modeling Driver Behavior in a Cognitive Architecture
Notes for Chapter 12 Logic Programming The AI War Basic Concepts of Logic Programming Prolog Review questions.
C++ Code Analysis: an Open Architecture for the Verification of Coding Rules Paolo Tonella ITC-irst, Centro per la Ricerca Scientifica e Tecnologica
Global Workspace Theory and LIDA ---- the role of conscious events in cognitive architectures. This powerpoint is available for educational use, from:
Swarm Computing Applications in Software Engineering By Chaitanya.
Implicit An Agent-Based Recommendation System for Web Search Presented by Shaun McQuaker Presentation based on paper Implicit:
Logical Agents Logic Propositional Logic Summary
Cognitive Views of Learning
Natural Language Processing by Reasoning and Learning Pei Wang Temple University Philadelphia, USA.
1 Memory Management (b). 2 Paging  Logical address space of a process can be noncontiguous; process is allocated physical memory whenever the latter.
Synchronization Methods in Message Passing Model.
March 23 & 28, Csci 2111: Data and File Structures Week 10, Lectures 1 & 2 Hashing.
CS62S: Expert Systems Based on: The Engineering of Knowledge-based Systems: Theory and Practice, A. J. Gonzalez and D. D. Dankel.
COM362 Knowledge Engineering Inferencing 1 Inferencing: Forward and Backward Chaining John MacIntyre
Multithreading Chapter Introduction Consider ability of human body to ___________ –Breathing, heartbeat, chew gum, walk … In many situations we.
Animate Image-Matching for Retrieval in Digital Libraries G. Boccignone, V. Caggiano, A. Chianese, V. Moscato and A. Picariello.
Chapter 1. Cognitive Systems Introduction in Cognitive Systems, Christensen et al. Course: Robots Learning from Humans Park, Sae-Rom Lee, Woo-Jin Statistical.
MaskIt: Privately Releasing User Context Streams for Personalized Mobile Applications SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference.
Chapter 10. The Explorer System in Cognitive Systems, Christensen et al. Course: Robots Learning from Humans On, Kyoung-Woon Biointelligence Laboratory.
DeepDive Model Dongfang Xu Ph.D student, School of Information, University of Arizona Dec 13, 2015.
A framework of safe robot planning Roland Pihlakas Institute of Technology in University of Tartu august 2008.
How conscious experience and working memory interact Bernard J. Baars and Stan Franklin Soft Computing Laboratory 김 희 택 TRENDS in Cognitive Sciences vol.
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
Memory Management OS Fazal Rehman Shamil. swapping Swapping concept comes in terms of process scheduling. Swapping is basically implemented by Medium.
The International RuleML Symposium on Rule Interchange and Applications Visualization of Proofs in Defeasible Logic Ioannis Avguleas 1, Katerina Gkirtzou.
Path Planning Based on Ant Colony Algorithm and Distributed Local Navigation for Multi-Robot Systems International Conference on Mechatronics and Automation.
Artificial Intelligence
Issues in Temporal and Causal Inference Pei Wang Temple University, USA Patrick Hammer Graz University of Technology, Austria.
From NARS to a Thinking Machine Pei Wang Temple University.
Silberschatz, Galvin and Gagne ©2011 Operating System Concepts Essentials – 8 th Edition Chapter 9: Virtual Memory.
Kim HS Introduction considering that the amount of MRI data to analyze in present-day clinical trials is often on the order of hundreds or.
Artificial Intelligence Logical Agents Chapter 7.
Information Aids for Diagnosis Tasks Based on Operators’ Strategies 김 종 현.
Rule-based Reasoning in Semantic Text Analysis
Architecture Components
EA C461 – Artificial Intelligence Logical Agent
Logical Agents Chapter 7.
An Integrated Theory of the Mind
Spectrum Sharing in Cognitive Radio Networks
Knowledge Representation I (Propositional Logic)
Generalized Diagnostics with the Non-Axiomatic Reasoning System (NARS)
NARS an Artificial General Intelligence Project
Presentation transcript:

AGI Architectures & Control Mechanisms

Realworld environment Anatomy of an AGI system Intellifest 2012 Sensors Actuators Data Processes Control

NARS: Judgement An input judgment is a piece of new knowledge to be absorbed. To process such a task not only means to add it to the knowledge base (memory) of the system, but also means to use it and the existing knowledge to derive new knowledge, by forward inference.

NARS: Question An input question is a user query to be answered. To process such a task means to find a judgment that answers the question as well as possible (as defined by the choice rule). Backward inference may be used to get answers through derived questions.

NARS: Goal An input goal is a user command to be followed, or a statement to be realized. To process such a task means to check if the statement is already true, and if not, to execute some operation to make the statement true. Backward inference may also be used to generate derived goals.

NARS: Control Mechanism Responsible for resource management – Choosing premises and inference rules in each inference step – Memory allocation

NARS: Control Mechanism Time-sharing Single inference step per time-slice Probabilistic task selection – Probability proportional to priority Priority value for each task – [0,1] Priority is relative – Depends on operational context of the system Priority is manually assigned for input tasks but automatically for derived tasks

NARS: Control Mechanism Input questionQ Derived questionsQ1Q2Q3 Termination of input question (successful or otherwise) does not automatically remove derived questions from the task pool.

NARS: Control Mechanism One task: t1 The task (t1) will get all available resources Two tasks: t1 and t2 Each has respective priority value p1 and p2 Resources received by each task in near future determined by the ratio p1 : p2 The resources allocated to a task depends not only on its priority value, but also the priority values of other active tasks

NARS: Control Mechanism A task aging factor: Durability – [0,1] Makes priority values decay gradually Task priority: Durability * Priority Constant re-evaluation of durability and priority based on context – If a good solution has been found, priority is decreased

NARS: Anytime processing Traditional systems: answer/solution reported at final state Anytime processing: make best available solution found so far available at any time while still seeking better solutions Finding optimal solution requires exhaustive search – Not possible in most cases Satisfactory rather than optimal solutions – Amount of processing based on competition for resources

NARS: Memory Structure Special data structure for system with insufficient resources: Bag Probabilistic priority queue Contains items, each having priority value Two major operations: – Put in: Inserts the item in the bag, if bag is full, existing item with lowest priority is removed – Take out: Returns one item from a non-empty bag, chosen in probabalistic fashion based on priority

NARS: Concept All tasks and beliefs that share a common term make up a concept, where the concept is the shared term – The concept „bird“: raven -> bird pigeon -> bird bird -> swimmer bird -> animal Any valid inference step necessarily happens within a single concept Thus, concept is a unit of resource allocation System resources first distributed by concept, then within each concept among tasks and beliefs

NARS: Memory structure Concept BeliefsTasks Concept BeliefsTasks Concept BeliefsTasks Two-level memory structure Beliefs connect one concept to another concept

NARS: Execution Cycle 1. To check the input buffer. If there are new (input or derived) tasks, add them into the corresponding concepts (after some simple preprocessing). 2. To take out a concept from the concept bag. 3. To take out a task from the task bag of the concept. 4. To take out a belief from the belief bag of the concept. 5. To apply inference rules on the task and belief. Which rule is applicable is determined by the syntax of the task and the belief. 6. To adjust the priority and durability values of the involved task, belief, and concept, according to the quality of the results. 7. To return the involved task, belief, and concept are returned to the corresponding bags. 8. To put the results generated in this step into the input buffer as new tasks. If a result happens to be a best-so-far answer of a question asked by the user, it is reported to the user.

NARS NARS is a reasoning system – This has some implications Perception and motor control are not a natural fit Work underway to add these capabilities

The LIDA cognitive architecture Biologically / psychologically inspired Hybrid (symbolic/subsymbolic) Implementation of global workspace theory

LIDA overview

The LIDA cognitive cycle 1. Understanding phase – Low & high level feature detection – Sensory input activates existing knowledge Several types of memory – Produces a model of the current operating situation 2. Attention phase – Coallitions of most salient information in current situational model formed – Resulting coallitions compete for attention – Winners of the competition broadcast globally throughout the system 3. Action selection & learning phase – New entities, associations, reinforcement – Possible action schemes instantiated from Procedural Memory and sent to the Action Selection module – Possible action schemes compete for execution in the Action Selection module, with the winners being executed

Model of visual attention based on global scene factors (Torralba)

Three layer model of visual attention (Mancas et al.)