RAIR Lab John Licato Selmer Bringsjord Department of Cognitive Science Department of Computer Science Lally School of Management Rensselaer.

Slides:

Advertisements

Similar presentations

ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.

Advertisements

RAIR Lab Visit, Ken Gertz (draft v3; final) Rensselaer AI & Reasoning (RAIR) Lab Personnel: Faculty: Selmer Bringsjord, Konstantine Arkoudas, Marc.

Introducing Chogic: A Primitive Part of the MARMML Machine Reasoning System Selmer Bringsjord Konstantine Arkoudas, Josh Taylor, Yingrui Yang, Paul Bello.

SEARCH AND SEIZURE A REASONABLE TEST Created by the Ohio State Bar Foundation.

US Constitution and Right to Privacy Generally only protects against government action Doesn’t obligate government to do something, but rather to refrain.

Suspects Rights Amendments 4, 5 and 6. 4 th Amendment The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable.

Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)

THEFT BURGLARY THEFT VIOLENT CRIME THEFT CAR THEFT THEFT BURGLARY THEFT.

Internet Privacy Jillian Brinberg, Maggie Kowalski, Sylvia Han, Isabel Smith-Bernstein, Jillian Brinberg.

RFID: The Reward is Worth the Risk With Government Intervention By Alex Johnson.

LbR and Robust Reasoning (Solidification Loop); LbR and Introspection (Solidification Loop); LbR and Knowledge Acquisition Over Text with Diagrammatic.

Can Cognitive Science Survive Hypercomputation? Selmer Bringsjord Professor of Logic, Philosophy, Cognitive Science, and Computer Science with... Marc.

Part 3, Bill of Rights.

Fourth Amendment Assignment. Amendment 4: Right to Search and Seizure The right of the people to be secure in their persons, houses, papers, and effects,

Lisa Morales CIS * Online and offline purchase data * Supermarket savings cards * White pages * Surveys * Sweepstakes and contest entries *

Reference: "Artificial Intelligence, a Modern Approach, 3rd ed."

CS 3043 Social Implications Of Computing 9/7/2015© 2004 Keith A. Pray 1 Class 7 Crime And Privacy Keith A. Pray Instructor socialimps.keithpray.net.

California vs. Acevedo By: Caroline Correa & Raul Perez.

Legal Case Studies November 8,  1 st Amendment to US Constitution  4 th Amendment to US Constitution  Tinker vs. Des Moines.

What right do you have to keep your stuff private? How does this right change depending on whether you are home or at school? Does it change depending.

2.6 Protecting Individual Citizens 1 st & 4 th Amendments In Depth Government & Citizenship Timpanogos High School.

It really is easier that you think!. Why use learning objectives  If you don't know where you are going, any road will take you there.  Lewis Carroll,

By: Justin Cruz Engl Ms. Deezy. Government?  Government is supposed to protect us but who protects us from the government?  How much control should.

Is it Possible to Build Dramatically Compelling Interactive Digital Entertainment? v2 Selmer Bringsjord Director, Minds & Machines Laboratory Prof of Logic.

Discrete Structures for Computing

CS 3043 Social Implications Of Computing 10/21/2015© 2008 Keith A. Pray 1 Class 5 Crime and Privacy Keith A. Pray Instructor socialimps.keithpray.net.

PROCEDURES IN THE JUSTICE SYSTEM, 8 th ed. Roberson, Wallace, and Stuckey PRENTICE HALL ©2007 Pearson Education, Inc. Upper Saddle River, NJ

How Solvable Is Intelligence? A brief introduction to AI Dr. Richard Fox Department of Computer Science Northern Kentucky University.

Artificial Intelligence: Introduction Department of Computer Science & Engineering Indian Institute of Technology Kharagpur.

Search and Seizure. I) Search and Seizure A) The 4 th amendment outlines the rules governing search and seizure.

The Bill of Rights The First Fundamental Changes of the Constitution.

Lecture 2 Applications of Propositional Logic. Translating English into Logic " The right of the people to be secure in their persons, houses, papers,

The Bill of Rights The first 10 amendments (changes/additions) to the U.S. Constitution.

“The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated;

The Fourth Amendment, Technology, and a Right to Privacy

RIGHT TO PRIVACY A presentation by: Stacy Leatherberry Kristyn Bryson Mandy Timms Lisa Wheeler Jacob Sabins.

THE BILL OF RIGHTS REASONS AND CONTENTS. REASONS CREATED RIGHTS WERE NOT LISTED IN THE ORIGINAL CONSTITUTION ANTI-FEDERALISTS WANTED A GUARANTEE THAT.

According to the Bill of Rights, you have the freedom of speech which means that you have the right to practice your religion › The rules are a little.

District 87 mandating a 1 minute prayer at the beginning of each school day. The class valedictorian conducting a prayer during his address at graduation.

Due Process Amendments What is due process? Due process, for the people of the United States, refers to how laws are enforced why laws are.

Hypercomputation and the Human Mind Selmer Bringsjord Professor of Logic, Philosophy, Cognitive Science, and Computer Science Rensselaer AI & Reasoning.

STOP AND FRISK Terry v. Ohio and NY City Stop and Frisk Policy.

By, Kris Coles Eva Ortega Christina Torres. Veronia School District v. Acton First court case to go to Supreme Court, were the school district demand.

T HE R IGHT TO B E L EFT A LONE Essential Question: How has an individual’s right to privacy changed over time?

By: Zach L., Shae R, iiyonna.  People involved: his vice presidents- George Clinton ( ) and Elbridge Gerry ( )  details and importance:

First 10 Amendments to the United States Constitution.

Fourth Amendment And Probable Cause. By the end of this presentation you should be able to understand; ◦Fourth Amendment of the U.S. Constitution ◦How.

Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)

1 st Amendment: Freedom of Expression “Congress shall make no law.

CS154 Formal Languages and Computability Thaddeus Aid Department of Computer Science San Jose State University Spring 2016 Creative Commons Attribution-ShareAlike.

LISTENING IN… Debating the Legitimacy of Eavesdropping on American Citizens With or Without Just Cause.

4th Amendment "The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall.

Limiting the Right of Search

Enforcement of Fourth Amendment Protections Is a man’s home his castle

Personal protections and liberties added to the Constitution for you!

Forensics Week 7.

Chapter 14 Searches and Seizures

Reviewing AMERICAN GOVERNMENT

The Bill of Rights: the iv amendment

Understanding Law: Mr Thompson, APT Academy

Fourth Amendment.

Fourth Amendment And Probable Cause.

4th Amendment According to the Fourth Amendment, the people have a right “to be secure in their persons, houses, papers and effects, against unreasonable.

Bill of Rights Do Now: Paraphrase the Fourth Amendment to the Constitution. Rewrite it into your own words without leaving out any information. You can.

Warm Up – February 11 Grab the handouts from the front table

Introduction to Artificial Intelligence Instructor: Dr. Eduardo Urbina

How does this Constitutional amendment protect Americans?

Judicial Restraint vs. Judicial Activism

“The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated,

Presentation transcript:

RAIR Lab John Licato Selmer Bringsjord Department of Cognitive Science Department of Computer Science Lally School of Management Rensselaer AI & Reasoning (RAIR) Lab Rensselaer Polytechnic Institute (RPI) Troy NY USA RPI NY

RAIR Lab Selmer Bringsjord Department of Cognitive Science Department of Computer Science Lally School of Management Rensselaer AI & Reasoning (RAIR) Lab Rensselaer Polytechnic Institute (RPI) Troy NY USA RPI NY Soon moving to new digs in Winslow...

RAIR Lab Approach: Logic-based: AI & Computational CogSci Reasoning

Bringsjord, S. “Logic-Based/Declarative Computational Cognitive Modeling” in R. Sun, ed., The Cambridge Handbook of Computational Psychology (Cambridge, UK: Cambridge University Press), 127–169. Preprint: Bringsjord, S. (2008) “The Logicist Manifesto: At Long Last Let Logic-Based AI Become a Field Unto Itself” Journal of Applied Logic 6.4: 502–525. Preprint: Two starting papers:

And for another introductory paper, some context.

Our Future Autonomous lethal robots on the battlefield. Autonomous “lethal” robots in our hospitals. Autonomous lethal robots in law enforcement....

A Problem If future robots behave immorally, we are killed, or worse.

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?

Bill Joy: “We can’t.” But: Bringsjord, S. (2008) “The Future Can Heed Us” AI & Society 22.4: 539– SB: “We can.”

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

Betting the farm on one or two logical systems (e.g., FOL, propositional calculus)—or for that matter on a particular theory within a logical system (e.g. Game Theory, probability calculus). versus We know humans operate in ways that range across an infinite number of logical systems, so we need a formal theory, and a corresponding set of processes, that captures the meta-coördination of myriad logical systems. Important Aspect of Lab’s Approach: Avoid Limitations of Elementary Logic-Based R&D

The Space of Logical Systems FOL ZF Classical Mathematics Epistemic Logics Infinitary Logics Strength-Factor Logics Deontic Logics Visual Logics (Vivid, e.g.) Propositional Calculus (Slate, e.g.) (Cognitive Event Calculus, e.g.)... Aristotelian Logic Gödelian Incompleteness Description Logics...

FOL ZF Classical Mathematics Epistemic Logics Infinitary Logics Strength-Factor Logics Deontic Logics Visual Logics (Vivid, e.g.) Propositional Calculus (Slate, e.g.) (Socio-Cognitive Calculus, e.g.)... Aristotelian Logic Gödelian Incompleteness Description Logics... Background Logic } Inspired by Piaget’s 4+-stage view. Simon seemed to be starting to face up to the daunting reality shortly before his death.

FOL ZF Classical Mathematics Epistemic Logics Infinitary Logics Strength-Factor Logics Deontic Logics Visual Logics (Vivid, e.g.) Propositional Calculus (Slate, e.g.) (Socio-Cognitive Calculus, e.g.)... Aristotelian Logic Gödelian Incompleteness Description Logics... Background Logic } And all forms of reasoning formalizable via logic: deduction induction abduction analogical reasoning “creative” reasoning probabilistic reasoning...

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? Me Fish Feels Pain Feels Pain Feels Pain Feels Pain ? Fish are like humans; therefore they feel pain like humans

They DO feel pain:They DO NOT feel pain: They are not conscious, and therefore cannot feel pain. They do not have nociceptors. They have nociceptors, specifically C fibres. Certain fish “grunt” when shocked, and respond to harmful chemicals by showing pain-avoidance behaviors. The reactions to painful stimuli are just automatic, involuntary reflexes; the fish brain does not have a neocortex. The pain-avoidance behaviors disappear when fish are given morphine.

Fourth Amendment: The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated, and no Warrants shall issue, but upon probable cause, supported by Oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized. Fourth Amendment: The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated, and no Warrants shall issue, but upon probable cause, supported by Oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized. Wiretapping homes? (Olmstead v. US) Yes; eavesdropping analogous to opening sealed letters An example from USSC Case Law (Weinreb 2005) No; only physical places and things count No; only physical places and things count Wiretapping phone booths? (Katz v. US) Yes; phone booth involves reasonable expectation of privacy No; no physical penetration nor tangible property taken s and the NSA? (…?)

Crowd-sourcing Uncomputable Problems

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 Lab John Licato Selmer Bringsjord Department of Cognitive Science Department of Computer Science Lally School of Management Rensselaer AI & Reasoning (RAIR) Lab Rensselaer Polytechnic Institute (RPI) Troy NY USA RPI NY