06.03.2013 Views

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

PR5: ¬Visits (Wife, market, Monday-evening) →<br />

Visits (Wife, market, next-Monday-evening).<br />

Further, the database includes the following data:<br />

1. Offers (market, rebate, Monday-evening)<br />

2. Has-Official-meeting (Husb<strong>and</strong>, next-Monday-evening)<br />

3. Meeting-shifted (from, next-Monday-evening)<br />

The TMS, now, resolves inconsistency in the following manner.<br />

_____________________________________________________________<br />

Node Status Meaning SL / CP<br />

_____________________________________________________________<br />

n1 IN Offers (mar, reb, mon-eve) (SL ( ) ( ))<br />

n2 IN Crowd-is (lar, at-mar, mon-eve) (SL(n1) ( ))<br />

n3 IN ¬Visits (mita, mar, mon-eve) (SL (n2) ( ))<br />

n4 IN Visits (mita, mar, next-mon-eve) (SL (n3) ( ))<br />

n5 IN Has-meeting (ram, next-mon-eve) (SL ( ) ( ))<br />

n6 IN Unable-to-Acc. (ram, mita, next-mon-eve) (SL (n5) ( ))<br />

n7 IN Accompanies (ram, mita, next-mon-eve) (SL (n4) (n6))<br />

n8 IN contradiction (SL (n6, n7) ( ))<br />

n9 IN no-good n7 (CP n8 (n6, n7) ( ))<br />

-------------------------------------------------------------<br />

Now with a new data item 3<br />

n10 IN Meeting-shifted (from, next-mon-eve) (SL ( ) (n5))<br />

n11 IN contradiction (SL (n5, n10) ( ))<br />

n12 IN no-good n5 (CP n11 (n5, n10) ( ))<br />

n5 OUT (SL (n12) ( ))<br />

-----------------------------------------------------------------------------------------------

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!