RAIR Lab John Licato [email protected] Selmer Bringsjord Department of Cognitive Science Department of...
-
Upload
byron-moody -
Category
Documents
-
view
231 -
download
0
Transcript of RAIR Lab John Licato [email protected] Selmer Bringsjord Department of Cognitive Science Department of...
RAIR LabJohn [email protected]
Selmer BringsjordDepartment of Cognitive ScienceDepartment of Computer Science
Lally School of ManagementRensselaer AI & Reasoning (RAIR) Lab
Rensselaer Polytechnic Institute (RPI)Troy NY 12180 USA
[email protected] 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 [email protected]
Selmer BringsjordDepartment of Cognitive ScienceDepartment of Computer Science
Lally School of ManagementRensselaer AI & Reasoning (RAIR) Lab
Rensselaer Polytechnic Institute (RPI)Troy NY 12180 USA
[email protected] 2.1.12-1200NY