1 / 12

Taking Analyst Cognition Seriously in the Engineering of Slate

Taking Analyst Cognition Seriously in the Engineering of Slate. Selmer Bringsjord with... Andy Shilliday, Josh Taylor, Jason Wodicka, Marc Destefano Rensselaer AI & Reasoning (RAIR) Laboratory Department of Cognitive Science Department of Computer Science

gabe
Download Presentation

Taking Analyst Cognition Seriously in the Engineering of Slate

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. Taking Analyst Cognition Seriously in the Engineering of Slate Selmer Bringsjord with... Andy Shilliday, Josh Taylor, Jason Wodicka, Marc Destefano Rensselaer AI & Reasoning (RAIR) Laboratory Department of Cognitive Science Department of Computer Science Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA NIMD PI Meeting 5.04 selmer@rpi.edu http://www.rpi.edu/~brings

  2. The Rensselaer AI & Reasoning Lab(The RAIR Lab) Wargaming • Cracking Project; “Superteaching” A while back, RPI Strategic Investment hypothesis generation; AI in support of IA Sage/Slate (Intelligence Analysis) Item generation (theorem proving-based generation) synthetic characters/psychological time

  3. Engineering Method for RAIR Lab’sNext-Generation “Weak” Logic-based AI • Isolate and dissect human ingenuity. (psychology of reasoning) • Mathematize a weak correlate to this ingenuity courtesy of advanced logical systems. • Implement this correlate in working programs. • Augment the correlate with machine-specific power.

  4. Key Empirically-Confirmed Facts • “System 2” cognition provides an antidote to bias, irrationality, etc. (“System 1” cognition is the culprit.) • “System 2” cognition can be mathematized, and can be taught. • Human reasoning, poor to Gödelian, is • at once linguistic and pictorial; • astonishingly heterogeneous; • not at all like how standard (e.g., resolution-based) machine reasoners reason.

  5. Slate is... • an intelligent assistant to IAs; • part of virtual IA’s mind in the “Black Box” (reasoning component of system that includes ACT-R) Simulated Human User; • a system for scoring performance of subject in Sage (and related IA simulators); • a system for teaching IA reasoning; and of course... • a plug/unplug part of Sage. • And all along the way: • publications and presentations (many; see our ever-growing list with other members of the Sage team); • empirical investigation of the nature of IA reasoning.

  6. Invaluable Feedback from Analysts v1.1 v1.4

  7. The Slate System (v1.4)

  8. Three Key Features(from among many) • Reflects new formal theories of hypothesis generation. • E.g., retrospective and prospective MMOI-based abduction • Includes a system for sketching out and testing visual arguments • Designed to model not just deduction, but abduction, induction, and “mental model”-based reasoning.

  9. Subject TacklingMicro-Scenario “New Order #1”

  10. Slate “Tomorrow”(thanks to subject/analyst feedback)

  11. Slate “Tomorrow”(thanks to subject/analyst feedback)

More Related