formal intro to ai

Upload: sadia-khan

Post on 14-Apr-2018

231 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/27/2019 Formal Intro to AI

    1/64

    ARTIFICIAL INTELLIGENCE (AI)

    A FORMAL INTRODUCTION

  • 7/27/2019 Formal Intro to AI

    2/64

    2

    What doesartificial intelligencemean?

    Programming a computer to successfullyperform tasks that are thought to requireintelligence Playing chess

    Proving theorems

    Translating Russian into English Walking across a room

    Recognizing a familiar face

    Understanding directions

  • 7/27/2019 Formal Intro to AI

    3/64

    3

    DEFINITIONS OF AI

    Study of how to make computers do things atwhich, at the moment, people are better.(Elain Rich) (Memorizing and intelligence)

    The science of making machines do thingsthat would require intelligence if done byhuman. (Minsky)

    Based on programming techniques: A branchof computer science dealing with symbolic,non-algorithmic methods of problem solving.(Buchanan and Shortliffe)

  • 7/27/2019 Formal Intro to AI

    4/64

    4

    Some more definitions

    Part of computer science that concerns with

    designing intelligent computer systems, that is,

    systems that exhibit the characteristics we associate

    with intelligence in human behavior. (Barr andFeigenbaum)

    The branch of computer science that deals with ways

    of representing knowledge using symbols rather thannumbers and with rules-of-thumb or heuristic

    methods for processing information. (Buchanan)

  • 7/27/2019 Formal Intro to AI

    5/64

    5

    Some more definitions

    A way of making a machine think intelligently.

    Branch of computer science that is concernedwith automation of intelligent behavior.

    A recursive definition: AI is the collection ofproblems and methodologies studied by AIresearchers.

    HISTORY: 1930: John Dewey, How wethink to 1990sGenetic Algorithms andthe 6th Generation Computing

  • 7/27/2019 Formal Intro to AI

    6/64

    HISTORY OF AIMain Events

  • 7/27/2019 Formal Intro to AI

    7/647

    The Dartmouth Conference

    According to the organizersproposal, the

    conference was intended to explore theconjecture, that every aspect of learningor any other feature of intelligence can inprinciple be so precisely described that a

    machine can be made to simulate it.That conjecture, of course, continues tobe a focus of AI research.

  • 7/27/2019 Formal Intro to AI

    8/648

    The Conference Organizers John McCarthy - Assistant Professor of Mathematics

    at Dartmouth. Marvin Minsky - Junior Fellow in mathematics and

    neurology at Harvard, both had worked with

    Shannon at Bell Labs. Nathaniel Rochester - Manager of information

    research for IBM. Interested in intelligent machines. Claude Shannon - Bell Labs; Established his

    reputation firmly earlier.

    The conference, funded by a $7500Rockefeller Foundation Grant, wasorganized by four scientists, 2 fromacademia and 2 from industry.

  • 7/27/2019 Formal Intro to AI

    9/649

    The Dartmouth Conference

    1956 Dartmouth Conference, Hanover, NewHampshire:

    AI revolution was launched. About a dozenscientists representing disciplines of Mathematics

    Neurology

    Psychology Electrical Engineering among others

    werethere.

  • 7/27/2019 Formal Intro to AI

    10/6410

    The Dartmouth Conference They all in their various fields, were using

    computers to try to simulate various aspects ofhuman intelligence.

    Anew branch of computer science crystallized atthe conference, combining elements of severaldifferent avenues of research into a unified field.

    There was no universal agreement about what tocall the new science.

    However, Artificial Intelligence, the namesuggested by John McCarthy, one of theconference organizers, has come to beassociated firmly with the field.

  • 7/27/2019 Formal Intro to AI

    11/6411

    Can Machines Think?

    Computers were used by Americans andthe British during World War II toexpedite complex tasks such asnumerical computations and code

    breaking activities that previously hadbeen assumed to require humanintelligence.

  • 7/27/2019 Formal Intro to AI

    12/6412

    Can Machines Think? Notice that shift in the frontier of

    intelligence in the last 50 years. Wehave become so accustomed tocalculating machines that we nowconsider that kind of activity to be

    mechanical.

    It was probably inevitable that scientistsworking with the first computers wouldspeculate about how intelligent thesenew electronic marvels could become.

  • 7/27/2019 Formal Intro to AI

    13/6413

    Can Machines Think? Alan Turing, a mathematician, was working on

    Project Ultra, the successful British effort tobreak the German Code during World War II. Aspart if his role in that project, Turing helpeddesign one of the first computers ever built.

    Turing also wrote an article entitledComputingMachinery and Intelligence, which secured forhim the distinction of being generally recognizedas the father ofAI. He proposed a question

    Can machines think? Turing suggested a test, in the form of game,

    that could help decide the issue. He called itimitation game. (Replicating, human behavior)

  • 7/27/2019 Formal Intro to AI

    14/6414

    The Turing Test You are the interrogator; you can direct

    questions to either Person A or Person Bthrough a keyboard to the screen, but youdo not know which is the man and which is

    the woman. Only one of the persons isobligated to reply truthfully, the otherperson is actively engaged in attempting tofool and confuse you, using any deceitfultactics that will make you guess incorrectly.

    The objective of the game is to try to guesswhich person is male and which is femalesolely by analyzing the responses through akeyboard. Screen communication.

  • 7/27/2019 Formal Intro to AI

    15/6415

    The Turing Test Next, and this is the critical part of the

    Turing test, substitute a computer for

    one of the people. Now the human isobligated to give you truthful, human-likeresponses; but the computer is trying tofool you into thinking that it is human!

  • 7/27/2019 Formal Intro to AI

    16/64

  • 7/27/2019 Formal Intro to AI

    17/64

    17

    The Turing Test It is considered to be any situation in

    which a human converses with an

    unseen respondent and attempts todetermine if the dialogue is beingconducted with a human or a computer.If a computer can fool you into believing

    that you are talking to a human, thecomputer can be said to be intelligent.

  • 7/27/2019 Formal Intro to AI

    18/64

    18

    Intelligent Test for Computers Alan Turing, a pioneer in the theory of computation, once

    proposed an intelligent test for computer programs[Turing 1950].

    In one variant of the Turing Test, a human judge isallowed to interrogate a program through some sort of aninterface such as a video terminal. If the program can foolthe human into believing that it is another humanresponding rather than a computer, then the program isjudged intelligent.

    You can imagine variants of this test in which youmanipulate a robots environment to see how robotresponds and judge the robot as intelligent or not,depending on whether the robot responds in accordancewith how a human might in the same situation.

  • 7/27/2019 Formal Intro to AI

    19/64

    19

    The Loebner Prize, based on a fund of over $100,000

    established by New York businessman Hugh G. Loebner, isawarded annually for the computer program that bestemulates natural human behavior. During the contest, a panelof independent judges attempts to determine whether theresponses on a computer terminal are being produced by acomputer or a person, along the lines of the Turing Test. Thedesigners of the best program each year win a cash awardand a medal. If a program passes the test in all its particulars,then the entire fund will be paid to the program's designer andthe fund abolished. For further information about the LoebnerPrize, see the URL

    http://www.loebner.net/Prizef/loebner-prize.html

    What AI competitions exist?

  • 7/27/2019 Formal Intro to AI

    20/64

    HISTORY OF AIDetails Later

  • 7/27/2019 Formal Intro to AI

    21/64

    DISUCSSING NATURAL ANDARTIFICIAL INTELLIGENCE

  • 7/27/2019 Formal Intro to AI

    22/64

    AI TREE

  • 7/27/2019 Formal Intro to AI

    23/64

    23

    Computers are

    Good at:

    Number crunching

    Storing information

    Airline scheduling

    Transmitting data

    Structured data bases

    Graphics

    Bad at:

    Writing poetry

    Composing music

    Understanding

    speech

    Driving cars

    Enjoying peaches Learning new things

  • 7/27/2019 Formal Intro to AI

    24/64

    24

    Artificial Intelligence

    Human Intelligence!

    We need to build intelligent machines?

  • 7/27/2019 Formal Intro to AI

    25/64

    25

    INTELLIGENCE

    Natural God made

    Associated with human

    Human behavior Psychology

    Five senses

    Symbolic data

    Fuzzy ness

    Artificial Man made

    Associated with machines

    To emulate humanbehavior in terms ofcomputational processes

    Various sensors

    Numeric + Symbolic

    Uncertainty to be dealtwith

  • 7/27/2019 Formal Intro to AI

    26/64

    26

    Definition ofIntelligent Agent:

    A software routine that waits in the background

    and performs an action when a specified eventoccurs.

    For example, agents could transmit a summary fileon the first day of the month or monitor incoming

    data and alert the user when certain transactionshave arrived.

  • 7/27/2019 Formal Intro to AI

    27/64

    27

    How do we build an intelligent agent?

    Must be able to perceive its environment.

    Must be able to affect its environment. Must be able to reason about observations and

    actions

    Must be able to learn from observations andactions.

    Must have goals.

  • 7/27/2019 Formal Intro to AI

    28/64

    28

    Building Intelligent Agents:

    First Challenge

    Create a representation of the world in termscomputers can deal with

    Numbers?

    Text

    Logic

    Lets assume everything about the task can berepresented we have complete knowledge

  • 7/27/2019 Formal Intro to AI

    29/64

    29

    Building Intelligent Agents:Second Challenge

    Extend your programs to handle situations whereknowledge isnt complete, i.e.,

    where there is uncertainty

  • 7/27/2019 Formal Intro to AI

    30/64

    prior knowledge

    experience

    goals/values

    observations

    Intelligent Agents

  • 7/27/2019 Formal Intro to AI

    31/64

    31

    Building Intelligent Agents

    Agent

    prior knowledge

    actionsexperience

    goals/values

    observations

  • 7/27/2019 Formal Intro to AI

    32/64

    32

    Intelligent Agent Skills include

    ReasoningSearch Machine Learning

    Representation of the World

    Symbols (Logic, Numbers)

    Vision Processing

    Planning

    RoboticsNatural Language Understanding

  • 7/27/2019 Formal Intro to AI

    33/64

    33

    AI programming Vs.

    Conventional programming

    AI

    Primarily symbolic

    Heuristic, Solution stepsimplicit

    Control structureseparate from knowledgebase

    Easy to modify

    Satisfactory answersacceptable

    CONVENTIONAL

    Primarily numeric

    Algorithmic, Solutionstep explicit

    Information andcontrol integrated

    Difficult to modify

    Correct answersrequired

  • 7/27/2019 Formal Intro to AI

    34/64

    34

    NLP

    ROBOTS

    & MV

    ES

    T.Prov.

    Heuristic

    Search

    Knowledge

    Rep.

    Languages

    & Tools

    Reasoning

    & Logic

  • 7/27/2019 Formal Intro to AI

    35/64

    35

    AI: CENTRAL THEMES

    THEMES

    K. representation

    Inference and control

    Learn and adapt Handling uncertainty

    Reasoning

    Knowledge/search

    tradeoff, Combinatorialexplosion

    Problem decomposition

  • 7/27/2019 Formal Intro to AI

    36/64

    36

    WHAT IS INTELLIGENCE AND HOW IT WORKS?

    Intelligence is ability to meet situations successfully

    perceive inter relationship of facts

    learn and understand fromexperience

    acquire and retain knowledge

    respond quickly and successfully to anew situation

    To respond to a situation very flexibly

    To make sense out of ambiguous orcontradictory messages

    To recognize the relative importanceof different elements of a situation

    To find similarities B/W situationsdespite differences which mayseparate them

    To draw distinctions B/W situationsdespite similarities which may link

    them

    Goals

    We think because thereare things we have to

    do

    Intelligence

    Facts and rules

    Control

    Pruning Inferencing

  • 7/27/2019 Formal Intro to AI

    37/64

    Facts And Rules

    Intelligence

    1) Collection of facts.

    2) Means of utilizing these facts to reach goals.

    3) Done by formulating set of rules relating to allfacts stored in the brain.

  • 7/27/2019 Formal Intro to AI

    38/64

    Fact/Rule Set1:

    Fact 1: A burning stove is hot.

    Rule 1:If I put my hand on a burning stove,

    Then it hurt.

    Fact/Rule Set 2:

    Fact 2: During rush hours, streets are crowded with cars.

    Rule 2: If I try to cross a major highway on foot during rush

    hours,

    Then I may get hit by a car.

    How Does Human Intelligence Work?

  • 7/27/2019 Formal Intro to AI

    39/64

    How Does Human Intelligence Work?

    Goals:Example

    Wake up in the morning.To go to office.

    Reach in time.Goals ----- ultimate goals.

    Thoughts are not random or arbitrary. Pressed into service because of goal(s). No thoughts without goal. We do not do things because we think, we think

    because there are things we have to do.

  • 7/27/2019 Formal Intro to AI

    40/64

    40

    Example; Wakeup in the morning.

    Reach office in time.

    Brain is bombarded with all type of data .

    (directly/indirectly , related/unrelated).

    If we had to deal with this multi data,

    we might stand across the road for years.

    How mind extracts the right set of rules is pruning.

    Eliminates irrelevant pathways.

    Reach goal immediately.

    Focus on rules pertinent to solving the immediate

    problem.

  • 7/27/2019 Formal Intro to AI

    41/64

    41

    Reaching goal; Problem solved + New knowledge acquired.

    Fact 1: Jims parents are John & Mary.

    Fact 2: Janes parents are John & Mary.

    Rule: If a male person & female person have same parents.

    Then they are brother and sister.

    Goals: Relation between Jim & Jane.

    Inference: New facts produced;

    Jim & Jane are brother and sister.

    The component of intelligence that helps us arrive at new factsis called the Inference Engine, Inference Mechanism.

    Problem may have not a vast store of information. From this we

    have to determine the proper course of action. Avoid irrelevant

    knowledge components. This is what we called Pruning

    Interference Mechanism

  • 7/27/2019 Formal Intro to AI

    42/64

    42

    WHAT IS INTELLIGENCE AND HOW IT WORKS?

    Intelligence is ability to

    meet situations successfully perceive inter relationship of facts learn and understand from

    experience acquire and retain knowledge respond quickly and successfully to a

    new situation To respond to a situation very

    flexibly To make sense out of ambiguous or

    contradictory messages To recognize the relative importance

    of different elements of a situation To find similarities B/W situations

    despite differences which mayseparate them

    To draw distinctions B/W situationsdespite similarities which may linkthem

    Goals

    We think becausethere are things wehave to do

    Intelligence

    Facts and rules Control

    Pruning Inferencing

  • 7/27/2019 Formal Intro to AI

    43/64

    43

    Strong AIIt makes the bold claim that computers can be made to think ona level (at least) equal to humans.

    Weak AIIt simply states that some thinking like features can be added

    to computers make them more useful tools like expert

    systems, speech recognition software etc.

  • 7/27/2019 Formal Intro to AI

    44/64

    44

    Intelligent Systems

    ArtificialIntelligence

    Systems

    Statistics

    SignalProcessing Control

    Theory

    TheoreticalPhysicsIntelligent

  • 7/27/2019 Formal Intro to AI

    45/64

    Robots

  • 7/27/2019 Formal Intro to AI

    46/64

  • 7/27/2019 Formal Intro to AI

    47/64

    47

    AITechn

    ologies

  • 7/27/2019 Formal Intro to AI

    48/64

    48

    AI Technologies

  • 7/27/2019 Formal Intro to AI

    49/64

    49

    AI Technologies

  • 7/27/2019 Formal Intro to AI

    50/64

    50

    AI Technologies

  • 7/27/2019 Formal Intro to AI

    51/64

    51

    AI Technologies

  • 7/27/2019 Formal Intro to AI

    52/64

    52

    AI Technologies

    Intelligent Computer Aided Instruction

    Robotics

    Expert Systems

    Computer Vision

    Speech Recognition

    Automatic Programming

    Natural Language Processing

    Planning and Decision Support

    AI Technologies and Applications

  • 7/27/2019 Formal Intro to AI

    53/64

    AI Technologies and Applications

    Factory

    Automation

    Autonomous

    Vehicals

    Mechatronics

    ROBOTICS

    Fault

    Diagnosis

    Intelligent

    Assistant

    Medical,

    Control, etc.

    EXPERT

    SYSTEMS

    Perception

    Guidance

    Inspection

    Verification

    VISION

    Understanding

    Generation

    Text to

    Speech

    Speaker

    SPEECH

    Comm.

    Grammer

    NLU

    Learning

    and teaching

    CAI GAME

    PLAYING

    GPS

    T. PROVING

    Neural

    Networks

    Parallel

    Computing

    Genetic

    Algorithms

    LEARNING

    Acquisition

    Text

    understandin

    Text

    generation

    Explanation

    KE

    AI TECHNOLOGIES

    Domain Specific Applications of AI

    http://www.ids.ias.edu/ist.jpghttp://www.isi.edu/AI/ai-Image4.gifhttp://www.machinebrain.com/images/hoap1.jpg
  • 7/27/2019 Formal Intro to AI

    54/64

    Domain Specific Applications of AI

    Diagnosis

    Treatment

    Monitoring

    Knowledge

    Automation

    MEDICAL

    Plant

    control

    Data

    interpretation

    Intelligent

    design

    Chem.

    & Bio.

    Synthesis

    SCIENCE

    & ENGG.

    Factory

    M, P & S

    Intelligent

    Robots

    Inspection

    Mechatronics

    INDUSTRY

    Surveillance

    Target

    Trk. & Recog.

    Autonomous

    Vehicles

    Expert

    Advisors

    MILITARY

    Intelligent

    KB Access

    Traffic

    control

    SERVICES

    Groupd

    Ops. Aid

    P & S

    Remote

    Ops.

    Sensor

    Fusion

    SPACE

    Tax Prep.

    ES

    Intelligent

    Consultant

    FINANCIAL

    Prospecting

    Aids

    Drilling

    Ops.

    Resource

    Recovery

    Resource

    Management

    NATURAL

    RESOURCES

    APPLICATIONS

    http://www.cs.queensu.ca/biomed/images/surgeons.jpg
  • 7/27/2019 Formal Intro to AI

    55/64

    55

    Generic Applications of AIKnowledge Management:

    Intelligent Databaseaccess

    Knowledge acquisition

    Text understanding

    Text generation

    Machine translation

    Explanation

    Logical operations ondatabases

    Human Interaction:

    Speech understanding

    Speech generation

    Learning and Teaching:

    Computer aided instruction

    Intelligent computer aidedinstruction

    Learning from experience

    Concept generation

    Operation and maintenanceinstruction

  • 7/27/2019 Formal Intro to AI

    56/64

    56

    Generic Applications of AI

    Fault Diagnosis andRepair:

    Humans

    Machines

    Systems

    Computation:

    Symbolic Mathematics

    Fuzzy operation

    Automatic programming

    Communication:

    Public access to largedatabases via telephone andspeech understanding

    Natural Language interfaces

    to computer programs

    Operations of Machines andComplex Systems:

    Factory Automation

    Mechatronics

  • 7/27/2019 Formal Intro to AI

    57/64

    57

    Autonomous IntelligentSystems:

    Autonomous vehicles

    Management:

    Planning

    Scheduling

    Monitoring

    Sensor Interpretation andIntegration:

    Developing meaning fromsensor data

    Sensor fusion (integratingmultiple sensor inputs todevelop high level

    interpretations)

    Generic Applications of AI

    Design:

    Systems

    Equipment

    Intelligent Design Aids

    InventingVisual Perception andGuidance:

    Inspection

    Identification

    Verification

  • 7/27/2019 Formal Intro to AI

    58/64

    58

    Visual Perception andGuidance (Continued):

    Guidance

    Screening

    Monitoring

    Intelligent Assistants:

    Medical Diagnosis,Maintenance Aids, andother Expert Systems

    Expert System BuildingTools

    Generic Applications of AI

    Medical:Patient Monitoring

    Prosthetics

    Artificial Sight andHearing

    Reading Machinesfor the Blind

    Medical KnowledgeAutomation

    Executive Assistance:Real Mail and SpotItems on Importance

    Planning Aids

  • 7/27/2019 Formal Intro to AI

    59/64

    59

    Science And Engineering:Discovering

    Physical andmathematical laws

    Determination ofregularities andaspects of interest

    Chemical and BiologicalSynthesis Planning

    Test Management

    Data Interpretation

    Intelligent Design Aids

    Generic Applications of AI

    Industrial:Factory Management

    Production Planningand Scheduling

    Intelligent Robots

    Process Planning

    Intelligent Machines

    Computer-AidedInspection

    Mechatronics

  • 7/27/2019 Formal Intro to AI

    60/64

    60

    Military:

    Expert Advisers

    Sensor Synthesisand Interpretation

    Battle and ThreatAssessment

    Automatic PhotoInterpretation

    Tactical planning

    Military

    Surveillance

    Weapon-TargetAssignment

    AutonomousVehicles

    Military:

    Intelligent Robots

    Diagnosis and Maintenance Aids

    Target Location and Tracking

    Map Development Aids

    Intelligent Interactions withKnowledge Bases

    Financial:

    Tax Preparation

    Financial Expert Systems

    Intelligent Consultants

    Generic Applications of AI

  • 7/27/2019 Formal Intro to AI

    61/64

    61

    International:

    Aids to Understanding andInterpretation

    Goals, aspirations andmotives of differentcountries and cultures

    Cultural models forinterpreting how othersperceive

    Natural language Translation

    Services:

    Intelligent Knowledge BaseAccess

    Airline Reservations

    Air Traffic Control and Ground

    Traffic Control

    Natural Resources:

    Prospecting Aids

    Resource operations

    Drilling Procedures

    Resource Recovery

    GuidanceResource Management UsingRemote Sensing Data

    Generic Applications of AI

  • 7/27/2019 Formal Intro to AI

    62/64

    62

    Space:

    Ground Operation Aids

    Planning and Scheduling Aids

    Diagnosis and Reconfiguration Aids

    Remote Operations of Spacecraft and SpaceVehicles

    Test Monitors

    Real-time Re-planning as required by failures,changed conditions, or new opportunities

    Automatic Subsystem Operations

    Generic Applications of AI

  • 7/27/2019 Formal Intro to AI

    63/64

    A game of chess can be analyzed by a symbolicprogram. Each chess piece is represented by a symbol,and the rules governing legal moves are representedby symbolic expressions.

    Playing Chess

  • 7/27/2019 Formal Intro to AI

    64/64

    APPLYING AI Physics

    VLSI Design

    Non DestructiveTesting

    Element

    Classification Load Measuring

    MechanicalDesign Assembly

    TeachingPhysics

    IsotopesDetection

    Circuit Analysis

    Learning

    Control

    Broom Balancer

    Prediction andEstimation

    Backing of aTruck

    Power PlantControl

    Robotics

    PrecisionManufacturing

    Computing

    SpeechRecognition

    Intelligent Agenton the Net

    Network

    Management andRouting

    Troubleshooting

    CharacterRecognition