Rensselaer AI & Reasoning (RAIR) Lab
|
|
- Beverly Andrews
- 6 years ago
- Views:
Transcription
1 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
2 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
3 RAIR Lab Approach:
4 RAIR Lab Approach: Logic-based: AI & Computational CogSci
5 Important Aspect of Lab s Approach: Avoid Limitations of Elementary Logic-Based R&D
6 Important Aspect of Lab s Approach: Avoid Limitations of Elementary Logic-Based R&D 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).
7 Important Aspect of Lab s Approach: Avoid Limitations of Elementary Logic-Based R&D 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
8 Important Aspect of Lab s Approach: Avoid Limitations of Elementary Logic-Based R&D 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.
9 The Space of Logical Systems (Slate, e.g.) (Vivid, e.g.) Classical Mathematics ZF... (Cognitive Event Calculus, e.g.) Strength-Factor Logics... Deontic Logics Visual Logics... Infinitary Logics Gödelian Incompleteness Epistemic Logics FOL Description Logics Aristotelian Logic... Propositional Calculus
10 Logic} Background And all forms of reasoning formalizable via logic: Classical Mathematics ZF... (Socio-Cognitive Calculus, e.g.) Epistemic Logics FOL (Slate, e.g.) deduction induction abduction... analogical reasoning Deontic creative reasoning Logics probabilistic reasoning... Description Strength-Factor Logics Logics Aristotelian Logic (Vivid, e.g.) Visual Logics Propositional Calculus Infinitary Logics Gödelian Incompleteness
11 R&D Thrusts
12
13
14 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF.
15 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind.
16 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite?
17 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation.
18 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military.
19 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military. Save the world by championing & engineering ethically correct robots.
20 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military. Save the world by championing & engineering ethically correct robots. Introduce a new way of teaching programming that (unlike eg LOGO) produces cognitive transfer, and addresses the STEM-dearth problem.
21 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military. Save the world by championing & engineering ethically correct 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,...
22 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military. Save the world by championing & engineering ethically correct 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,... Gaming...?? Brainstorming, discussing at the moment... w/ Simon...
23 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military. Save the world by championing & engineering ethically correct 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,... Gaming...?? Brainstorming, discussing at the moment... w/ Simon... AI & Econ: 1) A new form of LAI-based economics; 2) AI & The Econ Tightrope
24 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military. Save the world by championing & engineering ethically correct 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,... Gaming...?? Brainstorming, discussing at the moment... w/ Simon... AI & Econ: 1) A new form of LAI-based economics; 2) AI & The Econ Tightrope NLP: Logico-mathematically intense; very technical.
25 Engineer the world s first artificial conductor/educator: Handle; CAIRA. NSF. Answer the biggest questions about AI and the human mind. E.g., Can a computing machine grasp the infinite? Templeton Foundation. Mini-robotics demonstration of X for military. Save the world by championing & engineering ethically correct 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,... Gaming...?? Brainstorming, discussing at the moment... w/ Simon... AI & Econ: 1) A new form of LAI-based economics; 2) AI & The Econ Tightrope NLP: Logico-mathematically intense; very technical. Formalizing physics => formalizing cancer-relevant biological processes. Embryonic.
Propositional Calculus II: More Rules of Inference, Application to Additional Motivating Problems
Propositional Calculus II: More Rules of Inference, Application to Additional Motivating Problems Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer
More informationUnethical but Rule-Bound Robots Would Kill Us All
Unethical but Rule-Bound Robots Would Kill Us All Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Rensselaer Polytechnic Institute
More informationBecause Strong AI is Dead, Test-Based AI Lives
Because Strong AI is Dead, Test-Based AI Lives Selmer Bringsjord Dept of Cognitive Science Dept of Computer Science Rensselaer AI & Reasoning (RAIR) Lab Rensselaer Polytechnic Institute (RPI) Troy NY 12180
More informationOnly a Technology Triad Can Tame Terror
Only a Technology Triad Can Tame Terror Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Rensselaer Polytechnic Institute (RPI) Troy
More informationLogicist Machine Ethics Can Save Us
Logicist Machine Ethics Can Save Us Selmer Bringsjord et al. Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Lally School of Management & Technology
More informationThoughts on: Robotics, Free Will, and Predestination
Thoughts on: Robotics, Free Will, and Predestination Selmer Bringsjord (with help from Bettina Schimanski) Rensselaer AI & Reasoning (RAIR) Laboratory Department of Cognitive Science Department of Computer
More informationJOHN LICATO. (808) Assistant Professor Department of Computer Science and Engineering University of South Florida
JOHN LICATO (808) 386 0232 licato@usf.edu Assistant Professor Department of Computer Science and Engineering University of South Florida EDUCATION Rensselaer Polytechnic Institute (RPI) May 2015 PhD in
More informationCould an AI Ever Be the World s Best Crossword Puzzle Solver?
Could an AI Ever Be the World s Best Crossword Puzzle Solver? Selmer Bringsjord with help from Dr Atriya Sen Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer
More informationThe Multi-Mind Effect
The Multi-Mind Effect Selmer Bringsjord 1 Konstantine Arkoudas 2, Deepa Mukherjee 3, Andrew Shilliday 4, Joshua Taylor 5, Micah Clark 6, Elizabeth Bringsjord 7 Department of Cognitive Science 1-6 Department
More informationThe Singularity, the MiniMaxularity, and Human Development (Part II)
The Singularity, the MiniMaxularity, and Human Development (Part II) Selmer Bringsjord & Alexander Bringsjord Are Humans Rational? 10/12/17 Selmer.Bringsjord@gmail.com The Singularity, the MiniMaxularity,
More informationSerious Computational Science of Intelligence
Toward a... Serious Computational Science of Intelligence Call for Papers for an AGI 2010 Workshop in Lugano, Switzerland on March 8 2010 Selmer Bringsjord & Naveen Sundar G Department of Computer Science
More informationCognitive Science: What Is It, and How Can I Study It at RPI?
Cognitive Science: What Is It, and How Can I Study It at RPI? What is Cognitive Science? Cognitive Science: Aspects of Cognition Cognitive science is the science of cognition, which includes such things
More informationIntelligent Agents. Introduction to Planning. Ute Schmid. Cognitive Systems, Applied Computer Science, Bamberg University. last change: 23.
Intelligent Agents Introduction to Planning Ute Schmid Cognitive Systems, Applied Computer Science, Bamberg University last change: 23. April 2012 U. Schmid (CogSys) Intelligent Agents last change: 23.
More informationIntroduction to cognitive science Session 3: Cognitivism
Introduction to cognitive science Session 3: Cognitivism Martin Takáč Centre for cognitive science DAI FMFI Comenius University in Bratislava Príprava štúdia matematiky a informatiky na FMFI UK v anglickom
More informationBachelor of Science Program
Bachelor of Science Program The 4-year Bachelor of Science program comprises two phases. In the first five semesters, students are provided with a broad foundation in basic sciences and electrical engineering.
More informationBricken Technologies Corporation Presentations: Bricken Technologies Corporation Corporate: Bricken Technologies Corporation Marketing:
TECHNICAL REPORTS William Bricken compiled 2004 Bricken Technologies Corporation Presentations: 2004: Synthesis Applications of Boundary Logic 2004: BTC Board of Directors Technical Review (quarterly)
More informationFROM AI TO IA AI: Artificial Intelligence IA: Intelligence Amplification Mieke De Ketelaere, SAS NEMEA
FROM AI TO IA AI: Artificial Intelligence IA: Intelligence Amplification Mieke De Ketelaere, AI/CI @ SAS NEMEA About myself G.M. De Ketelaere University of Stuttgart, DE G.M. De Ketelaere and H.W. Guesgen
More informationArtificial Intelligence: An overview
Artificial Intelligence: An overview Thomas Trappenberg January 4, 2009 Based on the slides provided by Russell and Norvig, Chapter 1 & 2 What is AI? Systems that think like humans Systems that act like
More informationInterdisciplinarity on the Bench Top
Interdisciplinarity on the Bench Top Model-based reasoning in bio-science and -engineering university research laboratories Nancy J. Nersessian Georgia Institute of Technology www.cc.gatech.edu/~nersessian
More informationHow to AI COGS 105. Traditional Rule Concept. if (wus=="hi") { was = "hi back to ya"; }
COGS 105 Week 14b: AI and Robotics How to AI Many robotics and engineering problems work from a taskbased perspective (see competing traditions from last class). What is your task? What are the inputs
More informationHistory and Philosophical Underpinnings
History and Philosophical Underpinnings Last Class Recap game-theory why normal search won t work minimax algorithm brute-force traversal of game tree for best move alpha-beta pruning how to improve on
More informationGoals of this Course. CSE 473 Artificial Intelligence. AI as Science. AI as Engineering. Dieter Fox Colin Zheng
CSE 473 Artificial Intelligence Dieter Fox Colin Zheng www.cs.washington.edu/education/courses/cse473/08au Goals of this Course To introduce you to a set of key: Paradigms & Techniques Teach you to identify
More informationBachelor of Business Administration. B.A. Digital Arts and Animation: 3D Animation Concentration
Redwood City, California Lower Division Major Preparation Articulation Agreement: 2017-2018 Catalog The following tables are the assessments of the courses between and (Cogswell College). This table will
More informationCybernetics, AI, Cognitive Science and Computational Neuroscience: Historical Aspects
Cybernetics, AI, Cognitive Science and Computational Neuroscience: Historical Aspects Péter Érdi perdi@kzoo.edu Henry R. Luce Professor Center for Complex Systems Studies Kalamazoo College http://people.kzoo.edu/
More informationLecture 1 What is AI? EECS 348 Intro to Artificial Intelligence Doug Downey
Lecture 1 What is AI? EECS 348 Intro to Artificial Intelligence Doug Downey Outline 1) What is AI: The Course 2) What is AI: The Field 3) Why to take the class (or not) 4) A Brief History of AI 5) Predict
More informationAI Frontiers. Dr. Dario Gil Vice President IBM Research
AI Frontiers Dr. Dario Gil Vice President IBM Research 1 AI is the new IT MIT Intro to Machine Learning course: 2013 138 students 2016 302 students 2017 700 students 2 What is AI? Artificial Intelligence
More informationDeceptive & Counter-Deceptive Machines.5
Deceptive & Counter-Deceptive Machines.5 (Founding) Symposium at IACAP 2013 When & Where: Specific T&P during conference span July 15 17 2013, TBA Kubrick s landmark film 2001 features an at once deceptive
More informationProcess Planning - The Link Between Varying Products and their Manufacturing Systems p. 37
Definitions and Strategies Changeability - An Introduction p. 3 Motivation p. 3 Evolution of Factories p. 7 Deriving the Objects of Changeability p. 8 Elements of Changeable Manufacturing p. 10 Factory
More informationIntroduction to Artificial Intelligence: cs580
Office: Nguyen Engineering Building 4443 email: zduric@cs.gmu.edu Office Hours: Mon. & Tue. 3:00-4:00pm, or by app. URL: http://www.cs.gmu.edu/ zduric/ Course: http://www.cs.gmu.edu/ zduric/cs580.html
More informationComputer Science and Philosophy Information Sheet for entry in 2018
Computer Science and Philosophy Information Sheet for entry in 2018 Artificial intelligence (AI), logic, robotics, virtual reality: fascinating areas where Computer Science and Philosophy meet. There are
More informationArtificial Intelligence 125 (2001) Book Review
Artificial Intelligence 125 (2001) 227 232 Book Review N.J. Nilsson, Artificial Intelligence: A New Synthesis T. Dean, J. Allen and Y. Aloimonos, Artificial Intelligence: Theory and Practice D. Poole,
More informationIntroduction to Computer Science with MakeCode for Minecraft
Introduction to Computer Science with MakeCode for Minecraft About this Course This is a semester-long course targeted at middle school grades 6-8, as an introduction to Computer Science. The course is
More informationArtificial Intelligence
Torralba and Wahlster Artificial Intelligence Chapter 1: Introduction 1/22 Artificial Intelligence 1. Introduction What is AI, Anyway? Álvaro Torralba Wolfgang Wahlster Summer Term 2018 Thanks to Prof.
More informationCSC384 Intro to Artificial Intelligence* *The following slides are based on Fahiem Bacchus course lecture notes.
CSC384 Intro to Artificial Intelligence* *The following slides are based on Fahiem Bacchus course lecture notes. Artificial Intelligence A branch of Computer Science. Examines how we can achieve intelligent
More informationUNIT 13A AI: Games & Search Strategies
UNIT 13A AI: Games & Search Strategies 1 Artificial Intelligence Branch of computer science that studies the use of computers to perform computational processes normally associated with human intellect
More informationSTUDENT FOR A SEMESTER SUBJECT TIMETABLE MAY 2018
Bond Business School STUDENT F A SEMESTER SUBJECT TIMETABLE MAY 2018 SUBJECT DESCRIPTION Accounting for Decision Making ACCT11-100 This subject provides a thorough grounding in accounting with an emphasis
More informationCOS 402 Machine Learning and Artificial Intelligence Fall Lecture 1: Intro
COS 402 Machine Learning and Artificial Intelligence Fall 2016 Lecture 1: Intro Sanjeev Arora Elad Hazan Today s Agenda Defining intelligence and AI state-of-the-art, goals Course outline AI by introspection
More informationLecture 1 What is AI?
Lecture 1 What is AI? CSE 473 Artificial Intelligence Oren Etzioni 1 AI as Science What are the most fundamental scientific questions? 2 Goals of this Course To teach you the main ideas of AI. Give you
More informationArtificial Intelligence
Politecnico di Milano Artificial Intelligence Artificial Intelligence What and When Viola Schiaffonati viola.schiaffonati@polimi.it What is artificial intelligence? When has been AI created? Are there
More informationICTCM 28th International Conference on Technology in Collegiate Mathematics
ARDUINO IN THE CLASSROOM: CLASSROOM READY MODULES FOR UNDERGRADUATE MATHEMATICS Michael D. Seminelli 1 Department of Mathematical Sciences United States Military Academy West Point, NY 10996 Michael.Seminelli@usma.edu
More informationArtificial Intelligence: Your Phone Is Smart, but Can It Think?
Artificial Intelligence: Your Phone Is Smart, but Can It Think? Mark Maloof Department of Computer Science Georgetown University Washington, DC 20057-1232 http://www.cs.georgetown.edu/~maloof Prelude 18
More informationEngineering, & Mathematics
8O260 Applied Mathematics for Technical Professionals (R) 1 credit Gr: 10-12 Prerequisite: Recommended prerequisites: Algebra I and Geometry Description: (SGHS only) Applied Mathematics for Technical Professionals
More informationEmily Dobson, Sydney Reed, Steve Smoak
Emily Dobson, Sydney Reed, Steve Smoak A computer that has the ability to perform the same tasks as an intelligent being Reason Learn from past experience Make generalizations Discover meaning 1 1 1950-
More informationAI Principles, Semester 2, Week 1, Lecture 2, Cognitive Science and AI Applications. The Computational and Representational Understanding of Mind
AI Principles, Semester 2, Week 1, Lecture 2, Cognitive Science and AI Applications How simulations can act as scientific theories The Computational and Representational Understanding of Mind Boundaries
More informationCS344: Introduction to Artificial Intelligence (associated lab: CS386)
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 1: Introduction 3 rd Jan, 2011 Basic Facts Faculty instructor: Dr. Pushpak Bhattacharyya
More informationHypernetworks in the Science of Complex Systems Part I. 1 st PhD School on Mathematical Modelling of Complex Systems July 2011, Patras, Greece
Hypernetworks in the Science of Complex Systems Part I Hypernetworks in the Science of Complex Systems I Complex Social Systems science necessarily involves policy Hypernetworks in the Science of Complex
More informationCS360: AI & Robotics. TTh 9:25 am - 10:40 am. Shereen Khoja 8/29/03 CS360 AI & Robotics 1
CS360: AI & Robotics TTh 9:25 am - 10:40 am Shereen Khoja shereen@pacificu.edu 8/29/03 CS360 AI & Robotics 1 Artificial Intelligence v We call ourselves Homo sapiens v What does this mean? 8/29/03 CS360
More informationDomain: Computer Science and Information Technology Curricula for the First Year (2012/2013)
Curricula for the First Year (2012/2013) Type/e F Mathematics 1 3 2 - - E - - - - - 5 F Mathematics 2 3 2 - - E - - - - - 5 F Computer programming 2-2 - E - - - - - 5 D Introduction to operating systems
More informationPAGI World: A Physically Realistic, General-Purpose Simulation Environment for Developmental AI Systems
PAGI World: A Physically Realistic, General-Purpose Simulation Environment for Developmental AI Systems John Licato 1 and Selmer Bringsjord 2 Analogical Constructivism and Reasoning Lab 1 Indiana University/Purdue
More informationIntroduction to Computer Science
Introduction to CS, 2003 p.1 Introduction to Computer Science Ian Leslie with thanks to Robin Milner, Andrew Pitts and others... Computer Laboratory In the beginning... Introduction to CS, 2003 p.2 Introduction
More informationToward a General Logicist Methodology for Engineering Ethically Correct Robots
Toward a General Logicist Methodology for Engineering Ethically Correct Robots Selmer Bringsjord Konstantine Arkoudas Paul Bello Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department
More informationAppendices master s degree programme Human Machine Communication
Appendices master s degree programme Human Machine Communication 2015-2016 Appendix I Teaching outcomes of the degree programme (art. 1.3) 1. The master demonstrates knowledge, understanding and the ability
More informationIntroduction and History of AI
15-780 Introduction and History of AI J. Zico Kolter January 13, 2014 1 What is AI? 2 Some classic definitions Buildings computers that... Think like humans Act like humans Think rationally Act rationally
More informationA Modified Perspective of Decision Support in C 2
SAND2005-2938C A Modified Perspective of Decision Support in C 2 June 14, 2005 Michael Senglaub, PhD Dave Harris Sandia National Labs Sandia is a multiprogram laboratory operated by Sandia Corporation,
More informationA Brief History of Artificial Intelligence and How It s Revolutionizing Customer Service Today
A Brief History of Artificial Intelligence and How It s Revolutionizing Customer Service Today SmartMax Software, Inc. Natalie Delamater 07.17.2017 1 TABLE OF CONTENTS Introduction 3 A (Very) Brief History
More informationUPG - DUAL ENROLLMENT Courses offered in Spring 2018
UPG - DUAL ENROLLMENT Courses offered in Spring 2018 ANTH 0680 INTRODUCTION TO PHYSICAL ANTHROPOLOGY Designed to introduce the issues, theories, and methods of physical anthropology. Beginning with a consideration
More informationPhilosophy. AI Slides (5e) c Lin
Philosophy 15 AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15 1 15 Philosophy 15.1 AI philosophy 15.2 Weak AI 15.3 Strong AI 15.4 Ethics 15.5 The future of AI AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15
More informationWhat is Artificial Intelligence? Alternate Definitions (Russell + Norvig) Human intelligence
CSE 3401: Intro to Artificial Intelligence & Logic Programming Introduction Required Readings: Russell & Norvig Chapters 1 & 2. Lecture slides adapted from those of Fahiem Bacchus. What is AI? What is
More informationGeneral Education Rubrics
General Education Rubrics Rubrics represent guides for course designers/instructors, students, and evaluators. Course designers and instructors can use the rubrics as a basis for creating activities for
More informationGSAS Advising. Fall Ben Chang West Hall 105 Office Hours: Tuesdays, 2:30-5:00
GSAS Advising Fall 2014 http://games.wp.rpi.edu http://gsas.rpi.edu Ben Chang changb3@rpi.edu West Hall 105 Office Hours: Tuesdays, 2:30-5:00 CORE Year 1 + 2 COGS 2520 ARTS 1040 COGS 4320 COMM 1600 Intro
More informationComputer Science as a Discipline
Computer Science as a Discipline 1 Computer Science some people argue that computer science is not a science in the same sense that biology and chemistry are the interdisciplinary nature of computer science
More informationDigital image processing vs. computer vision Higher-level anchoring
Digital image processing vs. computer vision Higher-level anchoring Václav Hlaváč Czech Technical University in Prague Faculty of Electrical Engineering, Department of Cybernetics Center for Machine Perception
More informationCMSC 372 Artificial Intelligence. Fall Administrivia
CMSC 372 Artificial Intelligence Fall 2017 Administrivia Instructor: Deepak Kumar Lectures: Mon& Wed 10:10a to 11:30a Labs: Fridays 10:10a to 11:30a Pre requisites: CMSC B206 or H106 and CMSC B231 or permission
More informationArtificial intelligence: past, present and future
Artificial intelligence: past, present and future Thomas Bolander, Associate Professor, DTU Compute Danske Ideer, 15 March 2017 Thomas Bolander, Danske Ideer, 15 Mar 2017 p. 1/21 A bit about myself Thomas
More informationarxiv: v1 [cs.ai] 20 Feb 2015
Automated Reasoning for Robot Ethics Ulrich Furbach 1, Claudia Schon 1 and Frieder Stolzenburg 2 1 Universität Koblenz-Landau, {uli,schon}@uni-koblenz.de 2 Harz University of Applied Sciences, fstolzenburg@hs-harz.de
More informationA Balanced Introduction to Computer Science, 3/E
A Balanced Introduction to Computer Science, 3/E David Reed, Creighton University 2011 Pearson Prentice Hall ISBN 978-0-13-216675-1 Chapter 10 Computer Science as a Discipline 1 Computer Science some people
More informationLecture 1 What is AI?
Lecture 1 What is AI? EECS 348 Intro to Artificial Intelligence Doug Downey With material adapted from Oren Etzioni (UW) and Stuart Russell (UC Berkeley) Outline 1) What is AI: The Course 2) What is AI:
More informationThe Science of the Artificial
The Science of the Artificial 기술경영협동과정 박사 4학기 송경희/유광용 Who is Herbert A. Simon? Nobel Prize winner Herbert Simon was a true Renaissance Man, laying the foundations for both artificial intelligence and behavioral
More information10/12/2015. SHRDLU: 1969 NLP solved?? : A sea change in AI technologies. SHRDLU: A demonstration proof. 1990: Parsing Research in Crisis
SHRDLU: 1969 NLP solved?? 1980-1995: A sea change in AI technologies Example: Natural Language Processing The Great Wave off Kanagawa by Hokusai, ~1830 ] Person: PICK UP A BIG RED BLOCK. Computer: OK.
More informationENTRY ARTIFICIAL INTELLIGENCE
ENTRY ARTIFICIAL INTELLIGENCE [ENTRY ARTIFICIAL INTELLIGENCE] Authors: Oliver Knill: March 2000 Literature: Peter Norvig, Paradigns of Artificial Intelligence Programming Daniel Juravsky and James Martin,
More informationEARIN Jarosław Arabas Room #223, Electronics Bldg.
EARIN http://elektron.elka.pw.edu.pl/~jarabas/earin.html Jarosław Arabas jarabas@elka.pw.edu.pl Room #223, Electronics Bldg. Paweł Cichosz pcichosz@elka.pw.edu.pl Room #215, Electronics Bldg. EARIN Jarosław
More informationBibliography Alien Newell
Bibliography Alien Newell Ernst, G. W. & Newell, A. (1967a) GPS and generality. Pittsburgh: Carnegie Institute of Technology Ernst, G. W. & Newell, A. (1967b) Some issues of representation in a general
More informationArtificial Intelligence 人工智慧. Lecture 1 February 22, 2012 洪國寶
Artificial Intelligence 人工智慧 Lecture 1 February 22, 2012 洪國寶 1 Outline Course information Motivations What is Artificial Intelligence A brief history of Artificial Intelligence Outline of the course 2
More informationRandom Administrivia. In CMC 306 on Monday for LISP lab
Random Administrivia In CMC 306 on Monday for LISP lab Artificial Intelligence: Introduction What IS artificial intelligence? Examples of intelligent behavior: Definitions of AI There are as many definitions
More informationHANDS-ON TRANSFORMATIONS: DILATIONS AND SIMILARITY (Poll Code 44273)
HANDS-ON TRANSFORMATIONS: DILATIONS AND SIMILARITY (Poll Code 44273) Presented by Shelley Kriegler President, Center for Mathematics and Teaching shelley@mathandteaching.org Fall 2014 8.F.1 8.G.3 8.G.4
More informationAdvanced Machine Shop Practice. MFGE 258: Manufacturing Methods and Materials I. Advanced Manufacturing Technology Theory and Practice AND
NGEE ANN POLYTECHNIC - DIPLOMA IN MECHANICAL ENGINEERING Advanced Machine Shop Practice Advanced Manufacturing Technology Theory and Practice WICHITA STATE UNIVERSITY MFGE 258: Manufacturing Methods and
More informationINTRODUCTION TO CULTURAL ANTHROPOLOGY
Suggested Course Options Pitt Greensburg- Dual Enrollment in Fall 2018 (University Preview Program) For the complete Schedule of Classes, visit www.greensburg.pitt.edu/academics/class-schedules ANTH 0582
More informationWhat's involved in Intelligence?
AI Methodology Theoretical aspects Mathematical formalizations, properties, algorithms Engineering aspects The act of building (useful) machines Empirical science Experiments What's involved in Intelligence?
More informationCOS 140: Foundations of Computer Science
COS 140: Foundations of C S What is C S? Fall 2017 Copyright c 2002 2017 UMaine School of Computing and Information S 1 / 16 What is C S? What do you think? A definition CS and programming Areas of CS
More informationIs Artificial Intelligence an empirical or a priori science?
Is Artificial Intelligence an empirical or a priori science? Abstract This essay concerns the nature of Artificial Intelligence. In 1976 Allen Newell and Herbert A. Simon proposed that philosophy is empirical
More informationCenter for Financial Studies Workshop 2018 Artificial Intelligence & Machine Learning in Financial Services
Center for Financial Studies Workshop 2018 Artificial Intelligence & Machine Learning in Financial Services On April 27, 2018 @ CBIS (Bio-Tech) Auditorium, Rensselaer Polytechnic Institute, Troy, NY Workshop
More informationThe Importance of Being Right. Sergei Artemov, CUNY Graduate Center
The Importance of Being Right Sergei Artemov, CUNY Graduate Center Computer Science Mixter at CCNY, May 8, 2008 1 Computer bugs Computer bugs cost about $60 billion annually in the US alone. About a third
More informationThis list supersedes the one published in the November 2002 issue of CR.
PERIODICALS RECEIVED This is the current list of periodicals received for review in Reviews. International standard serial numbers (ISSNs) are provided to facilitate obtaining copies of articles or subscriptions.
More informationInstilling Morality in MachinesMultiagent Experiments. David Burke Systems Science Seminar June 3, 2011
Instilling Morality in MachinesMultiagent Experiments David Burke Systems Science Seminar June 3, 2011 Robots are coming! In Japan, researchers anticipate that robot nurses will be the answer to demographic
More informationUNIT 13A AI: Games & Search Strategies. Announcements
UNIT 13A AI: Games & Search Strategies 1 Announcements Do not forget to nominate your favorite CA bu emailing gkesden@gmail.com, No lecture on Friday, no recitation on Thursday No office hours Wednesday,
More informationFRANKENTOY What do you get when you mix and match animal parts?
FRANKENTOY What do you get when you mix and match animal parts? WHO WAS FRANKENSTEIN? What do you know about Victor Frankenstein and his creature? Victor Frankenstein and the monster he created were invented
More informationlecture 7 Informatics luis rocha 2017 I501 introduction to informatics INDIANA UNIVERSITY
lecture 7 Readings until now Presentations Markov, Igor L. 2014. Limits on Fundamental Limits to Computation. Nature 512 (7513) (August 13): 147 154. Sher, Stephen Loreto, Vittorio, et al. "Dynamics on
More informationFrom Probability to the Gambler s Fallacy
Instructional Outline for Mathematics 9 From Probability to the Gambler s Fallacy Introduction to the theme It is remarkable that a science which began with the consideration of games of chance should
More informationTime Days Course Title
Klingler College of Arts and Sciences Biological Sciences 9:00-9:50 MWF General Biology 2 10:00-10:50 MWF Cellular Neurobiology 12:00-12:50 MWF General Biology 2 2:00-2:50 MWF General Biology 2 2:00-3:15
More informationCOMP219: Artificial Intelligence. Lecture 2: AI Problems and Applications
COMP219: Artificial Intelligence Lecture 2: AI Problems and Applications 1 Introduction Last time General module information Characterisation of AI and what it is about Today Overview of some common AI
More informationinteractive laboratory
interactive laboratory ABOUT US 360 The first in Kazakhstan, who started working with VR technologies Over 3 years of experience in the area of virtual reality Completed 7 large innovative projects 12
More informationAPPROXIMATE KNOWLEDGE OF MANY AGENTS AND DISCOVERY SYSTEMS
Jan M. Żytkow APPROXIMATE KNOWLEDGE OF MANY AGENTS AND DISCOVERY SYSTEMS 1. Introduction Automated discovery systems have been growing rapidly throughout 1980s as a joint venture of researchers in artificial
More informationCambridge University Press Machine Ethics Edited by Michael Anderson and Susan Leigh Anderson Frontmatter More information
MACHINE ETHICS The new field of machine ethics is concerned with giving machines ethical principles, or a procedure for discovering a way to resolve the ethical dilemmas they might encounter, enabling
More informationComputer Engineering (Class of 2020)
Computer Engineering 2016-2017 (Class of 2020) CMJ 10 177 Intro to Prog for Engineers 4 100 ELE & CEN Eng Seminar 1 ENG 101 College Composition 101 Intro to ELE & CEN Eng MAT 127 Calculus II 4 PHY 122
More informationHUMAN-LEVEL ARTIFICIAL INTELIGENCE & COGNITIVE SCIENCE
HUMAN-LEVEL ARTIFICIAL INTELIGENCE & COGNITIVE SCIENCE Nils J. Nilsson Stanford AI Lab http://ai.stanford.edu/~nilsson Symbolic Systems 100, April 15, 2008 1 OUTLINE Computation and Intelligence Approaches
More informationOn Intelligence Jeff Hawkins
On Intelligence Jeff Hawkins Chapter 8: The Future of Intelligence April 27, 2006 Presented by: Melanie Swan, Futurist MS Futures Group 650-681-9482 m@melanieswan.com http://www.melanieswan.com Building
More informationMA/CS 109 Computer Science Lectures. Wayne Snyder Computer Science Department Boston University
MA/CS 109 Lectures Wayne Snyder Department Boston University Today Artiificial Intelligence: Pro and Con Friday 12/9 AI Pro and Con continued The future of AI Artificial Intelligence Artificial Intelligence
More informationCENTER OF BASICS SCIENCE ELECTRONIC ENGINEER (Curriculum 2012)
OBJECTIVE To form professionals in the electronics engineer field in order to design, implement and keep digital and computer systems, automation systems and mechatronics and communications systems, supporting
More informationCS415 Human Computer Interaction
CS415 Human Computer Interaction Lecture 11 Advanced HCI Intro to Cognitive Models November 3, 2016 Sam Siewert Assignments Assignment #5 Propose Group Project (Groups of 3) Assignment #6 Project Final
More information3 rd December AI at arago. The Impact of Intelligent Automation on the Blue Chip Economy
Hans-Christian AI AT ARAGO Chris Boos @boosc 3 rd December 2015 AI at arago The Impact of Intelligent Automation on the Blue Chip Economy From Industry to Technology AI at arago AI AT ARAGO The Economic
More information