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.

a) AND -Parallelism<br />

Consider a logic program, where the body of one clause consists of a number<br />

of Predicates, also called AND clauses, which may be unified with the head of<br />

other clauses during resolution. Generally, the resolution of the AND clauses<br />

is carried out sequentially. However, with sufficient computing resources,<br />

these resolutions can be executed concurrently. Such parallelism is usually<br />

referred to as AND parallelism. It is the parallel traversal of AND sub-trees in<br />

the execution tree [2]. For example, let us consider the following program.<br />

1. Parent ( Mo, Fa, X) ←Father (Fa, X), Mother (Mo, X).<br />

2. Mother (jaya, tom) ←<br />

3. Mother (ipsa, bil) ←<br />

4. Father (asit, tom) ←<br />

5. Father (amit, bil) ←<br />

Query : ← Parent (Mo, Fa, bil)<br />

The AND parallelism in the above Logic Program is demonstrated, vide<br />

fig.22. 8.<br />

Fa= amit<br />

← Parent (Mo, Fa, bil)<br />

X= bil by (1)<br />

← Father (Fa, bil), Mother (Mo, bil)<br />

φ φ<br />

Mo= ipsa<br />

Fig. 22.8: Demonstration of AND parallelism, where concurrent resolution<br />

of two AND clauses of one clause (rule) with two other clauses<br />

takes place.

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

Saved successfully!

Ooh no, something went wrong!