Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
tutorials:beginner:high_level_plans [2022/02/25 23:16] – [Writing plans for the TurtleSim] schimpf | tutorials:beginner:high_level_plans [2022/03/15 13:27] – [Defining inference rules for designators] schimpf | ||
---|---|---|---|
Line 109: | Line 109: | ||
(def-fact-group turtle-action-designators (action-grounding) | (def-fact-group turtle-action-designators (action-grounding) | ||
- | (<- (desig: | ||
- | (desig-prop ?desig (:type :drawing)) | ||
- | (desig-prop ?desig (:shape :house))) | ||
- | (<- (desig: | + | (<- (desig: |
- | (desig-prop ?desig (:type :drawing)) | + | |
- | (desig-prop ?desig (:shape :rectangle)) | + | |
- | (desig-prop ?desig (: | + | |
- | (desig-prop ?desig (:height ?height)) | + | (< |
- | (lisp-fun get-shape-vertices | + | (desig-prop ?action-designator |
+ | (desig-prop ?action-designator (:shape :house))) | ||
- | (<- (desig: | + | (<- (desig: |
- | (desig-prop ?desig (:type : | + | (desig-prop ?action-designator |
- | (desig-prop ?desig (:shape :triangle)) | + | (desig-prop ?action-designator |
- | (desig-prop ?desig (:base-width ?base-width)) | + | (desig-prop ?action-designator |
- | (desig-prop ?desig (:height ?height)) | + | (desig-prop ?action-designator |
- | (lisp-fun get-shape-vertices :triangle | + | (lisp-fun get-shape-vertices :rectangle |
- | + | (desig: | |
- | (<- (desig: | + | (:vertices ? |
- | (desig-prop ?desig (:type :navigating)) | + | ? |
- | (desig-prop ?desig (:target | + | |
+ | (<- (desig: | ||
+ | (desig-prop ?action-designator | ||
+ | (desig-prop ?action-designator (:shape : | ||
+ | (desig-prop ? | ||
+ | (desig-prop ? | ||
+ | (lisp-fun get-shape-vertices :triangle ?base-width ?height ? | ||
+ | (desig: | ||
+ | (:vertices ? | ||
+ | ? | ||
</ | </ | ||
Line 146: | Line 153: | ||
TUT> (reference (desig:an action (type drawing) (shape rectangle) (width 5) (height 4))) | TUT> (reference (desig:an action (type drawing) (shape rectangle) (width 5) (height 4))) | ||
(DRAW-SIMPLE-SHAPE | (DRAW-SIMPLE-SHAPE | ||
- | ((3.077953338623047d0 11.088889122009277d0 | + | #<A ACTION |
- | (8.077953338623047d0 11.088889122009277d0 | + | (TYPE DRAWING) |
- | (8.077953338623047d0 15.088889122009277d0 | + | (VERTICES |
- | (3.077953338623047d0 15.088889122009277d0 | + | |
+ | | ||
+ | | ||
TUT> (reference (desig:an action (type drawing) (shape house))) | TUT> (reference (desig:an action (type drawing) (shape house))) | ||
- | (DRAW-HOUSE) | + | (DRAW-HOUSE |
+ | #< | ||
+ | (TYPE DRAWING) | ||
+ | (SHAPE HOUSE)>) | ||
</ | </ | ||