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> 17<br />
7.3 Modelling <str<strong>on</strong>g>IR</str<strong>on</strong>g> in Datalog<br />
7.3.1 Introducti<strong>on</strong><br />
Datalog:<br />
• horn <strong>predicate</strong> <strong>logic</strong><br />
(most <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> propositi<strong>on</strong>al <strong>logic</strong>)<br />
• no functi<strong>on</strong>s<br />
• restricted forms of negati<strong>on</strong> allowed<br />
• sound and complete evaluati<strong>on</strong> algorithms<br />
Norbert Fuhr