CLIPS-规则操作块移动实例

一、

1、设A、B、C、D、E、F块，分为二堆放置。一堆为：A在B块上，B在C块上。另一堆为：D在E块上，E在F块上。

2、上层有块时，下层块不能移动，如移动B块，必须先移动A块。

3、move-to-floor把上层的块移到空地上

clear-upper-block清除要移动的块上层的块

clear-lower-block清除将要放置块的上层的块

move-directly在两个块上层均无块的情况下，直接移动

4、完成将C块移到E块之上

 

二、操作

1、cc.clp内容如下:

(deftemplate MAIN::goal
   (slot move)
   (slot on-top-of))

(deftemplate MAIN::on-top-of
   (slot upper)
   (slot lower))

(deffacts MAIN::initial-block
   (block A)
   (block B)
   (block C)
   (block D)
   (block E)
   (block F)
   (on-top-of (upper NOTHING)(lower A))
   (on-top-of (upper A) (lowerB))
   (on-top-of (upper B) (lowerC))
   (on-top-of (upper C) (lowerFLOOR))
   (on-top-of (upper NOTHING)(lower D))
   (on-top-of (upper D) (lowerE))
   (on-top-of (upper E) (lowerF))
   (on-top-of (upper F) (lowerFLOOR))
   (goal (move C) (on-top-ofE)))

(defrule MAIN::move-to-floor
   ?goal <- (goal(move ?block1) (on-top-of FLOOR))
   (block ?block1)
   (on-top-of (upper NOTHING)(lower ?block1))
   ?stack <-(on-top-of (upper ?block1) (lower ?block2))
   =>
   (retract ?goal ?stack)
   (assert (on-top-of (upper?block1) (lower FLOOR)))
   (assert (on-top-of (upperNOTHING) (lower ?block2)))
   (printout t ?block1 " move ontop of floor." crlf))

(defrule MAIN::clear-upper-block
   (goal (move ?block1))
   (block ?block1)
   (on-top-of (upper ?block2)(lower ?block1))
   (block ?block2)
   =>
   (assert (goal (move ?block2)(on-top-of FLOOR))))

(defrule MAIN::clear-lower-block
   (goal (on-top-of?block1))
   (block ?block1)
   (on-top-of (upper ?block2)(lower ?block1))
   (block ?block2)
   =>
   (assert (goal (move ?block2)(on-top-of FLOOR))))

(defrule MAIN::move-directly
   ?goal <- (goal(move ?block1) (on-top-of ?block2))
   (block ?block1)
   (block ?block2)
   (on-top-of (upper NOTHING)(lower ?block1))
   ?stack-1 <-(on-top-of (upper ?block1) (lower ?block3))
   ?stack-2 <-(on-top-of (upper NOTHING) (lower ?block2))
   =>
   (retract ?goal ?stack-1?stack-2)
   (assert (goal (move ?block2)(on-top-of FLOOR)))
   (assert (on-top-of (upperNOTHING) (lower ?block3)))
   (printout t ?block1 " move ontop of " ?block2 "." crlf))

 

2、

CLIPS> (clear)
CLIPS> (reset)
CLIPS> (load "E:/cc.clp")
Defining deftemplate: goal
Defining deftemplate: on-top-of
Defining deffacts: initial-block
Defining defrule: move-to-floor +j+j+j+j+j
Defining defrule: clear-upper-block +j+j+j+j+j
Defining defrule: clear-lower-block =j+j+j+j+j
Defining defrule: move-directly =j=j+j+j+j+j+j
TRUE
CLIPS> (reset)
CLIPS> (run)
A move on top of floor.
B move on top of floor.
D move on top of floor.
C move on top of E.
CLIPS> (reset)
CLIPS> (run)
A move on top of floor.
B move on top of floor.
D move on top of floor.
C move on top of E.
CLIPS> (reset)
CLIPS> (watch all)
CLIPS> (run)
FIRE    1clear-upper-block: f-15,f-3,f-9,f-2
==>f-16    (goal(move B) (on-top-of FLOOR))
==> Activation0     clear-upper-block: f-16,f-2,f-8,f-1
FIRE    2clear-upper-block: f-16,f-2,f-8,f-1
==>f-17    (goal(move A) (on-top-of FLOOR))
==> Activation0     move-to-floor: f-17,f-1,f-7,f-8
FIRE    3move-to-floor: f-17,f-1,f-7,f-8
<==f-17    (goal(move A) (on-top-of FLOOR))
<==f-8    (on-top-of (upper A) (lower B))
==>f-18   (on-top-of (upper A) (lower FLOOR))
==>f-19   (on-top-of (upper NOTHING) (lower B))
==> Activation0     move-to-floor: f-16,f-2,f-19,f-9
A move on top of floor.
FIRE    4move-to-floor: f-16,f-2,f-19,f-9
<==f-16    (goal(move B) (on-top-of FLOOR))
<==f-9    (on-top-of (upper B) (lower C))
==>f-20   (on-top-of (upper B) (lower FLOOR))
==>f-21   (on-top-of (upper NOTHING) (lower C))
B move on top of floor.
FIRE    5clear-lower-block: f-15,f-5,f-12,f-4
==>f-22    (goal(move D) (on-top-of FLOOR))
==> Activation0     move-to-floor: f-22,f-4,f-11,f-12
FIRE    6move-to-floor: f-22,f-4,f-11,f-12
<==f-22    (goal(move D) (on-top-of FLOOR))
<==f-12   (on-top-of (upper D) (lower E))
==>f-23   (on-top-of (upper D) (lower FLOOR))
==>f-24   (on-top-of (upper NOTHING) (lower E))
==> Activation0     move-directly: f-15,f-3,f-5,f-21,f-10,f-24
D move on top of floor.
FIRE    7move-directly: f-15,f-3,f-5,f-21,f-10,f-24
<==f-15    (goal(move C) (on-top-of E))
<==f-10   (on-top-of (upper C) (lower FLOOR))
<==f-24   (on-top-of (upper NOTHING) (lower E))
==>f-25    (goal(move E) (on-top-of FLOOR))
==>f-26   (on-top-of (upper NOTHING) (lower FLOOR))
C move on top of E.
<== Focus MAIN
7 rulesfired       Run time is 0.230000000000018 seconds.
30.4347826086932 rules per second.
18 mean number of facts (19 maximum).
1 mean number of instances (1 maximum).
1 mean number of activations (2 maximum).
CLIPS>