The Design of a Polymorphous Cognitive Agent Architecture (PCAA)

Abstract : Lockheed Martin Advanced Technology Laboratories (LM-ATL) led a highly qualified and motivated team to research, develop, and validate the Polymorphous Cognitive Agent Architecture (PCAA) as part of DARPA's Architecture for Cognitive Information Processing (ACIP). Our team investigated essential "Cognitive Information Processing" aspects of the architecture ranging from pure cognitive research into the essentials of human level reasoning to computing infrastructures that are essential to be able to transition PCAA into application domains that have a crucial need for this technology. PCAA is a dynamic, adaptive cognitive architecture that makes previously intractable approximation tasks tractable for NP-hard cognitive problems. PCAA consists of: linear composable cognitive agents, a cognitive mark-up language for cognitive behavior definition, a cognitive layer for derivation of cognitive services and specialized cognitive agents, and a next generation polymorphic hardware and software layer for runtime composition and instantiation of cognitive agents.

[1]  A. Miyake,et al.  Models of Working Memory: Mechanisms of Active Maintenance and Executive Control , 1999 .

[2]  Mario Tokoro,et al.  Experience and evolution of concurrent Smalltalk , 1987, OOPSLA 1987.

[3]  Peter H. Welch,et al.  A Strict occam Design Tool , 1996, UK Parallel.

[4]  Paul S. Rosenbloom,et al.  Applying problem solving and learning to diagnosis , 1993 .

[5]  John Teifel,et al.  Highly pipelined asynchronous FPGAs , 2004, FPGA '04.

[6]  A. Newell.  Reasoning, problem solving, and decision processes: the problem space as a fundamental category , 1993 .

[7]  John E. Laird,et al.  Accounting for Graded Performance within a Discrete Search Framework , 1996, Cogn. Sci..

[8]  Nachiket Kapre,et al.  GraphStep: A System Architecture for Sparse-Graph Algorithms , 2006, 2006 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines.

[9]  Sven A. Brueckner,et al.  RETURN FROM THE ANT SYNTHETIC ECOSYSTEMS FOR MANUFACTURING CONTROL , 2000 .

[10]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[11]  Robin Milner,et al.  Definition of standard ML , 1990 .

[12]  Anoop Gupta,et al.  Comparison of the RETE and TREAT production matchers for soar (A summary) , 1988, AAAI 1988.

[13]  Susan L. Epstein.  In Support of Pragmatic Computation , 2006, AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems.

[14]  Hans-Juergen Boehm,et al.  HP Laboratories , 2006 .

[15]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[16]  Sanjay Ghemawat,et al.  MapReduce: simplified data processing on large clusters , 2008, CACM.

[17]  André DeHon,et al.  Floating-point sparse matrix-vector multiply for FPGAs , 2005, FPGA '05.

[18]  Allen Newell,et al.  High-speed implementations of rule-based systems , 1989, TOCS.

[19]  Charles Lanny Forgy,et al.  On the efficient implementation of production systems. , 1979 .

[20]  F. Dehne,et al.  Hypercube algorithms for parallel processing of pointer-based quadtrees , 1995 .

[21]  John E. Laird,et al.  A Cognitive Model of Episodic Memory Integrated with a General Cognitive Architecture , 2004, ICCM.

[22]  Randolph M. Jones,et al.  Automated Intelligent Pilots for Combat Flight Simulation , 1998, AI Mag..

[23]  C. Lebiere,et al.  The Newell Test for a theory of cognition , 2003, Behavioral and Brain Sciences.

[24]  Rajit Manohar.  Reconfigurable Asynchronous Logic , 2006, IEEE Custom Integrated Circuits Conference 2006.

[25]  Richard L. Lewis,et al.  Models of Working Memory: The Soar Cognitive Architecture and Human Working Memory , 1999 .

[26]  Hugo Liu,et al.  ConceptNet — A Practical Commonsense Reasoning Tool-Kit , 2004 .

[27]  John E. Laird,et al.  Toward Incremental Knowledge Correction for Agents in Complex Environments , 1995, Machine Intelligence 15.

[28]  Allen Newell,et al.  The problem of expensive chunks and its solution by restricting expressiveness , 1993, Machine Learning.

[29]  H. Van Dyke Parunak,et al.  Temporal Aspects of Dynamic Role Assignment , 2003, AOSE.

[30]  Mario Tokoro,et al.  The design and implementation of Concurrent Smalltalk , 1986, OOPSLA 1986.

[31]  John E. Laird,et al.  Dynamic Knowledge Integration during Plan Execution , 1996 .

[32]  Rajit Manohar,et al.  DATAFLOW NETWORKS FOR EVENT STREAM PROCESSING , 2004 .

[33]  John R. Anderson,et al.  Reflections of the Environment in Memory Form of the Memory Functions , 2022 .

[34]  Thomas G. Dietterich.  Learning at the Knowledge Level , 1986, Machine Learning.

[35]  Doug Lea,et al.  Concurrent programming in Java - design principles and patterns , 1996, Java series.

[36]  Dario D. Salvucci,et al.  Choice and Learning under Uncertainty: A Case Study in Baseball Batting , 2003 .

[37]  Matteo Frigo,et al.  The implementation of the Cilk-5 multithreaded language , 1998, PLDI.

[38]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[39]  Anil K. Jain,et al.  Data clustering: a review , 1999, CSUR.

[40]  Tarek A. El-Ghazawi,et al.  An evaluation of global address space languages: co-array fortran and unified parallel C , 2005, PPoPP.

[41]  Robin Milner,et al.  Commentary on standard ML , 1990 .

[42]  Bonnie E. John,et al.  Episodic indexing: a model of memory for attention events , 1999, Cogn. Sci..

[43]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[44]  H. Van Dyke Parunak,et al.  Dynamic Decentralized Any-Time Hierarchical Clustering , 2006, ESOA.

[45]  S. Debowski.  Knowledge Management , 2005 .

[46]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[47]  Allen Newell,et al.  Formulating the problem space computational model , 1993 .

[48]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[49]  Paul R. Cohen,et al.  Benchmarks, Test Beds, Controlled Experimentation, and the Design of Agent Architectures , 1993, AI Mag..

[50]  Clark F. Olson,et al.  Parallel Algorithms for Hierarchical Clustering , 1995, Parallel Comput..

[51]  H. Van Dyke Parunak,et al.  DIGITAL PHEROMONES FOR AUTONOMOUS COORDINATION OF SWARMING UAV'S , 2002 .

[52]  John E. Laird,et al.  Synthetic Adversaries for Urban Combat Training , 2004, AI Mag..

[53]  Michael Hucka,et al.  Robo-Soar: An integration of external interaction, planning, and learning using Soar , 1991, Robotics Auton. Syst..

[54]  Allen Newell,et al.  R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[55]  Philip Ball,et al.  The Self-Made Tapestry: Pattern Formation in Nature , 1999 .

[56]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[57]  Monica S. Lam,et al.  The design, implementation, and evaluation of Jade , 1998, TOPL.

[58]  P. J. Plauger.  Hash tables , 1998 .

[59]  P. Todd,et al.  Simple Heuristics That Make Us Smart , 1999 .

[60]  R. Bixby,et al.  On the Solution of Traveling Salesman Problems , 1998 .

[61]  Randolph M. Jones,et al.  A symbolic solution to intelligent real-time control , 1993, Robotics Auton. Syst..

[62]  John E. Laird,et al.  Flexibly Instructable Agents , 1995, J. Artif. Intell. Res..

[63]  Simon L. Peyton Jones,et al.  Composable memory transactions , 2005, CACM.

[64]  A. Newell.  Unified Theories of Cognition , 1990 .

[65]  Robert B. Doorenbos.  Combining Left and Right Unlinking for Matching a Large Number of Learned Rules , 1994, AAAI.

[66]  Michael D. Byrne,et al.  Cognitive Architecture , 2003 .

[67]  Sean A. Lisse,et al.  Investigating Ontology Infrastructures for Execution-oriented Autonomous Agents , 2004 .

[68]  Rami G. Melhem,et al.  CA-RAM: A High-Performance Memory Substrate for Search-Intensive Applications , 2007, 2007 IEEE International Symposium on Performance Analysis of Systems & Software.

[69]  Laxmikant V. Kalé,et al.  CHARM++: a portable concurrent object oriented system based on C++ , 1993, OOPSLA '93.

[70]  Haim J. Wolfson,et al.  Geometric hashing: an overview , 1997 .