rair lab john licato licatj@rpi.edu selmer bringsjord department of cognitive science department of...

RAIR LabJohn Licatolicatj@rpi.edu

Selmer BringsjordDepartment of Cognitive ScienceDepartment of Computer Science

Lally School of ManagementRensselaer AI & Reasoning (RAIR) Lab

Rensselaer Polytechnic Institute (RPI)Troy NY 12180 USA

Selmer.Bringsjord@gmail.comRPI 2.1.12-1200NY

RAIR Lab Approach:

Logic-based:AI & Computational CogSci

Reasoning

Our FutureAutonomous lethal robots on the battlefield.Autonomous “lethal” robots in our hospitals.

Autonomous lethal robots in law enforcement....

Problem, More Specifically

•How can we ensure that the robots in question always behave in an ethically correct manner?

•How can we know ahead of time, via rationales expressed in clear English (and/or other natural languages), that they will so behave?

•How can we know in advance that their behavior will be constrained specifically by the ethics affirmed by ethically correct human overseers?

Another not-too-technical introductory paper, addressing this problem:

Analogico-Deductive Reasoning

•Moral reasoning has a lot to do with analogical reasoning

•ADR: The combination of analogical and hypothetico-deductive reasoning

What is relevant –Do Fish Feel Pain?

MeMe FishFish

FeelsPainFeelsPain

FeelsPainFeelsPain

?

Fish are like humans; therefore they feel pain like humans

R&D Thrusts• Engineer radically new system able to prove Gödel’s incompleteness theorems from

scratch. For Air Force.

• Engineer the world’s first artificial conductor/educator: Handle; CAIRA. For National Science Foundation.

• Answer the biggest questions about AI and the human mind.

• E.g., “Can a computing machine grasp the infinite?”

• For John Templeton Foundation.

• Mini-robotics demonstration of X for military.

• Save the world by championing & engineering ethically correct warfighting robots.

• Introduce a new way of teaching programming that (unlike eg LOGO) produces cognitive transfer, and addresses the “STEM-dearth” problem.

• Engineering cognitively robust synthetic characters. IBM, Disney, …

• AI & Economics: A new form of LAI-based economics ...

• NLP: Logico-mathematically intense; very technical.

• Formalizing physics => formalizing cancer-relevant biological processes. Embryonic.

RAIR LabJohn Licatolicatj@rpi.edu

Selmer BringsjordDepartment of Cognitive ScienceDepartment of Computer Science

Lally School of ManagementRensselaer AI & Reasoning (RAIR) Lab

Rensselaer Polytechnic Institute (RPI)Troy NY 12180 USA

Selmer.Bringsjord@gmail.comRPI 2.1.12-1200NY