7 IR models based on predicate logic
7 IR models based on predicate logic
7 IR models based on predicate logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<str<strong>on</strong>g>IR</str<strong>on</strong>g> <str<strong>on</strong>g>models</str<strong>on</strong>g> <str<strong>on</strong>g>based</str<strong>on</strong>g> <strong>on</strong> <strong>predicate</strong> <strong>logic</strong> 21<br />
7.4 Probabilistic Datalog<br />
7.4.1 Motivati<strong>on</strong><br />
powerful retrieval <strong>logic</strong><br />
• expressiveness of Datalog<br />
– <strong>predicate</strong> <strong>logic</strong><br />
(spatio-temporal relati<strong>on</strong>ships, instances of<br />
c<strong>on</strong>cepts)<br />
– recursi<strong>on</strong><br />
(structured documents, hypertext links, termino<strong>logic</strong>al<br />
structures)<br />
• uncertain inference:<br />
probabilistic inference<br />
Norbert Fuhr