| abduction | 6.2. |
| abstraction | 5.4.3. |
| aléatoire | 8.3. |
| analogie | 6.3. |
| analogique | 5.4.1. |
| autopoïèse | 8.6. |
| axiome | 2.1.1. |
| base de connaissances | 2.2.1. |
| base de faits | 2.2.1. |
| canal | 5.4.1. |
| communication | 5.4. |
| complexité | 1.1. , 8.3. |
| conjonction | 2.2.4. |
| conséquent | 2.2.4. |
| consistance | 2.5.3. |
| contexte | 5.4.4. , 7.1. |
| contradiction | 7.1. |
| contraintes | 2.5. |
| cryptarithméique | 1.2. |
| CSP | 2.5.3. |
| décidable | 2.1.6. |
| déclaratif | 1.4. |
| déduction | 5.4.2. |
| développement incrémental | 1.3. |
| distance | 6.4. |
| émergence | 8.2. |
| extension | 6.1. |
| flou | 2.3.6. |
| Gödel | 3.3 |
| heuristique | 1.2 |
| incompatibilité | 7.1. , 7.3.3.3. |
| indécidable | 2.1.6. |
| induction | 5.4.2. , 6.2. |
| intension | 6.1. |
| interprétation | 2.1.5. |
| lacune | 7.1. |
| langage | 5.4.2. |
| langue | 5.4.2. |
| LHS | 2.2.4. |
| logiques | 2. |
| méta | 3. |
| méta-connaissances | 5. |
| modus ponens | 2.2.1. |
| monovalué | 7.3.3.4. |
| moteur d'inférence | 2.2.1. |
| multivalué | 7.3.3.4. |
| non monotonie | 2.3.4. |
| ontologie | 6.5. |
| phéromone | 8.1. |
| point de vue | 6.5. |
| prédicat | 2.3.1. |
| prémisse | 2.2.4. |
| quantificateur universel | 2.3.2. |
| RaPC | 6.4. |
| redondance | 7.1. |
| réductionnisme | 8.2. |
| réflexivité | 4.1. |
| règle | 2.2.4. |
| règle de dérivation | 2.1.1. |
| RHS | 2.2.4. |
| semi-décidable | 2.1.6. |
| symbolique | 5.4.1. |
| systèmes formels | 2.1. |
| tête de Mickey | 2.2.1. |
| théorème | 2.1.1. |
| traçabilité | 7.4. |
| type | 7.3.2. |
| VAKOG | 5.4.1. |
Table des matières