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.

touches another, the common points must form a 2-D line or a point.<br />

Similarly, when a 3-dimensional surface touches another, the common points<br />

must be a 3-D /2-D surface or a 3-D / 2-D line or a point. It is thus evident<br />

that two objects touch each other, when their intersection of surface forms a<br />

surface of at most their dimension. Formally,<br />

∀Oi, ∀ Oj Less-than-or-Equal-to (dim( S(Oi) ∧ S(Oj)), dim (S(OI)) ∧<br />

Less-than-or-Equal-to (dim(S(Oi) ∧ S(Oj)), dim (S(Oj)) → Touch (Oi, Oj)<br />

Where ‘dim’ is a function that returns the dimension of the surface of its<br />

argument <strong>and</strong> dim (S(Oi) ∧ S(Oj)) represents the dimension of the two<br />

intersecting surfaces: Oi <strong>and</strong> Oj. The ∧-operator between the predicates Lessthan-or-Equal-to<br />

denotes logical AND operation.<br />

Axiom 4: Now, for two scenes if dij1 <strong>and</strong> dij2 denote the shortest distance<br />

between the objects Oi <strong>and</strong> Oj in scene 1 <strong>and</strong> 2 respectively, then if dij2

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

Saved successfully!

Ooh no, something went wrong!