RAIR Lab Visit, Ken Gertz (draft v3; final) Rensselaer AI & Reasoning (RAIR) Lab Personnel: Faculty: Selmer Bringsjord, Konstantine Arkoudas, Marc Destefano, Jim Fahey, Bram van Heuveln, Ron Sun, Yingrui Yang, Michael Zenzen GRAs: Paul Bello, Bettina Schimanski URAs: Andrew Shilliday, Josh Taylor, Owen Kellett

RAIR Lab Visit, Ken Gertz (draft v3; final) Rensselaer AI & Reasoning (RAIR) Lab Personnel: Faculty: Selmer Bringsjord, Konstantine Arkoudas, Marc Destefano, Jim Fahey, Bram van Heuveln, Ron Sun, Yingrui Yang, Michael Zenzen GRAs: Paul Bello, Bettina Schimanski URAs: Andrew Shilliday, Josh Taylor, Owen Kellett

The Problem (Perhaps not Coincidentally: Institutions Without “Cognitive Power”)

Looking at Trends Paints the Same Picture 2010 How? 2001

What is Cognitive Science? Cognitive Science is the attempt to understand, simulate, and replicate cognitive systems or intelligent agents (which are embodied in minds/brains/machines), in information processing and (frequently) representational schemes. Cognitive Science can be understood as the attempt to harness IT in order to understand, simulate, and replicate the mind/brain. Cognitive Science includes relevant parts of: –Artificial Intelligence –Psychology –Philosophy/Logic –Educational Technology –Linguistics –Neuroscience –Anthropology = our disciplines

The Cognitive Science Department’s Four Foci …

Cognitive System Environment Perception Action Perception and Action Low-level High-level subdeclarative computation

Cognitive System Environment Perception Action Computational Cognitive Modeling Short Term Memory Long Term Memory Perception & Action Low-level High-level subdeclarative computation Clarion, ACT-R

Cognitive System Environment Perception Action Human & Machine Reasoning Short Term Memory Long Term Memory Perception & Action Low-level High-level subdeclarative computation ACT-R Mental Metalogic Syntactic Reasoning Semantic Reasoning

Cognitive System Environment Perception Action Cognitive Engineeering Short Term Memory Long Term Memory Perception & Action Low-level High-level subdeclarative computation ACT-R Mental Metalogic Syntactic Reasoning Semantic Reasoning

The Rensselaer AI & Reasoning Lab (The RAIR Lab) Over $1million internal seeding Busy Beaver Project; Intelligent Tutoring Systems (mathematical logic) Slate (Intelligence Analysis) Item generation (theorem proving-based generation) synthetic characters/psychological time

The Paradox of Human vs. Machine Reasoning On the one hand, machine reasoners are getting faster, and can do some impressive things. On the other hand, as Herb Simon, one of the grandfathers of AI, admitted before he died, machine reasoning is absolutely nowhere when stacked against first-rate human reasoning.

Response: Next-Generation AI publication-wise, lots: e.g., Ron Sun has joined CSD! Yingrui Yang is prolific! see CD

Proof using Hybrid Reasoning from Mental MetaLogic (Proof Construction in Hyperproof)

Applications (interconnected) Defense –intelligence analysis (ARDA) –cognitive architectures (Clarion, ACT-R, Soar) –“3rd generation” wargaming (w/ AFRL) Frontier-Breaking Logic & AI/Computer Science –Athena –MARMML/CHOGIC –EGs, ATP based in  and  –The  Cracking (“Busy Beaver”) Project (NSF) AI & Interactive Digital Entertainment –State-of-the-art in teaching game development –Including advanced synthetic characters –Co-Locational Digital Entertainment (CLIDE)? AI & Education/Edutainment –intelligent tutoring systems (ITS) –Including, again, advanced synthetic characters Cognitive Prostheses (exploratory only at this stage)

Some Upcoming Props NSF -> Ed -> K-12 -> IMD (Simlog; Chogic) NSF -> Ed -> CCLI-EMD (ITS; in-person meet in DC before submission) Retreat to seed $ prop, DARPA Seed $ AFRL (tomorrow to Rome) NSF CyberTrust?

Demo Sequence (blue ones on for ) Selmer gives overview 205p; 215 (all slots include reasonable Q&A) Busy Beaver Competition (SB for Owen Kellett) – NIMD, Slate & a simple scenario (Josh Taylor) Slate & empirical investigation of reasoning using cave & recording of subjects tackling micro-scenario (Jason Wodicka) Advanced Synthetic Characters (Selmer et al.) ppt on CD Clarion demo (Ron Sun) Ron is in China! EG-based machine reasoning (Bram van Heuveln)  & PERI (Bettina Schimanski) Athena & railroad example (Kostas Arkoudas) –include run showing soundness of UNIX OS, and brief explanation –tie to CyberTrust Digital Entertainment (including wargaming) (Marc Destefano (representing AFRL’s Paul Bello as well)) –includes best two games created by RPI students –uses Paul’s slides, and alludes to exploratory collaboration with Rome AFRL –includes quick mention of commercial wargames/strategy-based conflict Introductory Cognitive Robotics (Marc Destefano) –use video I just used in DC? Superteaching (Marc Destefano) Discussion, Q&A etc. last 15 minutes