SlideShare a Scribd company logo
1 of 13
Logic in AI 2
A simple Planning Agent A simple planning agent uses the percepts provided by the environment to build a complete and correct model of the current world state, after which , to achieve its goal, it calls a suitable planning algorithm (which we will call IDEAL-PLANNER) to generate a plan of action.
Problem solving and Planningby a simple planning agent Basic elements of a search-based problem-solver are  Representation of actions,  Representation of states,  Represents of goals and  Representation of  plans.
Components of practical planning (1) Restrict the language with which PLANNER we define problems. With a restrictivelanguage, there are fewer possible solutions to search through. (2) Use a special-purpose algorithm called a planner rather than a general-purposetheorem prover to search for a solution.
Basic representation for planning LEAST COMMITMENT this principle says that one should only make choices about things that you currently working.  PARTIAL ORDER A planner that can represent plans in  some steps are ordered with respect to each other and other steps are unordered is called a partial order planner. LINEARIZATION A totally ordered plan that is derived from a plan P by adding ordering constraints is called a linearization of P.
What is a PLAN? A plan is formally defined as a data structure consisting of the following four components: Set of plan steps Set of step ordering constraints Set of variable binding constraints Set of casual links
What is a Solution? A solution is a plan that an agent can execute, and that guarantees achievement of the goal.  If we wanted to make it really easy to check that a plan is a solution, we could insist that only fully instantiated, totally ordered plans can be solutions.
How to Resolve threats in planning? Resolve now with an equality constraint Resolve now with an inequality constraint Resolve Later
Knowledge Engineering for planning Decide what to talk about. Decide on a vocabulary of conditions (literals), operators, and objects. Encode operators for the domain. Encode a description of the specific problem instance. Pose problems to the planner and get back plans.
Practical Planning Hierarchical decomposition The practical planners have adopted the idea of hierarchical decomposition: that an abstract operator can be decomposed into a group of steps that forms a plan that implements the operator.  These decompositions can be stored in a library of plans and retrieved as needed
Analysis of Hierarchical Decomposition Abstract solution A plan that contains abstract operators, but is consistent and complete once an abstract solution is found we can prune away all other abstract plans from the search tree. This property is the downward solution property. We can prune away all the descendants of any inconsistent abstract plan. This is called theupward solution property
Resource constraints in planning Using measures in planningThe solution is to introduce numeric-valued measures. Measures such as the price of gas are realities with which the planner must deal, but over which it j has little control.  Other measures, such as Cash and Gas Level, are treated as resources that can be produced and consumed. Temporal constraintsIn most ways, time can be treated like any other resource. The initial state specifies a start time for the plan.
Visit more self help tutorials Pick a tutorial of your choice and browse through it at your own pace. The tutorials section is free, self-guiding and will not involve any additional support. Visit us at www.dataminingtools.net

More Related Content

What's hot

Adversarial search
Adversarial searchAdversarial search
Adversarial search
Nilu Desai
 
Constraint satisfaction problems (csp)
Constraint satisfaction problems (csp)   Constraint satisfaction problems (csp)
Constraint satisfaction problems (csp)
Archana432045
 
Computational Learning Theory
Computational Learning TheoryComputational Learning Theory
Computational Learning Theory
butest
 
Image feature extraction
Image feature extractionImage feature extraction
Image feature extraction
Rushin Shah
 
Statistical Pattern recognition(1)
Statistical Pattern recognition(1)Statistical Pattern recognition(1)
Statistical Pattern recognition(1)
Syed Atif Naseem
 

What's hot (20)

Decision Tree Learning
Decision Tree LearningDecision Tree Learning
Decision Tree Learning
 
K-Folds Cross Validation Method
K-Folds Cross Validation MethodK-Folds Cross Validation Method
K-Folds Cross Validation Method
 
Adversarial search
Adversarial searchAdversarial search
Adversarial search
 
Constraint satisfaction problems (csp)
Constraint satisfaction problems (csp)   Constraint satisfaction problems (csp)
Constraint satisfaction problems (csp)
 
Uncertain Knowledge and Reasoning in Artificial Intelligence
Uncertain Knowledge and Reasoning in Artificial IntelligenceUncertain Knowledge and Reasoning in Artificial Intelligence
Uncertain Knowledge and Reasoning in Artificial Intelligence
 
02 Machine Learning - Introduction probability
02 Machine Learning - Introduction probability02 Machine Learning - Introduction probability
02 Machine Learning - Introduction probability
 
ProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) IntroductionProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) Introduction
 
Evaluating hypothesis
Evaluating  hypothesisEvaluating  hypothesis
Evaluating hypothesis
 
Edge Detection and Segmentation
Edge Detection and SegmentationEdge Detection and Segmentation
Edge Detection and Segmentation
 
sum of subset problem using Backtracking
sum of subset problem using Backtrackingsum of subset problem using Backtracking
sum of subset problem using Backtracking
 
AI Lecture 7 (uncertainty)
AI Lecture 7 (uncertainty)AI Lecture 7 (uncertainty)
AI Lecture 7 (uncertainty)
 
AI: Planning and AI
AI: Planning and AIAI: Planning and AI
AI: Planning and AI
 
Truth management system
Truth  management systemTruth  management system
Truth management system
 
Computational Learning Theory
Computational Learning TheoryComputational Learning Theory
Computational Learning Theory
 
Image feature extraction
Image feature extractionImage feature extraction
Image feature extraction
 
Logistic regression
Logistic regressionLogistic regression
Logistic regression
 
Shading
ShadingShading
Shading
 
Naïve Bayes Classifier Algorithm.pptx
Naïve Bayes Classifier Algorithm.pptxNaïve Bayes Classifier Algorithm.pptx
Naïve Bayes Classifier Algorithm.pptx
 
Bayes Classification
Bayes ClassificationBayes Classification
Bayes Classification
 
Statistical Pattern recognition(1)
Statistical Pattern recognition(1)Statistical Pattern recognition(1)
Statistical Pattern recognition(1)
 

Viewers also liked

Artificial intelligence- Logic Agents
Artificial intelligence- Logic AgentsArtificial intelligence- Logic Agents
Artificial intelligence- Logic Agents
Nuruzzaman Milon
 
Logical Agents
Logical AgentsLogical Agents
Logical Agents
Yasir Khan
 
Oratoria E RetóRica Latinas
Oratoria E RetóRica LatinasOratoria E RetóRica Latinas
Oratoria E RetóRica Latinas
lara
 

Viewers also liked (20)

AI: Logic in AI
AI: Logic in AIAI: Logic in AI
AI: Logic in AI
 
AI: Learning in AI 2
AI: Learning in AI 2AI: Learning in AI 2
AI: Learning in AI 2
 
Artificial intelligence- Logic Agents
Artificial intelligence- Logic AgentsArtificial intelligence- Logic Agents
Artificial intelligence- Logic Agents
 
LISP:Object System Lisp
LISP:Object System LispLISP:Object System Lisp
LISP:Object System Lisp
 
AI: Belief Networks
AI: Belief NetworksAI: Belief Networks
AI: Belief Networks
 
AI: AI & Searching
AI: AI & SearchingAI: AI & Searching
AI: AI & Searching
 
Data Mining: Text and web mining
Data Mining: Text and web miningData Mining: Text and web mining
Data Mining: Text and web mining
 
Data Mining: Mining stream time series and sequence data
Data Mining: Mining stream time series and sequence dataData Mining: Mining stream time series and sequence data
Data Mining: Mining stream time series and sequence data
 
AI: AI & Problem Solving
AI: AI & Problem SolvingAI: AI & Problem Solving
AI: AI & Problem Solving
 
Data Mining: Data processing
Data Mining: Data processingData Mining: Data processing
Data Mining: Data processing
 
AI: Learning in AI
AI: Learning in AI AI: Learning in AI
AI: Learning in AI
 
Data Mining: Outlier analysis
Data Mining: Outlier analysisData Mining: Outlier analysis
Data Mining: Outlier analysis
 
Logical Agents
Logical AgentsLogical Agents
Logical Agents
 
Data Mining: Key definitions
Data Mining: Key definitionsData Mining: Key definitions
Data Mining: Key definitions
 
Learning agents
Learning agentsLearning agents
Learning agents
 
Artificial Intelligence
Artificial IntelligenceArtificial Intelligence
Artificial Intelligence
 
Planning
PlanningPlanning
Planning
 
Oratoria E RetóRica Latinas
Oratoria E RetóRica LatinasOratoria E RetóRica Latinas
Oratoria E RetóRica Latinas
 
Paramount Search Partners
Paramount Search PartnersParamount Search Partners
Paramount Search Partners
 
Matlab: Discrete Linear Systems
Matlab: Discrete Linear SystemsMatlab: Discrete Linear Systems
Matlab: Discrete Linear Systems
 

Similar to AI: Logic in AI 2

Management notes b.com ii
Management notes b.com iiManagement notes b.com ii
Management notes b.com ii
Changazi
 
Management notes b.com ii
Management notes b.com iiManagement notes b.com ii
Management notes b.com ii
Changazi
 
Introduction to Project Management
Introduction to Project ManagementIntroduction to Project Management
Introduction to Project Management
Anil Singh
 
Principles of Management Lec-2
Principles of Management Lec-2Principles of Management Lec-2
Principles of Management Lec-2
Muhammad Akram
 
The Disaster Recovery Plan Sumanth Lagadapati[email protecte.docx
The Disaster Recovery Plan Sumanth Lagadapati[email protecte.docxThe Disaster Recovery Plan Sumanth Lagadapati[email protecte.docx
The Disaster Recovery Plan Sumanth Lagadapati[email protecte.docx
todd241
 
Final hrm project 2003
Final hrm project 2003Final hrm project 2003
Final hrm project 2003
Adil Shaikh
 
Pom 2 20 09 2008
Pom 2 20 09 2008Pom 2 20 09 2008
Pom 2 20 09 2008
msq2004
 

Similar to AI: Logic in AI 2 (20)

Management notes b.com ii
Management notes b.com iiManagement notes b.com ii
Management notes b.com ii
 
Management notes b.com ii
Management notes b.com iiManagement notes b.com ii
Management notes b.com ii
 
Lesson 22
Lesson 22Lesson 22
Lesson 22
 
AI Lesson 22
AI Lesson 22AI Lesson 22
AI Lesson 22
 
Csc 102 lecture note(introduction to problem solving)
Csc 102 lecture note(introduction to problem solving)Csc 102 lecture note(introduction to problem solving)
Csc 102 lecture note(introduction to problem solving)
 
Log frame-analysis
Log frame-analysisLog frame-analysis
Log frame-analysis
 
Introduction to Project Management
Introduction to Project ManagementIntroduction to Project Management
Introduction to Project Management
 
MIlestoneDrivenAgileExecution.pdf
MIlestoneDrivenAgileExecution.pdfMIlestoneDrivenAgileExecution.pdf
MIlestoneDrivenAgileExecution.pdf
 
Scheduling And Htn
Scheduling And HtnScheduling And Htn
Scheduling And Htn
 
Principles of Management Lec-2
Principles of Management Lec-2Principles of Management Lec-2
Principles of Management Lec-2
 
DP Project Report
DP Project ReportDP Project Report
DP Project Report
 
The Disaster Recovery Plan Sumanth Lagadapati[email protecte.docx
The Disaster Recovery Plan Sumanth Lagadapati[email protecte.docxThe Disaster Recovery Plan Sumanth Lagadapati[email protecte.docx
The Disaster Recovery Plan Sumanth Lagadapati[email protecte.docx
 
Introduction Construction Planning and Management
Introduction Construction Planning and Management Introduction Construction Planning and Management
Introduction Construction Planning and Management
 
5 The Logical Framework - a short course for NGOs
5 The Logical Framework - a short course for NGOs5 The Logical Framework - a short course for NGOs
5 The Logical Framework - a short course for NGOs
 
Control
ControlControl
Control
 
Lp assign
Lp assignLp assign
Lp assign
 
Application of Linear Programming to Profit Maximization (A Case Study of.pdf
Application of Linear Programming to Profit Maximization (A Case Study of.pdfApplication of Linear Programming to Profit Maximization (A Case Study of.pdf
Application of Linear Programming to Profit Maximization (A Case Study of.pdf
 
Final hrm project 2003
Final hrm project 2003Final hrm project 2003
Final hrm project 2003
 
Pom 2 20 09 2008
Pom 2 20 09 2008Pom 2 20 09 2008
Pom 2 20 09 2008
 
Research on Lexicographic Linear Goal Programming Problem Based on LINGO and ...
Research on Lexicographic Linear Goal Programming Problem Based on LINGO and ...Research on Lexicographic Linear Goal Programming Problem Based on LINGO and ...
Research on Lexicographic Linear Goal Programming Problem Based on LINGO and ...
 

More from DataminingTools Inc

More from DataminingTools Inc (18)

Terminology Machine Learning
Terminology Machine LearningTerminology Machine Learning
Terminology Machine Learning
 
Techniques Machine Learning
Techniques Machine LearningTechniques Machine Learning
Techniques Machine Learning
 
Machine learning Introduction
Machine learning IntroductionMachine learning Introduction
Machine learning Introduction
 
Areas of machine leanring
Areas of machine leanringAreas of machine leanring
Areas of machine leanring
 
AI: Introduction to artificial intelligence
AI: Introduction to artificial intelligenceAI: Introduction to artificial intelligence
AI: Introduction to artificial intelligence
 
Data Mining: Mining ,associations, and correlations
Data Mining: Mining ,associations, and correlationsData Mining: Mining ,associations, and correlations
Data Mining: Mining ,associations, and correlations
 
Data Mining: Graph mining and social network analysis
Data Mining: Graph mining and social network analysisData Mining: Graph mining and social network analysis
Data Mining: Graph mining and social network analysis
 
Data warehouse and olap technology
Data warehouse and olap technologyData warehouse and olap technology
Data warehouse and olap technology
 
Data Mining: clustering and analysis
Data Mining: clustering and analysisData Mining: clustering and analysis
Data Mining: clustering and analysis
 
Data mining: Classification and prediction
Data mining: Classification and predictionData mining: Classification and prediction
Data mining: Classification and prediction
 
Data Mining: Classification and analysis
Data Mining: Classification and analysisData Mining: Classification and analysis
Data Mining: Classification and analysis
 
Data Mining: Data cube computation and data generalization
Data Mining: Data cube computation and data generalizationData Mining: Data cube computation and data generalization
Data Mining: Data cube computation and data generalization
 
Data Mining: Applying data mining
Data Mining: Applying data miningData Mining: Applying data mining
Data Mining: Applying data mining
 
Data Mining: Application and trends in data mining
Data Mining: Application and trends in data miningData Mining: Application and trends in data mining
Data Mining: Application and trends in data mining
 
MS SQL SERVER: Using the data mining tools
MS SQL SERVER: Using the data mining toolsMS SQL SERVER: Using the data mining tools
MS SQL SERVER: Using the data mining tools
 
MS SQL SERVER: SSIS and data mining
MS SQL SERVER: SSIS and data miningMS SQL SERVER: SSIS and data mining
MS SQL SERVER: SSIS and data mining
 
MS SQL SERVER: Programming sql server data mining
MS SQL SERVER: Programming sql server data miningMS SQL SERVER: Programming sql server data mining
MS SQL SERVER: Programming sql server data mining
 
MS SQL SERVER: Olap cubes and data mining
MS SQL SERVER: Olap cubes and data miningMS SQL SERVER: Olap cubes and data mining
MS SQL SERVER: Olap cubes and data mining
 

Recently uploaded

Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
WSO2
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
 

Recently uploaded (20)

Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
Understanding the FAA Part 107 License ..
Understanding the FAA Part 107 License ..Understanding the FAA Part 107 License ..
Understanding the FAA Part 107 License ..
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
Strategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a FresherStrategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a Fresher
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
 
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKSpring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In PakistanCNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with Milvus
 

AI: Logic in AI 2

  • 2. A simple Planning Agent A simple planning agent uses the percepts provided by the environment to build a complete and correct model of the current world state, after which , to achieve its goal, it calls a suitable planning algorithm (which we will call IDEAL-PLANNER) to generate a plan of action.
  • 3. Problem solving and Planningby a simple planning agent Basic elements of a search-based problem-solver are  Representation of actions, Representation of states, Represents of goals and Representation of plans.
  • 4. Components of practical planning (1) Restrict the language with which PLANNER we define problems. With a restrictivelanguage, there are fewer possible solutions to search through. (2) Use a special-purpose algorithm called a planner rather than a general-purposetheorem prover to search for a solution.
  • 5. Basic representation for planning LEAST COMMITMENT this principle says that one should only make choices about things that you currently working. PARTIAL ORDER A planner that can represent plans in some steps are ordered with respect to each other and other steps are unordered is called a partial order planner. LINEARIZATION A totally ordered plan that is derived from a plan P by adding ordering constraints is called a linearization of P.
  • 6. What is a PLAN? A plan is formally defined as a data structure consisting of the following four components: Set of plan steps Set of step ordering constraints Set of variable binding constraints Set of casual links
  • 7. What is a Solution? A solution is a plan that an agent can execute, and that guarantees achievement of the goal. If we wanted to make it really easy to check that a plan is a solution, we could insist that only fully instantiated, totally ordered plans can be solutions.
  • 8. How to Resolve threats in planning? Resolve now with an equality constraint Resolve now with an inequality constraint Resolve Later
  • 9. Knowledge Engineering for planning Decide what to talk about. Decide on a vocabulary of conditions (literals), operators, and objects. Encode operators for the domain. Encode a description of the specific problem instance. Pose problems to the planner and get back plans.
  • 10. Practical Planning Hierarchical decomposition The practical planners have adopted the idea of hierarchical decomposition: that an abstract operator can be decomposed into a group of steps that forms a plan that implements the operator. These decompositions can be stored in a library of plans and retrieved as needed
  • 11. Analysis of Hierarchical Decomposition Abstract solution A plan that contains abstract operators, but is consistent and complete once an abstract solution is found we can prune away all other abstract plans from the search tree. This property is the downward solution property. We can prune away all the descendants of any inconsistent abstract plan. This is called theupward solution property
  • 12. Resource constraints in planning Using measures in planningThe solution is to introduce numeric-valued measures. Measures such as the price of gas are realities with which the planner must deal, but over which it j has little control. Other measures, such as Cash and Gas Level, are treated as resources that can be produced and consumed. Temporal constraintsIn most ways, time can be treated like any other resource. The initial state specifies a start time for the plan.
  • 13. Visit more self help tutorials Pick a tutorial of your choice and browse through it at your own pace. The tutorials section is free, self-guiding and will not involve any additional support. Visit us at www.dataminingtools.net