|
Last Update: 8 January 2003
Note: |
|
Last Update: 8 January 2003
Note: |
| TOPIC | R&N, 2/e | Sowa | Torsun |
|---|---|---|---|
| What is AI? | Chs. 1-2 | ||
| What is KRR? | §10.1 | §1.1 | Ch. 1;§5.1 |
| FOL | Chs. 7-9 | Ch. 1 | Chs. 2-4 |
| SNePS | §10.6 | §5.3 | §§5.4, 5.6-5.7 |
| Ontologies | §§10.1-10.3, 10.5-10.6 | Ch. 2 | Ch. 10 |
| Production systems | §§9.1, 9.3, 9.6 | §3.3 | §5.3 |
| Frames | §§1.3, 10."10" | §3.2 | §5.5 |
| Description logics | §§10.6, 10.9, 10."10" | §3.2 | §5.5 |
| Inheritance nets | §§10.2, 10.6 | §§
1.1-1.3, 2.1, 2.3, 3.2, A.1 | |
| Default reasoning/belief revision | §§10.7-10.8 | §§4.7, 6.4-6.6 | Ch. 7 |
| Cyc | §10."10" | §§2.1-2.2, 2.6, 5.3, 6.4, 7.1, 7.4, 7.6 | |
| Situation calculus | §10.3 | §4.7 | |
| Modal/epistemic logic | §§10.4, 10.9 | §§1.3, 1.5, 5.5 | Chs. 9-10, 12 |
or 
material is highlighted