Goal  (FRAME hangingon WALLAREA)

Goal-Select Rules Retrurns:
   Action: (HANG H1 (object FRAME) (at WALLAREA) (on Support ))

Precondition-Rules Returns:
   (HANG-P1 (FRAME near WALLAREA)
   (HANG-P2 (Support embeddedin (CENTER partof WALLAREA)))
   (HANG-P3 (PictureWire strungon (PSupport1 (partof FRAME))
                                                           (PSupport2 (partof FRAME))

Evaluation of HANG-P3 Returns:
   Unknown from World Model

Evaluation using Default Inference Returns:
   False with Basis: (FRAME unused YES)

Goal-Select Rules applied to HANG-P3 Retrurns:
   Action: (STRING S1 (object PictureWire (on PSupport1)
                                                                      (on PSupport2) (patient FRAME)))

Precondition-Rules Return:
   (STRING-P1: (Psupport1 (attachedto (PSIDE1 (partof FRAME) (backof YES)))))
   (STRING-P2: (Psupport1 (attachedto (PSIDE2 (partof FRAME) (backof YES)))))
   (STRING-P3: (PictureWire near FRAME))

Evaluation of STRING-P1 and STRING-P2 Returns:
   Unknown from World Model

Evaluation using Default Inference Returns:
   True with Basis: (FRAME (type METAL))

Evaluation of HANG-P2 Returns:
   False from World Model

Goal-Select Rules applied to HANG-P2 Retrurns:
   Action: (EMBED E1 (object Support) (in CENTER (partof WALLAREA))
                                      (using Instrument))

Precondition-Rules Return:
   (EMBED-P1: (Instrument near WALLAREA)
   (EMBED-P2: (Support near WALLAREA)
   (EMBED-P3: (Support embeddable WALLAREA)

Evaluation of EMBED-P3 Returns:
   Unknown from World Model

Evaluation using Default Inference Returns:
   True if (Support type SCREW)
               (WALLAREA (type WALLBOARD)
                   (hasembedded (SSuport type ANCHOR)))

Map into Independent Conjuectures:
   (C1) (Support type SCREW)
   (C2) (WALLAREA (type WALLBOARD)
  (C3)  (WALLAREA (hasembedded (SSuport                                               type ANCHOR)))

Evaluation of (C2) Returns:
   Unknown from World Model

Evaluation using Default Inference Returns:
   True with Basis (WALLAREA (partof HOUSE (age POSTWWII)))

Act-Customize of EMBED with new knowledge of Wall Type Results in:
   Action: (EMBED E2 (object Screw) (in CENTER (partof WALLAREA
                                                                        (type WALLBOARD))) (using Screwdriver))

Precondition-Rules Return:
     (EMBED-P1: (Screwdriver near WALLAREA)
     (EMBED-P2: (Screw near WALLAREA)
     (EMBED-P3: (Anchor embededin (CENTER (partof WALLAREA)))

 

PREVIOUS

NEXT