1 / 17

RAIR Lab Visit, Ken Gertz 010604 (draft v3; final)

RAIR Lab Visit, Ken Gertz 010604 (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

bikita
Download Presentation

RAIR Lab Visit, Ken Gertz 010604 (draft v3; final)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. RAIR Lab Visit, Ken Gertz010604(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

  2. RAIR Lab Visit, Ken Gertz010604(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

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

  4. Looking at Trends Paints the Same Picture 2001 How? 2010

  5. 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

  6. The Cognitive Science Department’s Four Foci…

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

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

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

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

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

  12. 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.

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

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

  15. 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)

  16. 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?

  17. Demo Sequence (blue ones on for 1.6.04) • Selmer gives overview start @ 205p; done @ 215 (all slots include reasonable Q&A) • Busy Beaver Competition (SB for Owen Kellett) 215-220 • http://www.cs.rpi.edu/~kelleo/busybeaver • NIMD, Slate & a simple scenario (Josh Taylor) 220-235 • 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) 235-250 • Athena & railroad example (Kostas Arkoudas) 250-310 • 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)) 310-325 • 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) 325-335 • use video I just used in DC? • Superteaching (Marc Destefano) 335-345 • Discussion, Q&A etc. last 15 minutes

More Related