l5
description
Transcript of l5
![Page 1: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/1.jpg)
1
Problem Characteristics
1. Is the problem decomposable?2. Can solution steps be ignored or undone?3. Is the universe predictable?4. Is a good solution absolute or relative?5. Is the solution a state or a path?6. What is the role of knowledge?7. Does the task require interaction with a
person?
![Page 2: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/2.jpg)
2
Production system characteristics
Monotonic: execution of a rule never prevents the execution of other applicable rules
Non-monotonic: without this propertyPartially commutative: if application of a
particular sequence of rules transforms state x into state y, then any permutation of those rules that are allowable, transforms x into y
Commutative: monotonic + partially commutative
![Page 3: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/3.jpg)
3
Problems and production system
monotonic Non-monotonic
Partially
commutative
Theorem
proving
Robot
navigation
Non-partially
commutative
Chemical
synthesis
backgammon
![Page 4: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/4.jpg)
4
Problems and production system
monotonic Non-monotonic
Partially
commutativeIgnorable Recoverable
Non-partially
commutativeIrrecoverable
Irrecoverable
Unpredictable
![Page 5: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/5.jpg)
5
Sample problems - 8-puzzle
![Page 6: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/6.jpg)
6
Sample problems - 8-puzzle
![Page 7: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/7.jpg)
7
Sample problems - 8 queens
![Page 8: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/8.jpg)
8
Sample problems - 8 queens
![Page 9: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/9.jpg)
9
Sample problems - 8 queens
![Page 10: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/10.jpg)
10
Sample problems - Cryptarithmetic
![Page 11: l5](https://reader036.fdocuments.us/reader036/viewer/2022083016/55cf8e2f550346703b8f7593/html5/thumbnails/11.jpg)
11
Sample problems - Cryptarithmetic