Re: Wumpus World Question

Thanks for the answers, it's working perfectly! Now with these defitions

(defconcept Cell (?c))
(defrelation Neighbors ((?c1 Cell) (?c2 Cell)))
(defconcept WumpusCell (?c))
(defconcept Smell (?c Cella) :<=> (exists ?c1 (and (WumpusCell ?c1)
(Neighbors ?c ?c1))))
(defconcept denywumpus (?c Cella) :<=> (exists ?c1 (and (adiacenti ?c ?c1)
(not (smell ?c1)))))

Powerloom can determine effects from causes, but not viceversa. As an
example: here's a simple rappresentation of the wumpus's 3x3 world:

(assert (Cell cella0))
(assert (Cell cella1))
(assert (Cell cella2))
(assert (Cell cella3))
(assert (Cell cella4))
(assert (Cell cella5))
(assert (Cell cella6))
(assert (Cell cella7))
(assert (Cell cella8))
(assert (Neighbors cell0 cell1))
(assert (Neighbors cell0 cell3))
...."for all Neighbors cell"...
(assert (Neighbors cella8 cella7))

Graphically speaking:
  __________________
 |__0_ _|__1_ __|__2__ |
 |__3_ _|__4___ | _5___|
 |__6_ _|__7___ | _8___|

Stating that:

(assert (WumpusCell cella7))

And asking

(retrieve all(smell ?c))

Powerloom correctly retrieves:

 There are 4 solutions:
   #1: ?C=CELL4
   #2: ?C=CELL6
   #3: ?C=CELL8
   #4: ?C=CELL7

While, with these assertions:
(assert (smell cell4))
(assert (smell cell6))
(assert (smell cell8))
(assert (smell cell7))
;;the following two assertions are needed to univocally identify a single
cell containing the wumpus
(assert (not (smell cell3)))
(assert (not (smell cell5)))

Powerloom isn't able to determine the single cell containing the wumpus:

(retrieve all(WumpusCell ?c))

No solutions.

(...

Even if is able to determine without error all the cells that does NOT
contain it:

(retrieve all(denywumpus ?c))
There are 5 solutions:
   #1: ?C=CELL8
   #2: ?C=CELL6
   #3: ?C=CELL4
   #4: ?C=CELL2
   #5: ?C=CELL0

...)


I thought adding even more definitions or rules, but they all seem very
artificial and not formerly correct.
Any idea on how to let Powerloom determine wumpus's positions?


-- 
View this message in context: http://www.nabble.com/Wumpus-World-Question-tp16718701p16823512.html
Sent from the PowerLoom mailing list archive at Nabble.com.