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.

easoning space. It needs emphasizing that the dependency of the <strong>info</strong>rmation<br />

in the reasoning space is represented by a dependency-directed graph, where the<br />

nodes in the graph denote <strong>info</strong>rmation, while the arcs st<strong>and</strong> for cause-effect<br />

dependency relation among the nodes. Justification records maintained for the<br />

nodes are also attached with the nodes in the graph (network). There are two<br />

types of justification, namely support list (SL) <strong>and</strong> conditional proofs (CP).<br />

The data structure for these two justifications is discussed below:<br />

(SL )<br />

(CP )<br />

To illustrate the reasoning process carried out by the TMS, we take the<br />

following example.<br />

Example 7.6: Mita likes to accompany her husb<strong>and</strong> when buying some<br />

household items in the market place, located at Gariahat in Calcutta. Further,<br />

she prefers to visit the market next Monday evening, since the crowd is<br />

normally less on Monday evenings. However, on Saturday it was learnt that<br />

the market offers a special rebate on a few items, starting next Monday. So,<br />

Mita revised her decision not to go to the market this Monday <strong>and</strong> selects the<br />

next Monday for her visit. Later it was found that her husb<strong>and</strong> had an official<br />

emergency meeting on the next Monday evening <strong>and</strong> accordingly Mita had to<br />

postpone her visit on that evening. Later, the time of the emergency meeting<br />

was shifted to an early date <strong>and</strong> Mita happily agreed to visit the market with<br />

her husb<strong>and</strong> the next Monday evening.<br />

Let us attempt to resolve this kind of non-monotonicity by TMS. The<br />

knowledge base for this system consists of the following production rules<br />

(PR).<br />

PR1: Crowd-is (large, at-market, at-time-T) →<br />

¬Visits ( Wife, market, at-time-T).<br />

PR2: Visits (Wife, market-at-time-T) →<br />

Accompanies (Husb<strong>and</strong>, Wife, at-time-T).<br />

PR3: Offers (market, rebate, at-time -T) →<br />

Crowd-is (large, at-market, at-time-T).<br />

PR4: Has-Official-meeting (Husb<strong>and</strong>, at-time-T) →<br />

Unable-to-accompany (Husb<strong>and</strong>, Wife, at-time-T).

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

Saved successfully!

Ooh no, something went wrong!