 |
 |
|
 |
|
Class |
Date |
Topic
|
Readings |
Assignments
|
1 |
September
2 |
Introduction;
Review of Graph Theory |
Handout (Lauritzen Chapter 2) |
|
2 |
September 9 |
Review of Probability Theory and
Independence |
Handout (Lauritzen Chapter 3);
Reference 1 |
|
3 |
September 16 |
Introduction to Expert Systems
and Artificial Intelligence |
Chapters 1, 2, 11, 12 &
17 |
|
4 |
September 23 |
Knowledge Engineering; Machine
Learning |
Chapters 3, 10 & 20
Handout (Durkin Chapter 17) |
|
5 |
September 30
|
Rule-based Expert Systems;
CLIPS |
Chapter 5 & Appendix A |
Assignment 1
|
6 |
October 7
|
Representing Uncertainty;
Certainty Factors;
MYCIN &
PROSPECTOR |
Chapter 9
Handouts (Durkin Chapter 11 & 12)
References 2, 3, 4 |
SP6
SP7
Review CLIPS Documentation
|
7 |
October 14 |
Bayesian Networks |
References 5 |
SP8
Assignment 2
|
8 |
October 21
|
Bayesian Networks; Local
Propagation
|
References 6 & 7 |
SP18
|
9 |
October 28 |
The Aalborg Architecture
HUGIN |
References 8 & 9 |
SP19
Assignment 3
|
10 |
November
4 |
The Shenoy-Shafer Architecture |
References 10, 11a, 11b, 12, 13,
& 14 |
SP22
CLIPS Programming Project
|
11 |
November 11
|
Summary of Probabilistic Expert
Sytems |
Reference 15 |
Assignment 4
|
12 |
November 18 |
Dempster-Shafer Belief Funcions |
Chapter 21
References 16, 17, 18, 19 & 20 |
SP23
Take-home Mid-Term
|
|
November 25
|
THANKSGIVING
BREAK
|
13 |
December
2 |
Possibility Theory;
Spohn's Epistemic (Dis)beliefs;
Valuation Networks |
References 21, 22, 23, 24 &
25 |
Assignment 5
|
14 |
December 9 |
PURSUIVANT
Research Issues;
Summary and Conclusions
|
Reference 26 |
Assignment 6
|
|
December 16 |
FINAL EXAMINATION |
|
Notes: |
|
|
|
|
1. |
Unidentified chapter
readings in italics are from Peter Jackson
"Introduction to Expert Systems";
assignments and readings from other books and
papers will be made available by the instructor
as they arise
|
|
2. |
Professor Glenn
Shafer will teach classes 1 and 2; other classes
will be taught by Professor Peter R. Gillett
|
|
3. |
Assignments numbered
SP refer to chapters of the textbook
that will be the topics of student presentations
in class
|
|
|
|
|
|
|
References |
|
|
|
|
1. |
Pearl, J., D.
Geiger, and T. Verma. 1989. "Conditional
Independence and its Representations". Kybernetica
25:2
|
|
2. |
Shortcliffe, E., and
B. G. Buchanan. 1975. "A Model of Inexact
Reasoning in Medicine". Mathematical
Biosciences 23
|
|
3. |
Duda, R. O., P. E.
Hart, and N. J. Nilsson. 1976. "Subjective
Bayesian Methods for Rule-Based Inference
Systems". Proceedings National Computer
Conference (AFIPS) 15
|
|
4. |
Heckerman, D. 1986.
"Probabilistic Interpretations for MYCIN's
Certainty Factors". Uncertainty in
Artificial Intelligence
|
|
5. |
Pearl, J. 1987.
"Bayesian Decision Methods". In Encyclopedia
of AI: Wiley Intersciences
|
|
6. |
Pearl, J. 1986.
"Fusion, Propagation, and Structuring in
Belief Networks". Artificial
Intelligence 29
|
|
7. |
Lauritzen, S. L.,
and D. J. Spiegelhalter. 1988. "Local
Computations with Probabilities on Graphical
Structures and their Application to Expert
Systems". Journal of the Royal
Statistical Society
|
|
8. |
Jensen, F. V., K. G.
Oleson, and S. K. Andersen. 1988. "An
Algebra of Bayesian Belief Universes for
Knowledge-Based Systems". Institute of
Electronic Systems, Aalborg University
|
|
9. |
Jensen, F. V., S. L.
Lauritzen, and K. G. Oleson. 1990. "Bayesian
Updating in Causal Probabilistic Networks by
Local Computations". Computational
Statistics Quarterly
|
|
10. |
Shenoy, P., and G.
Shafer. 1990. "Axioms for Probability and
Belief-Function Propagation". Uncertainty
in Artificial Intelligence
|
|
11a. |
Lauritzen, S.L., and
P. P. Shenoy. 1996. "Computing Marginals
Using Local Computation". Working Paper.
University of Kansas
|
|
11b. |
Shenoy, P. P. 1997.
"Binary Join Trees for Computing Marginals
in the Shenoy-Shafer Architecture". International
Journal of Approximate Reasoning 17
|
|
12. |
Lepar, V., and P. P.
Shenoy. 1998. "A Comparison of
Lauritzen-Spiegelhalter, Hugin and Shenoy-Shafer
Architectures for Computing Marginals of
Probability Distributions". Proceedings
of the XIVth Conference on Uncertainty in
Artificial Intelligence: Morgan Kaufmann, San
Mateo, CA
|
|
13. |
Schmidt, T., and
Shenoy, P. P. 1998. "Some improvements to
the Shenoy-Shafer and Hugin architectures for
computing marginals". Artificial
Intelligence
|
|
14. |
Gillett, P. R., and
Shenoy, P. P. 1999. "Computing Marginals in
Binary Join Trees". Working Paper
|
|
15. |
Shafer, G. 1996. Probabilistic
Expert Systems. SIAM
|
|
16. |
Shafer, G. and R. P.
Srivastava. 1990. "The Bayesian and
Belief-Function Formalisms - A General
Perspective for Auditing". Auditing: A
Journal of Practice and Theory
|
|
17. |
Srivastava, R. P.
and G. Shafer. 1992. "Belief_Function
Formulas for Audit Risk". The Accounting
Review, 67:2
|
|
18. |
R. P. Srivastava.
1995. "A General Scheme for Aggregating
Evidence in Auditing: Propagation of Beliefs in
Networks". In Artificial Intelligence in
Accounting and Auditing. Markus Wiener
Publishers
|
|
19. |
Xu, H. and R.
Kennes. 1994. "Steps Towards Efficient
Implementation of Dempster-Shafer Theory".
In Advances in the Dempster-Shafer Theory of
Evidence. John Wiley & Sons, Inc
|
|
20. |
Kennes, R. 1991.
"Computational Aspects of the Möbius
Transfom of a Graph". IEEE Transactions
on systems, Man and Cybernetics
|
|
21. |
Dubois, D., and H.
Prade. 1988. "An Introduction to
Possibilistic and Fuzzy Logics". In Non-Standard
Logics for Automated Reasoning: Academic
Press Limited
|
|
22. |
Shenoy, P. P. 1992.
"Using Possibility Theory in Expert
Systems". Fuzzy Sets and Systems 52
|
|
23. |
Spohn, W. 1988
"Ordinal Conditional Functions: A Dynamic
Theory of Epistemic States". Causation
in Decision, Belief Change and Statistics:
D. Reidel
|
|
24. |
Spohn, W. 1990.
"A General Non-Probabilistic Theory of
Inductive Reasoning". Uncertainty in
Artificial Intelligence
|
|
25. |
Shenoy, P. P. 1991.
"On Spohn's Rule for Revision of
Beliefs". International Journal of
Approximate Reasoning
|
|
26. |
Gillett, P. R. 1997.
A Comparative Study of Audit Evidence and
Audit Planning Models Using Uncertain Reasoning.
UMI
|
|
|
|
|
|
|
|
|
|
|
|
|