CSCE 781 Knowledge Systems Introduction - PowerPoint PPT Presentation

Loading...

PPT – CSCE 781 Knowledge Systems Introduction PowerPoint presentation | free to download - id: 529cfd-Y2FkY



Loading


The Adobe Flash plugin is needed to view this content

Get the plugin now

View by Category
About This Presentation
Title:

CSCE 781 Knowledge Systems Introduction

Description:

Title: CSCE 330 Programming Language Structures Author: Marco Valtorta Last modified by: mgv Created Date: 8/19/2004 1:30:12 AM Document presentation format – PowerPoint PPT presentation

Number of Views:31
Avg rating:3.0/5.0
Date added: 18 June 2020
Slides: 59
Provided by: MarcoVa9
Learn more at: http://www.cse.sc.edu
Category:

less

Write a Comment
User Comments (0)
Transcript and Presenter's Notes

Title: CSCE 781 Knowledge Systems Introduction


1
CSCE 781Knowledge SystemsIntroduction
  • Spring 2011
  • Marco Valtorta
  • mgv_at_cse.sc.edu

2
Catalog Description
  • 781- Knowledge Systems. (3) (Prereq CSCE 580)
    Expert system domains, knowledge representation
    techniques, inference engines, and knowledge
    acquisition methods.
  • 780 - Knowledge Representation (3) (Prereq CSCE
    580) Representation techniques and languages for
    symbolic knowledge, including predicate calculus,
    frame-based systems, and terminological systems
    computer reasoning using these systems.

3
Course Objectives
  • Represent domain knowledge about objects using
    propositions and solve the resulting
    propositional logic problems using deduction and
    abduction
  • Reason under uncertainty using Bayesian networks
  • Represent domain knowledge about individuals and
    relations in first-order logic
  • Do inference using resolution refutation theorem
    proving
  • Represent knowledge in Horn clause form and use
    Prolog for reasoning
  • Represent knowledge for specialized task domains,
    such as diagnosis and troubleshooting
  • Represent taxonomic and structural knowledge in
    ontologies

4
Some Resources
  • David Poole and Alan Mackworth. Artificial
    Intelligence Foundations of Computational
    Agents. Cambridge University Press, 2010
    (contents available online for free).
  • David Stuart Russell and Peter Norvig. Artificial
    Intelligence A Modern Approach. Prentice-Hall,
    2003 ( AIMA or R or AIMA-2 a third edition
    is also available).
  • Ronald Brachman and Hector Levesque. Knowledge
    Representation and Reasoning. Morgan-Kaufmann,
    2004.
  • Frank van Harmelen, Vladimir Lifschitz, and Bruce
    Porter (eds.). Handbook of Knowledge
    Representation. Elsevier, 2007.

5
Course Objectives (CSCE 580)
  • Analyze and categorize software intelligent
    agents and the environments in which they operate
  • Formalize computational problems in the
    state-space search approach and apply search
    algorithms (especially A) to solve them
  • Represent domain knowledge using features and
    constraints and solve the resulting constraint
    processing problems
  • Represent domain knowledge about objects using
    propositions and solve the resulting
    propositional logic problems using deduction and
    abduction
  • Reason under uncertainty using Bayesian networks
  • Represent domain knowledge about individuals and
    relations in first-order logic
  • Do inference using resolution refutation theorem
    proving
  • Represent knowledge in Horn clause form and use
    Prolog for reasoning

6
Course Objectives
  • Represent domain knowledge about objects using
    propositions and solve the resulting
    propositional logic problems using deduction and
    abduction
  • Reason under uncertainty using Bayesian networks
  • Represent domain knowledge about individuals and
    relations in first-order logic
  • Do inference using resolution refutation theorem
    proving
  • Represent knowledge in Horn clause form and use
    Prolog for reasoning
  • Represent knowledge for specialized task domains,
    such as diagnosis and troubleshooting
  • Represent taxonomic and structural knowledge in
    ontologies

7
Course Outline for Spring 2007 Offering (Dr.
Huhns)
  • Epistemology
  • Overview of Knowledge Systems
  • First-Order Logic
  • Resolution and Theorem Proving
  • Structured Knowledge and Defaults
  • Ontologies and Inheritance
  • Representing and Reasoning about Uncertainty
  • Actions and Planning
  • Temporal Representation and Reasoning
  • Spatial Representation and Reasoning
  • Technology for Web Portal Development
  • Architecture for Knowledge Systems
  • Knowledge Acquisition and Maintainence for
    Knowledge Systems
  • Knowledge Systems for Classification, Diagnosis,
    and Design

8
Contents of Brachman Levesques Book
  • 1 Introduction
  • 2 The Language of First-Order Logic
  • 3 Expressing Knowledge
  • 4 Resolution
  • 5 Horn Logic
  • 6 Procedural Control of Reasoning
  • 7 Rules in Production Systems
  • 8 Object-Oriented Representation
  • 9 Structured Descriptions
  • 10 Inheritance
  • 11 Numerical Uncertainty
  • 12 Defaults
  • 13 Abductive Reasoning
  • 14 Actions
  • 15 Planning
  • 16 A Knowledge Representation Tradeoff

9
General Methods in Knowledge Representation and
Reasoning
  1. Knowledge Representation and Classical Logic
  2. Satisfiability Solvers
  3. Description Logics
  4. Constraint Programming
  5. Conceptual Graphs
  6. Nonmonotonic Reasoning
  7. Answer Sets
  8. Belief Revision
  9. Qualitative Modeling
  10. Model-Based Problem Solving
  11. Bayesian Networks

10
Classes of Knowledge and Specialized
Representations
  • 12. Temporal Representation and Reasoning
  • 13. Spatial Reasoning
  • 14. Physical Reasoning
  • 15. Reasoning about Knowledge and Belief
  • 16. Situation Calculus
  • 17. Event Calculus
  • 18. Temporal Action Logics
  • 19. Nonmonotonic Causal Logic

11
Knowledge Representation in Applications
  • 20. Knowledge Representation and Question
    Answering
  • 21. The Semantic Web Webizing Knowledge
    Representation
  • 22. Automated Planning
  • 23. Cognitive Robotics
  • 24. Multi-Agent Systems
  • 25. Knowledge Engineering

12
What is AI?
Systems that think like humans The exciting new effort to make computers think machines with minds, in the full and literal sense. (Haugeland, 1985) The automation of activities that we associate with human thinking, activities such as decision-making, problem solving, learning (Bellman, 1978) Systems that think rationally The study of mental faculties through the use of computational models. (Charniak and McDermott, 1985) The study of the computations that make it possible to perceive, reason, and act. (Winston, 1972)
Systems that act like humans The art of creating machines that perform functions that require intelligence when performed by people (Kurzweil, 1990) The study of how to make computers do things at which, at the moment, people are better (Rich and Knight, 1991) Systems that act rationally The branch of computer science that is concerned with the automation of intelligent behavior. (Luger and Stubblefield, 1993) Computational intelligence is the study of the design of intelligent agents. (Poole et al., 1998) AI is concerned with intelligent behavior in artifacts. (Nilsson, 1998)
13
Acting Humanly the Turing Test
  • Operational test for intelligent behavior the
    Imitation Game
  • In 1950, Turing
  • predicted that by 2000, a machine might have a
    30 chance of fooling a lay person for 5 minutes
  • Anticipated all major arguments against AI in
    following 50 years
  • Suggested major components of AI knowledge,
    reasoning, language understanding, learning
  • Problem Turing test is not reproducible,
    constructive, or amenable to mathematical analysis

14
Thinking Humanly Cognitive Science
  • 1960s cognitive revolution" information-processi
    ng psychology replaced the prevailing orthodoxy
    of behaviorism
  • Requires scientific theories of internal
    activities of the brain
  • What level of abstraction? Knowledge" or
    circuits"?
  • How to validate? Requires
  • Predicting and testing behavior of human subjects
    (top-down), or
  • Direct identification from neurological data
    (bottom-up)
  • Both approaches (roughly, Cognitive Science and
    Cognitive Neuroscience) are now distinct from AI
  • Both share with AI the following characteristic
  • the available theories do not explain (or
    engender) anything resembling human-level general
    intelligence
  • Hence, all three fields share one principal
    direction!

15
Thinking Rationally Laws of Thought
  • Normative (or prescriptive) rather than
    descriptive
  • Aristotle what are correct arguments/thought
    processes?
  • Several Greek schools developed various forms of
    logic
  • notation and rules of derivation for thoughts
  • may or may not have proceeded to the idea of
    mechanization
  • Direct line through mathematics and philosophy to
    modern AI
  • Problems
  • Not all intelligent behavior is mediated by
    logical deliberation
  • What is the purpose of thinking? What thoughts
    should I have out of all the thoughts (logical or
    otherwise) that I could have?

The Antikythera mechanism, a clockwork-like
assemblage discovered in 1901 by Greek sponge
divers off the Greek island of Antikythera,
between Kythera and Crete.
16
Acting Rationally
  • Rational behavior doing the right thing
  • The right thing that which is expected to
    maximize goal achievement, given the available
    information
  • Doesn't necessarily involve thinking (e.g.,
    blinking reflex) but
  • thinking should be in the service of rational
    action
  • Aristotle (Nicomachean Ethics)
  • Every art and every inquiry, and similarly every
    action and pursuit, is thought to aim at some good

17
Acting like Animals?
  • A 'Frankenrobot' With a Biological Brain Agence
    France Presse (08/13/08)
  • University of Reading scientists have developed
    Gordon, a robot controlled exclusively by living
    brain tissue using cultured rat neurons. The
    researchers say Gordon, is helping explore the
    boundary between natural and artificial
    intelligence. "The purpose is to figure out how
    memories are actually stored in a biological
    brain," says University of Reading professor
    Kevin Warwick, one of the principal architects of
    Gordon. Gordon has a brain composed of 50,000 to
    100,000 active neurons. Their specialized nerve
    cells were laid out on a nutrient-rich medium
    across an eight-by-eight centimeter array of 60
    electrodes. The multi-electrode array serves as
    the interface between living tissue and the
    robot, with the brain sending electrical impulses
    to drive the wheels of the robot, and receiving
    impulses from sensors that monitor the
    environment. The living tissue must be kept in a
    special temperature-controlled unit that
    communicates with the robot through a Bluetooth
    radio link. The robot is given no additional
    control from a human or a computer, and within
    about 24 hours the neurons and the robot start
    sending "feelers" to each other and make
    connections, Warwick says. Warwick says the
    researchers are now looking at how to teach the
    robot to behave in certain ways. In some ways,
    Gordon learns by itself. For example, when it
    hits a wall, sensors send a electrical signal to
    the brain, and when the robot encounters similar
    situations it learns by habit.

18
Summary of IJCAI-83 Survey
Attempt (A) 20.8
to
Build (B) 12.8
Simulate (C) 17.6
Model (D) 17.6
that
Machines (E) 22.4
Human (or People) (F) 60.8
Intelligent (G) 54.4
Behavior (I) 32.0
Processes (H) 24.0
by means of
Computers (L) 38.4
Programs (M) 13.2
19
A Detailed Definition P
  • Artificial intelligence, or AI, is the synthesis
    and analysis of computational agents that act
    intelligently
  • An agent is something that acts in an environment
  • An agent acts intelligently when
  • what it does is appropriate for its circumstances
    and its goals
  • it is flexible to changing environments and
    changing goals
  • it learns from experience
  • it makes appropriate choices given its perceptual
    and computational limitations
  • A computational agent is an agent whose decisions
    about its actions can be explained in terms of
    computation

20
Some Comments on the Definition
  • A computational agent is an agent whose decisions
    about its actions can be explained in terms of
    computation
  • The central scientific goal of artificial
    intelligence is to understand the principles that
    make intelligent behavior possible in natural or
    artificial systems. This is done by
  • the analysis of natural and artificial agents
  • formulating and testing hypotheses about what it
    takes to construct intelligent agents
  • designing, building, and experimenting with
    computational systems that perform tasks commonly
    viewed as requiring intelligence
  • The central engineering goal of artificial
    intelligence is the design and synthesis of
    useful, intelligent artifacts. We actually want
    to build agents that act intelligently
  • We are interested in intelligent thought only as
    far as it leads to better performance

21
A Map of the Field
  • This course
  • History, etc.
  • Problem-solving
  • Blind and heuristic search
  • Constraint satisfaction
  • Games
  • Knowledge and reasoning
  • Propositional logic
  • First-order logic
  • Knowledge representation
  • Learning from observations
  • A bit of reasoning under uncertainty
  • Other courses
  • Robotics (574)
  • Bayesian networks and decision diagrams (582)
  • Knowledge Representation (780) or Knowledge
    systems (781)
  • Machine learning (883)
  • Computer graphics, text processing,
    visualization, image processing, pattern
    recognition, data mining, multiagent systems,
    neural information processing, computer vision,
    fuzzy logic more?

22
(No Transcript)
23
AI Prehistory
  • Philosophy
  • logic, methods of reasoning
  • mind as physical system
  • foundations of learning, language, rationality
  • Mathematics
  • formal representation and proof
  • algorithms, computation, (un)decidability,
    (in)tractability
  • Probability
  • Psychology
  • adaptation
  • phenomena of perception and motor control
  • experimental techniques (psychophysics, etc.)
  • Economics
  • formal theory of rational decisions
  • Linguistics
  • knowledge representation
  • Grammar
  • Neuroscience
  • plastic physical substrate for mental activity

24
Intellectual Issues in the Early History of AI
(to 1982)
  • 1640-1945 Mechanism versus Teleology Settled
    with cybernetics
  • 1800-1920 Natural Biology versus Vitalism
    Establishes the body as a machine
  • 1870- Reason versus Emotion and Feeling 1
    Separates machines from men
  • 1870-1910 Philosophy versus Science of Mind
    Separates psychology from philosophy
  • 1900-45 Logic versus Psychology Separates logic
    from psychology
  • 1940-70 Analog versus Digital Creates computer
    science
  • 1955-65 Symbols versus Numbers Isolates AI
    within computer science
  • 1955- Symbolic versus Continuous Systems Splits
    AI from cybernetics
  • 1955-65 Problem-Solving versus Recognition 1
    Splits AI from pattern recognition
  • 1955-65 Psychology versus Neurophysiology 1
    Splits AI from cybernetics
  • 1955-65 Performance versus Learning 1 Splits AI
    from pattern recognition
  • 1955-65 Serial versus Parallel 1 Coordinate
    with above four issues
  • 1955-65 Heuristics Venus Algorithms Isolates AI
    within computer science
  • 1955-85 Interpretation versus Compilation 1
    Isolates AI within computer science
  • 1955- Simulation versus Engineering Analysis
    Divides AI
  • 1960- Replacing versus Helping Humans Isolates
    AI
  • 1960- Epistemology versus Heuristics divides AI
    (minor), connects with philosophy

1965-80 Search versus Knowledge Apparent
paradigm shift within AI 1965-75 Power versus
Generality Shift of tasks of interest 1965-
Competence versus Performance Splits linguistics
from AI and psychology 1965-75 Memory versus
Processing Splits cognitive psychology from
AI 1965-75 Problem-Solving versus Recognition 2
Recognition rejoins AI via robotics 1965-75
Syntax versus Semantics Splits lmyistics from
AI 1965- Theorem-Probing versus Problem-Solving
Divides AI 1965- Engineering versus Science
divides computer science, incl. AI 1970-80
Language versus Tasks Natural language becomes
central 1970-80 Procedural versus Declarative
Representation Shift from theorem-proving 1970-80
Frames versus Atoms Shift to holistic
representations 1970- Reason versus Emotion and
Feeling 2 Splits AI from philosophy of
mind 1975- Toy versus Real Tasks Shift to
applications 1975- Serial versus Parallel 2
Distributed AI (Hearsay-like systems) 1975-
Performance versus Learning 2 Resurgence
(production systems) 1975- Psychology versus
Neuroscience 2 New link to neuroscience 1980- -
Serial versus Parallel 3 New attempt at neural
systems 1980- Problem-solving versus Recognition
3 Return of robotics 1980- Procedural versus
Declarative Representation 2 PROLOG
25
Programming Methodologies and Languages for AI
Methodology Run-Understand-Debug Edit
Languages Spring 2008 survey
  • Current use
  • 33 Java28 Prolog28 Lisp or Scheme20 C, C
    or C16 Python7 Other

Future use 38 Python33 Java27 Lisp or
Scheme26 Prolog18 C, C or C13 Other
26
Central Hypotheses of AI
  • Symbol-system hypothesis
  • Reasoning is symbol manipulation
  • Attributed to Allan Newell (1927-1992) and
    Herbert Simon (1916-2001)
  • Church-Turing thesis
  • Any symbol manipulation can be carried out on a
    Turing machine
  • Alonzo Church (1903-1995)
  • Alan Turing (1912-1954)

27
Agents and Environments
28
Example Agent Robot
  • actions
  • movement, grippers, speech, facial expressions,.
    . .
  • observations
  • vision, sonar, sound, speech recognition, gesture
    recognition,. . .
  • goals
  • deliver food, rescue people, score goals,
    explore,. . .
  • past experiences
  • effect of steering, slipperiness, how people
    move,. . .
  • prior knowledge
  • what is important feature, categories of objects,
    what a sensor tell us,. . .

29
Example Agent Teacher
  • actions
  • present new concept, drill, give test, explain
    concept,. . .
  • observations
  • test results, facial expressions, errors, focus,.
    . .
  • goals
  • particular knowledge, skills, inquisitiveness,
    social skills,. . .
  • past experiences
  • prior test results, effects of teaching
    strategies, . . .
  • prior knowledge
  • subject material, teaching strategies,. . .

30
Example agent Medical Doctor
  • actions
  • operate, test, prescribe drugs, explain
    instructions,. . .
  • observations
  • verbal symptoms, test results, visual appearance.
    . .
  • goals
  • remove disease, relieve pain, increase life
    expectancy, reduce costs,. . .
  • past experiences
  • treatment outcomes, effects of drugs, test
    results given symptoms. . .
  • prior knowledge
  • possible diseases, symptoms, possible causal
    relationships. . .

31
Example Agent User Interface
  • actions
  • present information, ask user, find another
    information source, filter information,
    interrupt,. . .
  • observations
  • users request, information retrieved, user
    feedback, facial expressions. . .
  • goals
  • present information, maximize useful information,
    minimize irrelevant information, privacy,. . .
  • past experiences
  • effect of presentation modes, reliability of
    information sources,. . .
  • prior knowledge
  • information sources, presentation modalities. . .

32
The Role of Representation
  • Choosing a representation involves balancing
    conflicting objectives
  • Different tasks require different representations
  • Representations should be expressive
    (epistemologically adequate) and efficient
    (heuristically adequate)

33
Desiderata of Representations
  • We want a representation to be
  • rich enough to express the knowledge needed to
    solve the problem
  • Epistemologically adequate
  • as close to the problem as possible compact,
    natural and maintainable
  • amenable to efficient computation able to
    express features of the problem we can exploit
    for computational gain
  • Heuristically adequate
  • learnable from data and past experiences
  • able to trade off accuracy and computation time

34
Dimensions of Complexity
  • Modularity
  • Flat, modular, or hierarchical
  • Representation
  • Explicit states or features or objects and
    relations
  • Planning Horizon
  • Static or finite stage or indefinite stage or
    infinite stage
  • Sensing Uncertainty
  • Fully observable or partially observable
  • Process Uncertainty
  • Deterministic or stochastic dynamics
  • Preference Dimension
  • Goals or complex preferences
  • Number of agents
  • Single-agent or multiple agents
  • Learning
  • Knowledge is given or knowledge is learned from
    experience
  • Computational Limitations
  • Perfect rationality or bounded rationality

35
Modularity
  • You can model the system at one level of
    abstraction flat
  • Manuscript P distinguishes flat (no
    organizational structure) from modular
    (interacting modules that can be understood on
    their own hierarchical seems to be a special
    case of modular)
  • You can model the system at multiple levels of
    abstraction hierarchical
  • Example Planning a trip from here to a resort in
    Cancun, Mexico
  • Flat representations are ok for simple systems,
    but complex biological systems, computer systems,
    organizations are all hierarchical
  • A flat description is either continuous or
    discrete.
  • Hierarchical reasoning is often a hybrid of
    continuous and discrete

36
Succinctness and Expressiveness of Representations
  • Much of modern AI is about finding compact
    representations and exploiting that compactness
    for computational gains.
  • An agent can reason in terms of
  • explicit states
  • features or propositions
  • It's often more natural to describe states in
    terms of features
  • 30 binary features can represent 230
    1,073,741,824 states.
  • individuals and relations
  • There is a feature for each relationship on each
    tuple of individuals.
  • Often we can reason without knowing the
    individuals or when there are infinitely many
    individuals

37
Example States
  • Thermostat for a heater
  • 2 belief (i.e., internal) states off, heating
  • 3 environment (i.e., external) states cold,
    comfortable, hot
  • 6 total states corresponding to the different
    combinations of belief and environment states

38
Example Features or Propositions
  • Character recognition
  • Input is a binary image which is a 30x30 grid of
    pixels
  • Action is to determine which of the letters az
    is drawn in the image
  • There are 2900 different states of the image, and
    so 262900 different functions from the image
    state into the letters
  • We cannot even represent such functions in terms
    of the state space
  • Instead, we define features of the image, such as
    line segments, and define the function from
    images to characters in terms of these features

39
Example Relational Descriptions
  • University Registrar Agent
  • Propositional description
  • passed feature for every student-course pair
    that depends on the grade feature for that pair
  • Relational description
  • individual students and courses
  • relations grade and passed
  • Define how passed depends on grade once, and
    apply it for each student and course. Moreover
    this can be done before you know of any of the
    individuals, and so before you know the value of
    any of the features

covers_core_courses(St, Dept) lt-
core_courses(Dept, CC, MinPass)
passed_each(CC, St, MinPass). passed(St, C,
MinPass) lt- grade(St, C, Gr) Gr gt MinPass.
40
Planning Horizon
  • How far the agent looks into the future when
    deciding what to do
  • Static world does not change
  • Finite stage agent reasons about a fixed finite
    number of time steps
  • Indefinite stage agent is reasoning about
    finite, but not predetermined, number of time
    steps
  • Infinite stage the agent plans for going on
    forever (process oriented)

41
Uncertainty
  • There are two dimensions for uncertainty
  • Sensing uncertainty
  • Process uncertainty
  • In each dimension we can have
  • no uncertainty the agent knows which world is
    true
  • disjunctive uncertainty there is a set of worlds
    that are possible
  • probabilistic uncertainty a probability
    distribution over the worlds

42
Uncertainty
  • Sensing uncertainty Can the agent determine the
    state from the observations?
  • Fully-observable the agent knows the state of
    the world from the observations.
  • Partially-observable many states are possible
    given an observation.
  • Process uncertainty If the agent knew the
    initial state and the action, could it predict
    the resulting state?
  • Deterministic dynamics the state resulting from
    carrying out an action in state is determined
    from the action and the state
  • Stochastic dynamics there is uncertainty over
    the states resulting from executing a given
    action in a given state.

43
Bounded Rationality
  • Solution quality as a function of time for an
    anytime algorithm

44
Examples of Representational Frameworks
  • State-space search
  • Classical planning
  • Influence diagrams
  • Decision-theoretic planning
  • Reinforcement Learning

45
State-Space Search
  • flat or hierarchical
  • explicit states or features or objects and
    relations
  • static or finite stage or indefinite stage or
    infinite stage
  • fully observable or partially observable
  • deterministic or stochastic actions
  • goals or complex preferences
  • single agent or multiple agents
  • knowledge is given or learned
  • perfect rationality or bounded rationality

46
Classical Planning
  • flat or hierarchical
  • explicit states or features or objects and
    relations
  • static or finite stage or indefinite stage or
    infinite stage
  • fully observable or partially observable
  • deterministic or stochastic actions
  • goals or complex preferences
  • single agent or multiple agents
  • knowledge is given or learned
  • perfect rationality or bounded rationality

47
Influence Diagrams
  • flat or hierarchical
  • explicit states or features or objects and
    relations
  • static or finite stage or indefinite stage or
    infinite stage
  • fully observable or partially observable
  • deterministic or stochastic actions
  • goals or complex preferences
  • single agent or multiple agents
  • knowledge is given or learned
  • perfect rationality or bounded rationality

48
Decision-Theoretic Planning
  • flat or hierarchical
  • explicit states or features or objects and
    relations
  • static or finite stage or indefinite stage or
    infinite stage
  • fully observable or partially observable
  • deterministic or stochastic actions
  • goals or complex preferences
  • single agent or multiple agents
  • knowledge is given or learned
  • perfect rationality or bounded rationality

49
Reinforcement Learning
  • flat or hierarchical
  • explicit states or features or objects and
    relations
  • static or finite stage or indefinite stage or
    infinite stage
  • fully observable or partially observable
  • deterministic or stochastic actions
  • goals or complex preferences
  • single agent or multiple agents
  • knowledge is given or learned
  • perfect rationality or bounded rationality

50
Comparison of Some Representations
51
Four Application Domains
  • Autonomous delivery robot roams around an office
    environment and delivers coffee, parcels, etc.
  • Diagnostic assistant helps a human troubleshoot
    problems and suggests repairs or treatments
  • E.g., electrical problems, medical diagnosis
  • Intelligent tutoring system teaches students in
    some subject area
  • Trading agent buys goods and services on your
    behalf

52
Environment for Delivery Robot
53
Autonomous Delivery Robot
  • Example inputs
  • Prior knowledge its capabilities, objects it may
    encounter, maps.
  • Past experience which actions are useful and
    when, what objects are there, how its actions
    aect its position
  • Goals what it needs to deliver and when,
    tradeoffs between acting quickly and acting
    safely
  • Observations about its environment from cameras,
    sonar, sound, laser range finders, or keyboards
  • Sample activities
  • Determine where Craig's office is. Where coffee
    is, etc.
  • Find a path between locations
  • Plan how to carry out multiple tasks
  • Make default assumptions about where Craig is
  • Make tradeoffs under uncertainty should it go
    near the stairs?
  • Learn from experience.
  • Sense the world, avoid obstacles, pickup and put
    down coffee

54
Environment for Diagnostic Assistant
55
Diagnostic Assistant
  • Sample activities
  • Derive the effects of faults and interventions
  • Search through the space of possible fault
    complexes
  • Explain its reasoning to the human who is using
    it
  • Derive possible causes for symptoms rule out
    other causes
  • Plan courses of tests and treatments to address
    the problems
  • Reason about the uncertainties/ambiguities given
    symptoms.
  • Trade off alternate courses of action
  • Learn what symptoms are associated with faults,
    the effects of treatments, and the accuracy of
    tests.
  • Example inputs
  • Prior knowledge how switches and lights work,
    how malfunctions manifest themselves, what
    information tests provide, the side effects of
    repairs
  • Past experience the effects of repairs or
    treatments, the prevalence of faults or diseases
  • Goals fixing the device and tradeoffs between
    fixing or replacing different components
  • Observations symptoms of a device or patient

56
Trading Agent
  • Example inputs
  • Prior knowledge the ontology of what things are
    available, where to purchase items, how to
    decompose a complex item
  • Past experience how long special last, how long
    items take to sell out, who has good deals, what
    your competitors do
  • Goals what the person wants, their tradeoffs
  • Observations what items are available, prices,
    number in stock
  • Sample activities
  • Trading agent interacts with an information
    environment to purchase goods and services.
  • It acquires a users needs, desires and
    preferences. It finds what is available.
  • It purchases goods and services that together to
    fulfill user preferences.
  • It is difficult because user preferences and what
    is available can change dynamically, and some
    items may be useless without other items.

57
Intelligent Tutoring Systems
  • Example inputs
  • Prior knowledge subject material, primitive
    strategies
  • Past experience common errors, effects of
    teaching strategies
  • Goals teach subject material, social skills,
    study skills, inquisitiveness, interest
  • Observations test results, facial expressions,
    questions, what the student is concentrating on
  • Sample activities
  • Presents theory and worked-out examples
  • Asks student question, understand answers, assess
    students knowledge
  • Answer student questions
  • Update model of student knowledge

58
Common tasks of the Domains
  • Modeling the environment
  • Build models of the physical environment,
    patient, or information environment
  • Evidential reasoning or perception
  • Given observations, determine what the world is
    like
  • Action
  • Given a model of the world and a goal, determine
    what should be done
  • Learning from past experiences
  • Learn about the specific case and the population
    of cases
About PowerShow.com