Mind Mind Mind Point to Share Knowlege  
 
   
  Add New Map Add New Map About us About us Help Help Contact us Contact us  

Rational AI Agents

please flag with care:
best of
error
spam
 
2007-12-05No history Add My version 
 (mindmap file created by  ConceptDraw MINDMAP)

  
This is a mindmap about an Artificial Intelligence 
 
outline 
Rational AI Agents
  Communicating, perceiving and acting
  Communication
  Probabilistic Language Processing
  Perception
  Robotics
  Problem-solving
  Solving Problems by Searching
  Informed Search and Exploration
  Constraint Satisfaction Problems
  Adversarial Search
  Knowledge and reasoning
  Logical Agents
  First-Order Logic
  Inference in First-Order Logic
  Knowledge Representation
  Actions Planning
  Planning
  Planning and Acting in the Real World
  Conclusions
  Uncertain knowledge and reasoning
  Uncertainty
  Probabilistic Reasoning
  Probabilistic Reasoning over Time
  Making Simple Decisions
  Making Complex Decisions
  Learning
  Learning from Observations
  Knowledge in Learning
  Statistical Learning Methods
  Reinforcement Learning
  Mathematical background
  Artificial Intelligence
  Introduction in AI
  Intelligent Agents
 Artificial Intelligence: A Modern Approach
 by Stuart Russell and Peter Norvig
 >>New Map
 Artificial Intelligence: Conclusions
  Philosophical Foundations
  Weak AI: Can Machines Act Intelligently?
  The argument from disability
  The mathematical objection
  The argument from informality
  Strong AI: Can Machines Really Think?
  The mind-body problem
  The "brain in a vat"' experiment
  The brain prosthesis experiment
  The Chinese room
  The Ethics and Risks of Developing Artificial Intelligence
  AI: Present and Future
  Agent Components
  Agent Architectures
  Are We Going in the Right Direction?
  What if AI Does Succeed?
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Mathematical background Artificial Approach
  Vectors
  Complexity Analysis and O() Notation
  Asymptotic analysis
  NP and inherently hard problems
  Probability Distributions
  Matrices
  Linear Algebra
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Introduction in Artificial Intelligence
  The State of the Art
  What is AI?
  The Turing Test approach
 >>Note: Acting humanly
  The cognitive modeling approach
 >>Note: Thinking humanly
  The "laws of thought'' approach
 >>Note: Thinking rationally
 
  The rational agent approach
 >>Note: Acting rationally
 
  The History of Artificial Intelligence
  The Foundations of Artificial Intelligence
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 The History of Artificial Intelligence
  The gestation of artificial intelligence (1943-1955)
  The birth of artificial intelligence (1956)
  Early enthusiasm, great expectations (1952-1969)
  A dose of reality (1966-1973)
  Knowledge-based systems: The key to power? (1969-1979)
  AI becomes an industry (1980-present)
  The return of neural networks (1986-present)
  AI becomes a science (1987-present)
  The emergence of intelligent agents (1995-present)
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 The Foundations of Artificial Intelligence
  Philosophy (428 B.C.-present)
  Mathematics (B.C. 800-present)
  Economics (1776-present)
  Neuroscience (1861-present)
  Psychology (1879-present)
  Computer engineering (1940-present)
  Control theory and Cybernetics (1948-present)
  Linguistics (1957-present)
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Intelligent Agents
  The Structure of Agents
  Agent programs
  Simple reflex agents
  Model-based reflex agents
  Goal-based agents
  Utility-based agents
  Learning agents
  Agents and Environments
  Good Behavior: The Concept of Rationality
  Performance measures
  Rationality
  Omniscience, learning, and autonomy
  The Nature of Environments
  Specifying the task environment
  Properties of task environments
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Solving Problems by Searching
  Problem-Solving Agents
  Well-defined problems and solutions
  Formulating problems
  Example Problems
  Toy problems
  Real-world problems
  Searching for Solutions
  Measuring problem-solving performance
  Uninformed Search Strategies
  Breadth-first search
  Uniform-cost search
  Depth-first search
  Depth-limited search
  Iterative deepening depth-first search
  Bidirectional search
  Comparing uninformed search strategies
  Avoiding Repeated States
  Searching with Partial Information
  Sensorless problems
  Contingency problems
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Informed Search and Exploration
  Informed (Heuristic) Search Strategies
  Greedy best-first search
  A* search: Minimizing the total estimated solution cost
  Memory-bounded heuristic search
  Learning to search better
  Heuristic Functions
  The effect of heuristic accuracy on performance
  Inventing admissible heuristic functions
  Learning heuristics from experience
  Local Search Algorithms and Optimization Problems
  Hill-climbing search
  Simulated annealing search
  Local beam search
  Genetic algorithms
  Local Search in Continuous Spaces
  Online Search Agents and Unknown Environments
  Online search problems
  Online search agents
  Online local search
  Learning in online search
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Constraint Satisfaction Problems
  Constraint Satisfaction Problems
  Backtracking Search for CSPs
  Variable and value ordering
  Propagating information through constraints
  Forward checking
  Constraint propagation
  Handling special constraints
  Intelligent backtracking: looking backward
  Local Search for Constraint Satisfaction Problems
  The Structure of Problems
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Problem-solving
 Adversarial Search
  Games
  Optimal Decisions in Games
  Optimal strategies
  The minimax algorithm
  Optimal decisions in multiplayer games
  Alpha-Beta Pruning
  Imperfect, Real-Time Decisions
  Evaluation functions
  Cutting off search
  Games That Include an Element of Chance
  Position evaluation in games with chance nodes
  Complexity of expectiminimax
  Card games
  State-of-the-Art Game Programs
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Logical Agents
  Reasoning Patterns in Propositional Logic
  Resolution
  Conjunctive normal form
  A resolution algorithm
  Completeness of resolution
  Forward and backward chaining
  Knowledge-Based Agents
  Propositional Logic
 >>Note: A Very Simple Logic
 
  Syntax
  Semantics
  A simple knowledge base
  Inference
 
  Equivalence
  Validity
  Satisfiability
  Agents Based on Propositional Logic
  Finding pits and wumpuses using logical inference
  Keeping track of location and orientation
  Circuit-based agents
  A comparison
  The Wumpus World
  Effective propositional inference
  A complete backtracking algorithm
  Local-search algorithms
  Hard satisfiability problems
  Logic
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Syntax and Semantics of First-Order Logic
  Quantifiers
  Universal quantification
  Existential quantification
  Nested quantifiers
  Connections between Forall and Exists
  Models for first-order logic
  Symbols and interpretations
  Atomic sentences
  Terms
  Complex sentences
  Equality
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 First-Order Logic
  Knowledge Engineering in First-Order Logic
  The knowledge engineering process
  The electronic circuits domain
  Identify the task
  Assemble the relevant knowledge
  Decide on a vocabulary
  Encode general knowledge of the domain
  Encode the specific problem instance
  Pose queries to the inference procedure
  Debug the knowledge base
  Representation Revisited
  Using First-Order Logic
  Assertions and queries in first-order logic
  The kinship domain
  Numbers, sets, and lists
  The wumpus world
  Syntax and Semantics of First-Order Logic
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Inference in First-Order Logic
  Backward Chaining
  A backward chaining algorithm
  Logic programming
  Efficient implementation of logic programs
  Redundant inference and infinite loops
  Constraint logic programming
  Propositional vs. First-Order Inference
  Inference rules for quantifiers
  Reduction to propositional inference
  Unification and Lifting
  A first-order inference rule
  Unification
  Storage and retrieval
  Forward Chaining
  First-order definite clauses
  A simple forward-chaining algorithm
  Efficient forward chaining
  Matching rules against known facts
  Incremental forward chaining
  Irrelevant facts
  Resolution
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Inference in First-Order Logic
 Resolution
  Resolution strategies
  Unit preference
  Set of support
  Input resolution
  Subsumption
  Conjunctive normal form for first-order logic
  The resolution inference rule
  Example proofs
  Completeness of resolution
  Dealing with equality
  Theorem provers
  Design of a theorem prover
  Extending Prolog
  Theorem provers as assistants
  Practical uses of theorem provers
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Knowledge Representation
  Actions, Situations and Events
  The ontology of situation calculus
  Describing actions in situation calculus
  Solving the representational frame problem
  Solving the inferential frame problem
  Time and event calculus
  Generalized events
  Processes
  Intervals
  Fluents and objects
  Ontological Engineering
  Truth Maintenance Systems
  Mental Events and Mental Objects
  A formal theory of beliefs
  Knowledge and belief
  Knowledge, time, and action
  Reasoning Systems for Categories
  Semantic networks
  Description logics
  Reasoning with Default Information
  Open and closed worlds
  Negation as failure and stable model semantics
  Circumscription and default logic
  Categories and Objects
  Physical composition
  Measurements
  Substances and objects
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Rational AI Agents: Planning
  Planning with State-Space Search
  Forward state-space search
  Backward state-space search
  Heuristics for state-space search
  The Planning Problem
  The language of planning problems
  Expressiveness
  Extensions
  Partial-Order Planning
  A partial-order planning example
  Partial-order planning with unbound variables
  Heuristics for partial-order planning
  Analysis of Planning Approaches
  Planning Graphs
  Planning graphs for heuristic estimation
  The Graphplan algorithm
  Termination of Graphplan
  Planning with Propositional Logic
  Describing planning problems in propositional logic
  Complexity of propositional encodings
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Planning and Acting in the Real World
  MultiAgent Planning
  Cooperation: Joint goals and plans
  Multibody planning
  Coordination mechanisms
  Competition
  Time, Schedules, and Resources
  Scheduling with resource constraints
  Continuous Planning
  Hierarchical Task Network Planning
  Representing action decompositions
  Modifying the planner for decompositions
  Conditional Planning
  Conditional planning in fully observable environments
  Conditional planning in partially observable environments
  Planning and Acting in Nondeterministic Domains
  Execution Monitoring and Replanning
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Communicating, perceiving and acting
 Communication
  Semantic Interpretation
  Time and tense
  Quantification
  Pragmatic Interpretation
  Language generation with DCGs
  Discourse Understanding
  Reference resolution
  The structure of coherent discourse
  Communication as Action
  Fundamentals of language
  The component steps of communication
  A Formal Grammar for a Fragment of English
  The Lexicon of E_0
  The Grammar of E_0
  Augmented Grammars
  Verb subcategorization
  Generative capacity of augmented grammars
  Syntactic Analysis (Parsing)
  Efficient parsing
  Grammar Induction
  Ambiguity and Disambiguation
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Communicating, perceiving and acting
 Probabilistic Language Processing
  Probabilistic Language Models
  Probabilistic context-free grammars
  Learning probabilities for PCFGs
  Learning rule structure for PCFGs
  Information Retrieval
  Evaluating IR systems
  IR refinements
  Presentation of result sets
  Implementing IR systems
  Information Extraction
  Machine Translation
  Machine translation systems
  Statistical machine translation
  Learning probabilities for machine translation
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Communicating, perceiving and acting
 Perception
  Image Formation
  Images without lenses: the pinhole camera
  Lens systems
  Light: the photometry of image formation
  Color: the spectrophotometry of image formation
  Early Image Processing Operations
  Edge detection
  Image segmentation
  Extracting Three-Dimensional Information
  Motion
  Binocular stereopsis
  Texture gradients
  Shading
  Contour
  Object Recognition
  Brightness-based recognition
  Feature-based recognition
  Pose Estimation
  Using Vision for Manipulation and Navigation
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Communicating, perceiving and acting
 Robotics
  Planning to Move
  Configuration space
  Cell decomposition methods
  Skeletonization methods
  Robotic Software Architectures
  Subsumption architecture
  Three-layer architecture
  Robotic programming languages
  Robot Hardware
  Sensors
  Effectors
  Planning uncertain movements
  Robust methods
  Moving
  Dynamics and control
  Potential field control
  Reactive control
  Robotic Perception
  Localization
  Mapping
  Other types of perception
  Application Domains
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Learning from Observations
  Forms of Learning
  Inductive Learning
  Learning Decision Trees
  Decision trees as performance elements
  Expressiveness of decision trees
  Inducing decision trees from examples
  Choosing attribute tests
  Assessing the performance of the learning algorithm
  Noise and overfitting
  Broadening the applicability of decision trees
  Ensemble Learning
  Computational Learning Theory
 >>Note: Why Learning Works
  How many examples are needed?
  Learning decision lists
  Discussion
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Knowledge in Learning
  A Logical Formulation of Learning
  Examples and hypotheses
  Current-best-hypothesis search
  Least-commitment search
  Knowledge in Learning
  Some simple examples
  Some general schemes
  Explanation-Based Learning
  Extracting general rules from examples
  Improving efficiency
  Learning Using Relevance Information
  Determining the hypothesis space
  Learning and using relevance information
  Inductive Logic Programming
  Top-down inductive learning methods
  Inductive learning with inverse deduction
  Making discoveries with inductive logic programming
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Statistical Learning Methods
  Learning with Complete Data
  Maximum-likelihood parameter learning: Discrete models
  Naive Bayes models
  Maximum-likelihood parameter learning: Continuous models
  Bayesian parameter learning
  Learning Bayes net structures
  Statistical Learning
  Learning with Hidden Variables: The EM Algorithm
  Unsupervised clustering: Learning mixtures of Gaussians
  Learning Bayesian networks with hidden variables
  Learning hidden Markov models
  The general form of the EM algorithm
  Learning Bayes net structures with hidden variables
  Instance-Based Learning
  Nearest-neighbor models
  Kernel models
  Kernel Machines
  Neural Networks
  Units in neural networks
  Network structures
  Single layer feed-forward neural networks (perceptrons)
  Multilayer feed-forward neural networks
  Learning neural network structures
  Case Study: Handwritten Digit Recognition
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Reinforcement Learning
  Passive Reinforcement Learning
  Direct utility estimation
  Adaptive dynamic programming
  Temporal difference learning
  Active Reinforcement Learning
  Exploration
  Learning an Action-Value Function
  Generalization in Reinforcement Learning
  Applications to game-playing
  Application to robot control
  Policy Search
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Uncertain knowledge and reasoning
 Uncertainty
  Acting under Uncertainty
  Handling uncertain knowledge
  Uncertainty and rational decisions
  Design for a decision-theoretic agent
  Basic Probability Notation
  Propositions
  Atomic events
  Prior probability
  Conditional probability
  The Axioms of Probability
  Using the axioms of probability
  Why the axioms of probability are reasonable
  Inference Using Full Joint Distributions
  Independence
  Bayes' Rule and Its Use
  Applying Bayes' rule: The simple case
  Using Bayes' rule: Combining evidence
  The Wumpus World Revisited
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Uncertain knowledge and reasoning
 Probabilistic Reasoning
  Representing Knowledge in an Uncertain Domain
  The Semantics of Bayesian Networks
  Representing the full joint distribution
  A method for constructing Bayesian networks
  Compactness and node ordering
  Conditional independence relations in Bayesian networks
  Efficient Representation of Conditional Distributions
  Bayesian nets with continuous variables
  Exact Inference in Bayesian Networks
  Inference by enumeration
  The variable elimination algorithm
  The complexity of exact inference
  Clustering algorithms
  Approximate Inference in Bayesian Networks
  Direct sampling methods
  Rejection sampling in Bayesian networks
  Likelihood weighting
  Inference by Markov chain simulation
  The MCMC algorithm
  Why MCMC works
  Extending Probability to First-Order Representations
  Other Approaches to Uncertain Reasoning
  Rule-based methods for uncertain reasoning
  Representing ignorance: Dempster-Shafer theory
  Representing vagueness: Fuzzy sets and fuzzy logic
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Uncertain knowledge and reasoning
 Probabilistic Reasoning over Time
  Time and Uncertainty
  States and observations
  Stationary processes and the Markov assumption
  Inference in Temporal Models
  Filtering and prediction
  Smoothing
  Finding the most likely sequence
  Hidden Markov Models
  Simplified matrix algorithms
  Kalman Filters
  Updating Gaussian distributions
  A simple one-dimensional example
  The general case
  Applicability of Kalman filtering
  Dynamic Bayesian Networks
  Constructing DBNs
  Exact inference in DBNs
  Approximate inference in DBNs
  Speech Recognition
  Speech sounds
  Words
  Sentences
  Building a speech recognizer
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Uncertain knowledge and reasoning
 Making Simple Decisions
  Combining Beliefs and Desires under Uncertainty
  The Basis of Utility Theory
  Constraints on rational preferences
  And then there was Utility
  Utility Functions
  The utility of money
  Utility scales and utility assessment
  Multiattribute Utility Functions
  Dominance
  Preference structure and multiattribute utility
  Preferences without uncertainty
  Preferences with uncertainty
  Decision Networks
  Representing a decision problem with a decision network
  Evaluating decision networks
  The Value of Information
  A simple example
  A general formula
  Properties of the value of information
  Implementing an information-gathering agent
  Decision-Theoretic Expert Systems
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig
 >>New Map
 Uncertain knowledge and reasoning
 Making Complex Decisions
  Value Iteration
  Utilities of states
  The value iteration algorithm
  Convergence of value iteration
  Policy Iteration
  Partially observable MDPs
  Decision-Theoretic Agents
  Decisions with Multiple Agents: Game Theory
  Mechanism Design
  Sequential Decision Problems
  An example
  Optimality in sequential decision problems
 Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig