1 | 1.1 - Introduction | PDF unavailable |
2 | 1.2 - Abductive Inferences and Expectationsa | PDF unavailable |
3 | 1.3 - On Machine Learning | PDF unavailable |
4 | 1.4 - A New Test of Intelligence? | PDF unavailable |
5 | 1.5 - The World According to Us | PDF unavailable |
6 | 1.6 - From Particles to Concepts | PDF unavailable |
7 | 1.7 - The Domains for Reasoning | PDF unavailable |
8 | 1.8 - Hierarchies in Representation | PDF unavailable |
9 | 1.9 - Logic and Representation: A Quick Tour | PDF unavailable |
10 | 2.1 - Symbols and Thought | PDF unavailable |
11 | 2.2 - From Gears to Symbols | PDF unavailable |
12 | 2.3 - Truth, Logic, and Provability | PDF unavailable |
13 | 2.4 - A Syntactic Machine | PDF unavailable |
14 | 2.5 - Entailment and Proof | PDF unavailable |
15 | 2.6 - The Languages of Logic | PDF unavailable |
16 | 2.7 - Patterns in Arguments | PDF unavailable |
17 | 2.8 - Rules of Inference | PDF unavailable |
18 | Propositional Logic | PDF unavailable |
19 | Propositional Logic: Syntax | PDF unavailable |
20 | Propositional Logic: Semantics | PDF unavailable |
21 | Proofs: Natural Deduction | PDF unavailable |
22 | The Deduction Theorem | PDF unavailable |
23 | Models | PDF unavailable |
24 | The Tableau Method | PDF unavailable |
25 | First Order Logic | PDF unavailable |
26 | First Order Logic: Syntax | PDF unavailable |
27 | FOL: Universal Instantiation | PDF unavailable |
28 | First Order Logic: Semantics | PDF unavailable |
29 | FOL: Truth Assignments | PDF unavailable |
30 | Modified Modus Ponens | PDF unavailable |
31 | The Unification Algorithm | PDF unavailable |
32 | Skolemization | PDF unavailable |
33 | Expert Systems | PDF unavailable |
34 | Backward Chaining Systems | PDF unavailable |
35 | Deductive Retrieval | PDF unavailable |
36 | The Resolution Refutation Method | PDF unavailable |
37 | Clause Form in FOL | PDF unavailable |
38 | Resolution Refutation in FOL | PDF unavailable |
39 | First Order Logic with Equality | PDF unavailable |
40 | Who was the surgeon? | PDF unavailable |
41 | Consistency vs. Completeness | PDF unavailable |
42 | Logic Programming | PDF unavailable |
43 | Arithmetic | PDF unavailable |
44 | Horn Clauses and Prolog | PDF unavailable |
45 | SLD Derivation = Backward Chaining | PDF unavailable |
46 | Programming in Logic | PDF unavailable |
47 | Prolog: Programming in Logic | PDF unavailable |
48 | Prolog: Procedural Interpretation | PDF unavailable |
49 | Prolog: Query Evaluation | PDF unavailable |
50 | Prolog: Unifying Terms | PDF unavailable |
51 | Prolog: Goal Order | PDF unavailable |
52 | Prolog: Tabling | PDF unavailable |
53 | Prolog: Negation by Failure | PDF unavailable |
54 | Prolog: The Cut Operator | PDF unavailable |
55 | Rule Based Expert Systems | PDF unavailable |
56 | The OPS5 Language | PDF unavailable |
57 | Match, Resolve, Execute | PDF unavailable |
58 | Conflict Resolution Strategies | PDF unavailable |
59 | The Rete Algorithm | PDF unavailable |
60 | The Rete Net | PDF unavailable |
61 | The Rete Net : Examples | PDF unavailable |
62 | Knowledge Representation | PDF unavailable |
63 | Synonyms, Antonyms, Hyponyms, Meronyms | PDF unavailable |
64 | Binary Relations | PDF unavailable |
65 | Describing Family Relations | PDF unavailable |
66 | Recursive Descriptions | PDF unavailable |
67 | Abstract Entities | PDF unavailable |
68 | Reification: Units of Measurement | PDF unavailable |
69 | Semantic Nets & Knowledge Graphs | PDF unavailable |
70 | DL: Description Logics | PDF unavailable |
71 | Defining New Concepts and Roles | PDF unavailable |
72 | The Sentences in DL | PDF unavailable |
73 | A Family of Logics | PDF unavailable |
74 | DL: Some Examples | PDF unavailable |
75 | ALC Tableau | PDF unavailable |
76 | Model Checking in ALC | PDF unavailable |
77 | ALC Tableau: Examples | PDF unavailable |
78 | Language Independent Represntation | PDF unavailable |
79 | Conceptual Dependency Theory | PDF unavailable |
80 | CD States | PDF unavailable |
81 | Inferences in MARGIE | PDF unavailable |
82 | CD: Actions | PDF unavailable |
83 | English to CD | PDF unavailable |
84 | Representing Complex Verbs | PDF unavailable |
85 | Semantic Parsing of Language | PDF unavailable |
86 | Knowledge Structures | PDF unavailable |
87 | Scripts | PDF unavailable |
88 | SAM: Script Apploer Mechanism | PDF unavailable |
89 | A VIP Visit | PDF unavailable |
90 | Invoking Scripts | PDF unavailable |
91 | Goals, Plans, and Actions | PDF unavailable |
92 | Goal Interactions | PDF unavailable |
93 | Explanation Driven Understanding | PDF unavailable |
94 | Tussle Over a Bicycle | PDF unavailable |
95 | Plan Applier Mechanism (PAM) | PDF unavailable |
96 | Requests and Rule Instances | PDF unavailable |
97 | Managing Rule Instances | PDF unavailable |
98 | Knowledge Structures: Frames | PDF unavailable |
99 | Inheritance | PDF unavailable |
100 | A Frame System for Travel Planning | PDF unavailable |
101 | Inheritance in Taxonomies | PDF unavailable |
102 | Default Reasoning | PDF unavailable |
103 | Closed World Assumption | PDF unavailable |
104 | Circumscription | PDF unavailable |
105 | Default Logic | PDF unavailable |
106 | Autoepistemic Reasoning | PDF unavailable |
107 | The Event Calculus | PDF unavailable |
108 | The Effects of Events | PDF unavailable |
109 | Epistemic Logic | PDF unavailable |
110 | Kripke Structures: Possible Worlds Semantics | PDF unavailable |
111 | The Muddy Children Puzzle | PDF unavailable |
112 | The Effects of Epistemic Actions | PDF unavailable |
113 | Reasoning with Beliefs | PDF unavailable |