đĸ āĻĄā§āĻāĻž āĻĄā§āϰāĻŋāĻā§āύ āϏāĻžāϰā§āĻ (Data-Driven Search)
āĻāĻšāĻžāĻā§ Forward chaining āĻ āĻŦāϞāĻž āĻšā§ā§ āĻĨāĻžāĻā§ – “āĻĒā§āϰāĻĨāĻŽ āĻĨā§āĻā§ āĻļā§āϰ⧠āĻāϰ⧠āϞāĻā§āώā§āϝ āĻĒāϰā§āϝāύā§āϤ āĻĒā§āĻāĻāĻžāύ⧠”
āĻāĻžāĻā§āϰ āĻĒāĻĻā§āϧāϤāĻŋ:
¡ āĻšāĻžāϤ⧠āĻĨāĻžāĻāĻž āϤāĻĨā§āϝ āĻĻāĻŋā§ā§ āĻļā§āϰā§
¡ āύāĻŋā§āĻŽ āĻĒā§āϰā§ā§āĻ āĻāϰ⧠āύāϤā§āύ āϤāĻĨā§āϝ āϤā§āϰāĻŋ
¡ āĻāĻāĻžāĻŦā§ āĻāϞāϤ⧠āĻĨāĻžāĻāĻž āϝāϤāĻā§āώāĻŖ āύāĻž āϞāĻā§āώā§āϝ⧠āĻĒā§āĻāĻāĻžāύā§
đĩ āĻā§āϞ āĻĄā§āϰāĻŋāĻā§āύ āϏāĻžāϰā§āĻ (Goal-Driven Search)
āĻāĻšāĻžāĻā§ backward chaining āĻ āĻŦāϞāĻž āĻšā§ā§ āĻĨāĻžāĻā§ “āϞāĻā§āώā§āϝ āĻĨā§āĻā§ āĻāϞā§āĻā§ āĻĻāĻŋāĻā§ āϝāĻžāĻā§āĻž āĻ āϰā§āĻĨāĻžā§ āĻļā§āϰā§āϰ āĻĻāĻŋāĻā§ āĻĒā§āĻāĻāĻžāύ⧠“
āĻāĻžāĻā§āϰ āĻĒāĻĻā§āϧāϤāĻŋ:
¡ āϞāĻā§āώā§āϝ āĻ āĻŋāĻ āĻāϰ⧠āĻļā§āϰ⧠āĻĻāĻŋāĻā§ āĻĒā§āĻāĻāĻžāύā§
¡ āϞāĻā§āώā§āϝ āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāϤ⧠āĻā§ āĻā§ āĻĻāϰāĻāĻžāϰ āϤāĻž āĻĻā§āĻāĻž
¡ āϏā§āĻ āĻāĻŋāύāĻŋāϏāĻā§āϞ⧠āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāĻžāϰ āĻā§āώā§āĻāĻž āĻāϰāĻž
āĻāĻĻāĻžāĻšāϰāĻŖ: “āϰā§āϏāĻŋāĻĒāĻŋ āϤā§āϰāĻŋ āĻāϰāĻžāϰ āϏāĻŋāϏā§āĻā§āĻŽ”
āϏāĻŋāϏā§āĻā§āĻŽā§āϰ āύāĻŋā§āĻŽāĻā§āϞā§:
- āϝāĻĻāĻŋ āĻĄāĻŋāĻŽ āĻāĻŦāĻ āĻā§āĻāĻŋāĻā§āĻŦāϞ āĻ ā§ā§āϞ āĻĨāĻžāĻā§ āϤāĻžāĻšāϞ⧠āĻ āĻŽāϞā§āĻ āĻŦāĻžāύāĻžāύ⧠āϝāĻžā§
- āϝāĻĻāĻŋ āĻāĻāĻž āĻāĻŦāĻ āĻāϞ āĻĨāĻžāĻā§ āϤāĻžāĻšāϞ⧠āϰā§āĻāĻŋ āĻŦāĻžāύāĻžāύ⧠āϝāĻžā§
- āϝāĻĻāĻŋ āĻāĻžāϞ āĻāĻŦāĻ āĻāϞ āĻĨāĻžāĻā§ āϤāĻžāĻšāϞ⧠āĻāĻžāϤ āĻŦāĻžāύāĻžāύ⧠āϝāĻžā§
- āϝāĻĻāĻŋ āĻ āĻŽāϞā§āĻ āĻāĻŦāĻ āϰā§āĻāĻŋ āĻĨāĻžāĻā§ āϤāĻžāĻšāϞ⧠āĻŦā§āϰā§āĻāĻĢāĻžāϏā§āĻ āϤā§āϰāĻŋ āĻāϰāĻž āϝāĻžā§
- āϝāĻĻāĻŋ āĻāĻžāϤ āĻāĻŦāĻ āĻĄāĻžāϞ āĻĨāĻžāĻā§ āϤāĻžāĻšāϞ⧠āϞāĻžāĻā§āĻ āϤā§āϰāĻŋ āĻšā§
đĸ āĻā§āϏ ā§§: āĻĄā§āĻāĻž āĻĄā§āϰāĻŋāĻā§āύ āϏāĻžāϰā§āĻ
āĻšāĻžāϤ⧠āĻĨāĻžāĻāĻž āĻāĻŋāύāĻŋāϏ (āĻĄā§āĻāĻž):
¡ āĻĄāĻŋāĻŽ
¡ āĻā§āĻāĻŋāĻā§āĻŦāϞ āĻ
ā§ā§āϞ
¡ āĻāĻāĻž
¡ āĻāϞ
āĻāĻŋāĻāĻžāĻŦā§ āĻāĻžāĻ āĻāϰāĻŦā§:
āϧāĻžāĻĒ āĻāĻŋ āĻāϰāϞ āĻāĻŋ āĻĒā§āϞ
ā§§ āĻĄāĻŋāĻŽ + āĻ
ā§ā§āϞ = āĻ
āĻŽāϞā§āĻ āĻŦāĻžāύāĻžāύ⧠āϝāĻžā§
⧍ āĻāĻāĻž + āĻāϞ= āϰā§āĻāĻŋ āĻŦāĻžāύāĻžāύ⧠āϝāĻžā§
ā§Š āĻ
āĻŽāϞā§āĻ + āϰā§āĻāĻŋ = āĻŦā§āϰā§āĻāĻĢāĻžāϏā§āĻ āϤā§āϰāĻŋ āĻšā§
ā§Ē āĻāĻžāϤ + āĻĄāĻžāϞ āύā§āĻ= āϞāĻžāĻā§āĻ āϤā§āϰāĻŋ āĻšāĻŦā§ āύāĻž
āĻā§ā§āĻžāύā§āϤ āĻĢāϞ: āύāĻžāϏā§āϤāĻž āϤā§āϰāĻŋ āĻšā§
â āĻĄā§āĻāĻž āĻĨā§āĻā§ āĻļā§āϰ⧠āĻāϰ⧠āĻĻā§āĻāϞ āĻāĻŽāϰāĻž āĻā§ āĻā§ āĻŦāĻžāύāĻžāϤ⧠āĻĒāĻžāϰāĻŋ
đĩ āĻā§āϏ ⧍: āĻā§āϞ āĻĄā§āϰāĻŋāĻā§āύ āϏāĻžāϰā§āĻ
āϞāĻā§āώā§āϝ: āϞāĻžāĻā§āĻ āϤā§āϰāĻŋ āĻšā§ – āĻāĻāĻŋ āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāϤ⧠āĻšāĻŦā§
āĻāĻŋāĻāĻžāĻŦā§ āĻāĻžāĻ āĻāϰāĻŦā§:
āϧāĻžāĻĒ āĻā§āϞāĻŋ āĻā§ ?
1. āϞāĻžāĻā§āĻ āϤā§āϰāĻŋ āĻāϰāϤ⧠āĻšāϞ⧠āĻāĻžāϤ āĻāĻŦāĻ āĻĄāĻžāϞ āĻĒā§āϰā§ā§āĻāύ āϏā§āĻāĻž āĻāĻŋ āĻāĻā§ ?
⧍ āĻāĻžāϤ āϤā§āϰāĻŋ āĻāϰāϤ⧠āĻšāϞ⧠āĻāĻžāϞ āĻāĻŦāĻ āĻāϞ āĻĒā§āϰā§ā§āĻāύ āĨ¤ â
ā§Š āĻĄāĻžāϞ – â (āĻĄāĻžāϞ āύā§āĻ)
āĻā§ā§āĻžāύā§āϤ āĻĢāϞ: āϞāĻžāĻā§āĻ āϤā§āϰāĻŋ āĻšāĻŦā§ āύāĻž (āĻāĻžāϰāĻŖ āĻĄāĻžāϞ āύā§āĻ)
â āϞāĻā§āώā§āϝ āĻĨā§āĻā§ āĻāϞā§āĻā§ āĻĻāĻŋāĻā§ āĻāĻŋā§ā§ āĻā§āĻ āĻāϰāϞ āĻā§ āĻā§ āĻĻāϰāĻāĻžāϰ
đ āϤā§āϞāύāĻžāĻŽā§āϞāĻ āϏāĻžāϰāĻžāĻāĻļ:
| āĻĻāĻŋāĻ | āĻĄā§āĻāĻž āĻĄā§āϰāĻŋāĻā§āύ āϏāĻžāϰā§āĻ | āĻā§āϞ āĻĄā§āϰāĻŋāĻā§āύ āϏāĻžāϰā§āĻ |
| āĻļā§āϰ⧠| “āĻāĻŽāĻžāϰ āĻā§ āĻā§ āĻāĻā§?” | “āĻāĻŽāĻŋ āĻā§ āĻāĻžāĻ?” |
| āĻĒā§āϰāĻļā§āύ | āĻāĻ āĻĄā§āĻāĻž āĻĻāĻŋā§ā§ āĻā§ āĻāϰāĻž āϝāĻžā§? | āĻāĻāĻŋ āĻĒā§āϤ⧠āĻā§ āĻā§ āĻĻāϰāĻāĻžāϰ? |
| āĻāĻāĻ āĻŦā§āϝāĻŦāĻšāĻžāϰ | āĻĄāĻžāĻāĻž āĻ ā§āϝāĻžāύāĻžāϞāĻŋāϏāĻŋāϏ, āĻĒā§āϝāĻžāĻāĻžāϰā§āύ āĻā§āĻāĻāĻž | āĻĒā§āϰā§āĻĢ āϏāĻŋāϏā§āĻā§āĻŽ, āĻĄāĻžā§āĻžāĻāύā§āϏāĻŋāϏ |
đ§ āϏāĻšāĻāĻāĻžāĻŦā§ āĻŦā§āĻāĻžāϰ āĻāĻŋāĻĒāϏ:
¡ āĻĄā§āĻāĻž āĻĄā§āϰāĻŋāĻā§āύ = āϏāĻžāĻŽāύ⧠āĻĨā§āĻā§ push āĻāϰā§
¡ āĻā§āϞ āĻĄā§āϰāĻŋāĻā§āύ = āĻĒāĻŋāĻāύ āĻĨā§āĻā§ pull āĻāϰāϤ⧠āĻĨāĻžāĻā§