Скачать презентацию Planning Module THREE Planning Production Systems Expert Systems Скачать презентацию Planning Module THREE Planning Production Systems Expert Systems

d8bd5f6a8838a65e6f64157378f1489e.ppt

  • Количество слайдов: 55

Planning Module THREE: Planning, Production Systems, Expert Systems, Uncertainty Dr M M Awais Planning Module THREE: Planning, Production Systems, Expert Systems, Uncertainty Dr M M Awais

What is Planning CS 331/531 Dr M M Awais What is Planning CS 331/531 Dr M M Awais

BASIC CONCEPT CS 331/531 Dr M M Awais BASIC CONCEPT CS 331/531 Dr M M Awais

Definitions: Summary Planning: System’s Plan: The problem of finding some action to achieve some Definitions: Summary Planning: System’s Plan: The problem of finding some action to achieve some goal The sequence of such actions is called System’s Plan

CS 331/531 Dr M M Awais CS 331/531 Dr M M Awais

CS 331/531 Dr M M Awais CS 331/531 Dr M M Awais

CS 331/531 Dr M M Awais CS 331/531 Dr M M Awais

A 1 A 2 A 1 A 3 A 4 A 5 CS 331/531 A 1 A 2 A 1 A 3 A 4 A 5 CS 331/531 Dr M M Awais

A 1 A 2 Wrong Choice A 1 A 4 A 5 CS 331/531 A 1 A 2 Wrong Choice A 1 A 4 A 5 CS 331/531 Dr M M Awais A 3

A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M M Awais A 3

A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M M Awais A 3

A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M M Awais A 3

A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M M Awais A 3

A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M A 1 A 2 A 1 A 4 A 5 CS 331/531 Dr M M Awais A 3

A 1 A 2 A 1 A 4 A 5 So MEA will choose A 1 A 2 A 1 A 4 A 5 So MEA will choose A 3 always CS 331/531 Dr M M Awais A 3

Difficulty of real world problems CS 331/531 Dr M M Awais Difficulty of real world problems CS 331/531 Dr M M Awais

Implementation Methods: Strips ADL TRIANGULAR TABLE PLAN CS 331/531 Dr M M Awais Implementation Methods: Strips ADL TRIANGULAR TABLE PLAN CS 331/531 Dr M M Awais

Planning language CS 331/531 Dr M M Awais Planning language CS 331/531 Dr M M Awais

General language features CS 331/531 Dr M M Awais General language features CS 331/531 Dr M M Awais

General language features CS 331/531 Dr M M Awais General language features CS 331/531 Dr M M Awais

General language features CS 331/531 Dr M M Awais General language features CS 331/531 Dr M M Awais

General language features CS 331/531 Dr M M Awais General language features CS 331/531 Dr M M Awais

General language features CS 331/531 Dr M M Awais General language features CS 331/531 Dr M M Awais

General language features CS 331/531 Dr M M Awais General language features CS 331/531 Dr M M Awais

General language features CS 331/531 Dr M M Awais General language features CS 331/531 Dr M M Awais

Language semantics? CS 331/531 Dr M M Awais Language semantics? CS 331/531 Dr M M Awais

Language semantics? CS 331/531 Dr M M Awais Language semantics? CS 331/531 Dr M M Awais

Strips: Advancement CS 331/531 Dr M M Awais Strips: Advancement CS 331/531 Dr M M Awais

Example: air cargo transport CS 331/531 Dr M M Awais Example: air cargo transport CS 331/531 Dr M M Awais

Example: Spare tire problem CS 331/531 Dr M M Awais Example: Spare tire problem CS 331/531 Dr M M Awais

Example: Blocks world CS 331/531 Dr M M Awais Example: Blocks world CS 331/531 Dr M M Awais

Example: Blocks world: Alternative Representation CS 331/531 Dr M M Awais Example: Blocks world: Alternative Representation CS 331/531 Dr M M Awais

Triangle Table: Effective Representation Pre-cond gripping() clear(X) on(X, Y) Unstack(X, Y) gripping(X) clear(Y) Effects Triangle Table: Effective Representation Pre-cond gripping() clear(X) on(X, Y) Unstack(X, Y) gripping(X) clear(Y) Effects CS 331/531 Dr M M Awais

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) clear(Y) putdown (X) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) clear(Y) putdown (X) gripping() ontable(X ) clear(X) CS 331/531 Dr M M Awais

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) clear(Y) ontable(Y ) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) clear(Y) ontable(Y ) putdown (X) gripping() ontable(X ) clear(X) pickup (Y) CS 331/531 Dr M M Awais

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) clear(Y) ontable(Y ) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) clear(Y) ontable(Y ) ? ? ? putdown (X) gripping() ontable(X ) clear(X) pickup (Y) CS 331/531 Dr M M Awais

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) By doing this clear (Y) is still the Effect of unstack(X, Y) (same column) putdown (X) gripping() ontable(X ) clear(X) pickup (Y) CS 331/531 Dr M M Awais

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Are these the pre-cond of pickup(Y): NO You can shift it anywhere in the column putdown (X) gripping() ontable(X ) clear(X) pickup (Y) CS 331/531 Dr M M Awais

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) putdown (X) gripping() pickup (Y) ontable(X ) gripping(Y) clear(X) CS 331/531 Dr M M Awais ? ? ? pickup (X)

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) putdown (X) gripping() pickup (Y) ontable(X ) gripping(Y) clear(X) ? ? ? pickup (X) stack (Y, Z) CS 331/531 Dr M M Awais

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) putdown (X) gripping() pickup (Y) ontable(X ) clear(X) clear(Z) pickup (X) gripping(Y) CS 331/531 Dr M M Awais stack (Y, Z)

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) FIRST Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) FIRST KERNEL Everything that Should be true For unstack including some additional predictes clear(Y) putdown (X) gripping() pickup (Y) ontable(X ) clear(X) clear(Z) pickup (X) gripping(Y) CS 331/531 Dr M M Awais stack (Y, Z)

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) SECOND KERNEL putdown (X) gripping() pickup (Y) ontable(X ) clear(X) clear(Z) pickup (X) gripping(Y) CS 331/531 Dr M M Awais stack (Y, Z)

Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) Triangle Table: Effective Representation gripping() clear(X) on(X, Y) unstack(X, Y) gripping(X) ontable(Y ) clear(Y) putdown (X) gripping() THIRD KERNEL pickup (Y) ontable(X ) clear(X) clear(Z) pickup (X) gripping(Y) CS 331/531 Dr M M Awais stack (Y, Z)

Planning with state-space search CS 331/531 Dr M M Awais Planning with state-space search CS 331/531 Dr M M Awais

Progression and regression CS 331/531 Dr M M Awais Progression and regression CS 331/531 Dr M M Awais

Progression algorithm CS 331/531 Dr M M Awais Progression algorithm CS 331/531 Dr M M Awais

Regression algorithm CS 331/531 Dr M M Awais Regression algorithm CS 331/531 Dr M M Awais

Regression algorithm CS 331/531 Dr M M Awais Regression algorithm CS 331/531 Dr M M Awais

Heuristics for state-space search CS 331/531 Dr M M Awais Heuristics for state-space search CS 331/531 Dr M M Awais

Hierarchical Decomposition Build House Buy Land construction Hire Builder CS 331/531 Dr M M Hierarchical Decomposition Build House Buy Land construction Hire Builder CS 331/531 Dr M M Awais Make payments

Plan Data structure (Language) Build house Causal links CS 331/531 Dr M M Awais Plan Data structure (Language) Build house Causal links CS 331/531 Dr M M Awais

Decomposition CS 331/531 Dr M M Awais Decomposition CS 331/531 Dr M M Awais

CS 331/531 Dr M M Awais CS 331/531 Dr M M Awais

CS 331/531 Dr M M Awais CS 331/531 Dr M M Awais