Loading...
Please wait, while we are loading the content...
Similar Documents
Raisonnement Automatisé: Principes et Applications (partie I: logique du premier ordre)
| Content Provider | Semantic Scholar |
|---|---|
| Author | Peltier, Nicolas |
| Copyright Year | 2009 |
| Abstract | This document contains the first part of the M2R course RAPA: Automated Reasoning: Principle and Applications. It presents the basis of first-order logic and automated deduction: syntax, semantics, transformation into clausal form, unification and the Resolution calculus (with selection functions and atom ordering). Some basic properties of the Resolution calculus are also investigated (w.r.t. complexity and termination). This document is self-contained but additional references are provided for the interested reader. More details and additional explanations can be found in [5, 6]. [8] is an advanced textboook on the Resolution calculus and the Handbook of Automated Reasoning [12] covers the main lines of research in this field. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://membres-lig.imag.fr/peltier/rapa.pdf |
| Alternate Webpage(s) | http://membres-liglab.imag.fr/peltier/rapa.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |