Up: College Model-based Reasoning Previous: Collegemateriaal
Up: College Model-based Reasoning Previous:
Collegemateriaal
periode 4 (10 maart - 2 mei 2003; herkansing 7-11 juli 2003)
|
# |
Datum |
Onderwerp |
Literatuur |
Handouts |
|
|
|
Inleiding |
|
|
|
1 |
10 maart |
Introductie MBR |
||
|
|
|
Concreet systeem |
|
|
|
2 |
13 maart |
CASNET: een medisch model gebaseerd diagnose systeem Abductieve diagnose benadering – deel 1 |
||
|
|
|
Diagnose met fout-modellen |
|
|
|
3 |
17 maart |
Abductieve diagnose benadering – deel 2 Relatie tussen abductie en deductie – deel 1 |
(als college 4) |
(als college 4) |
|
4 |
20 maart |
Relatie tussen abductie en deductie – deel 2 Presentatie Diagnose Systeem ‘Kogellagers Smeer’ (Gast docent: G. Schram, SKF) |
|
|
|
5 |
24 maart |
Complexiteit van Abductie |
||
|
6 |
27 maart |
Set-covering model |
||
|
|
|
Diagnose met correct-modellen |
|
|
|
7 |
31 maart |
DNSB: conceptueel model |
||
|
8 |
3 april |
DNSB: formalisatie van diagnose "first principles" |
||
|
9 |
7 april |
DNSB: Hittingset algoritme |
||
|
10 |
10 april |
DNSB: General Diagnostic Engine |
||
|
|
||||
| 11 |
14 april |
|
Boek: Peng, Reggia 1990
(kopieën H3 uitgedeeld) |
|
|
|
|
Raamwerken |
|
|
|
12 |
17 april |
Een formeel raamwerk |
||
|
|
|
Status |
|
|
|
13 |
24 april |
Huidige status van diagnose in theorie & praktijk |
|
|
|
|
9 mei |
Deadline van de taak |
|
|
|
|
1 mei |
TENTAMEN |
|
|
Artikelen
T. Bylander, D. Allemang, M.C. Tanner and J.R. Josephson (1991). The computational complexity of abduction. In Artificial Intelligence Vol. 49, pp. 25-60. paper.ps.gz
L. Console, D. Theseider Dupré and P. Torasso (1989). A theory of diagnosis for incomplete causal models. Proceedings of the 10th International Joint Conference on Artificial Intelligence , pp. 1311-1317.
L. Console, D. Theseider Dupré and P. Torasso (1991). On the relationship between abduction and deduction. Journal of Logic and Computation , 1(5), 661-690.
L. Console and P. Torasso (1991). A spectrum of logical definitions of model-based diagnosis. Computational Intelligence ,7(3), 133-141.
L. Console and O. Dressler (1999). Model-based diagnosis in the real world: lessons learned and challenges remaining. Proceedings of the sixteenth International Joint Conference on Artificial Intelligence 1999 , pages 1393-1200, Sweden.
R. Davis and W. Hamscher (1988). Model-based reasoning: troubleshooting. In Exploring Artificial Intelligence: Survey Talks from the National Conference on Artificial Intelligence (H.E. Shrobe, ed.), pp. 297-346. San Mateo, California: Morgan Kaufmann.
Also in Readings in Model-based Diagnosis, ed. W.Hamscher, L.Console, J. de Kleer, Morgan and Kaufmann, 1992, pp. 3-24.
J. de Kleer and B.C. Williams (1987). Diagnosing multiple faults. Artificial Intelligence , 32, 97-130. Also in Readings in Model-based Diagnosis, ed. W.Hamscher, L.Console, J. de Kleer, Morgan and Kaufmann, 1992, pp. 100-117.
J. de Kleer, A.K. Mackworth and R. Reiter (1992). Characterizing diagnoses and systems. Artificial Intelligence , 52, 197-222.
P. Lucas (1997). Symbolic diagnosis and its formalisation. The Knowledge Engineering Review , 12(2), 109-146. paper.ps
Y. Peng and J.A. Reggia (1986). Plausibility of diagnosistic hypotheses: the nature of simplicity. Proceedings of the 5th national conference on AI 1986, 140-147.
Y. Peng and J.A. Reggia (1990). Abductive Inference Models for Diagnostic Problem-Solving, Springer, 1990, H3 pagina's 60-75
R. Reiter (1987). A theory of diagnosis from first principles. Artificial Intelligence , 32, 57-95.
Also in Readings in Model-based Diagnosis, ed. W.Hamscher, L.Console, J. de Kleer, Morgan and Kaufmann, 1992, pp. 29-48.
S. Weiss, C. Kulikowski and A. Safir (1978). A model-based method for computer-aided medical decision making. Artificial Intelligence , 11, 145-172.
Up: College Model-based
Reasoning Previous: Collegemateriaal
Feb. 2003