Download Notes on student presentations - cse.sc.edu

CSCE 781
Knowledge Systems: Student
Presentations
Spring 2011
Marco Valtorta
[email protected]
UNIVERSITY OF SOUTH CAROLINA
Department of Computer Science and Engineering
Programs with Common Sense
• Original paper (1959) is at John McCarthy’s web site:
• http://www-formal.stanford.edu/jmc/mcc59/mcc59.html
• John McCarthy
Computer Science Department
Stanford University
Stanford, CA 94305
[email protected]
http://www-formal.stanford.edu/jmc/
•
Additional materials:
– http://www.aaai.org/AITopics/pmwiki/pmwiki.php/AITopics/CommonSense
– An article by Patrick Hayes and Leora Morgenstern in honor of John Mc
Carthy’s 80th birthday:
http://www.aaai.org/ojs/index.php/aimagazine/article/view/2063/2057
UNIVERSITY OF SOUTH CAROLINA
Department of Computer Science and Engineering
The Original Davis-Putman Algorithm
for Propositional Satisfiability
• Rina Dechter ([email protected]) and Irina Rish
([email protected]). “Directional Resolution: The
Davis-Putnam Procedure, Revisited.” Technical
Report R-29, School of Information and Computer
Science, University of California at Irvine:
– http://www.ics.uci.edu/~dechter/publications/r
29.html
UNIVERSITY OF SOUTH CAROLINA
Department of Computer Science and Engineering
Consistency-Based vs.
Explanation-Based Diagnosis
• D. L. Poole, ``Normality and Faults in Logic-Based
Diagnosis'', Proceedings Eleventh International Joint
Conference on Artificial Intelligence, Detroit, August 1989,
pp. 1304-1310. Reprinted in W. Hamscher, L. Console and
J. de Kleer (Eds.), Readings in Model-based Diagnosis,
Morgan Kaufmann, 1992.
– http://www.cs.ubc.ca/~poole/papers/ijcai89.ps.gz
• David Poole. “Representing Diagnosis Knowledge.” Annals
of Mathematics and Artificial Intelligence, 11, 33-50, 1994.
– http://www.cs.ubc.ca/~poole/papers/rep.pdf
UNIVERSITY OF SOUTH CAROLINA
Department of Computer Science and Engineering
Naïve Physics
• Hayes, Patrick, J. 1979 "The Naive Physics Manifesto", in D.
Michie, ed., Expert Systems in the Micro-Electronic Age,
Edinburgh: Edinburgh University Press, 242-70.
• Hayes, Patrick J. 1985 "The Second Naive Physics Manifesto",
in Hobbs and Moore, eds., 1-36.
– Hobbs, J. R. and Moore, R. C. eds. 1985 Formal Theories of
the Common-sense World, Norwood: Ablex.
• Hayes, Patrick J. 1985a "Naive Physics I: Ontology for Liquids",
in Hobbs and Moore, eds., 71-107. Also in Weld and de Kleer,
eds, 484-502.
– Daniel S. Weld and Johan de Kleer (Eds.). 1989. Readings in
Qualitative Reasoning about Physical Systems. Morgan
Kaufmann Publishers Inc., San Francisco, CA, USA.
UNIVERSITY OF SOUTH CAROLINA
Department of Computer Science and Engineering
Complexity of Terminological Reasoning
• Bernard Nebel. “Computational Complexity of
Terminological Reasoning in BACK.” Artificial
Intelligence, 34 (1988), 371-383.
• R.J. Brachman and H.J. Levesque. “The Tractability
of Subsumption in Frame-Based Description
Languages.” AAAI-84, 34-37.
UNIVERSITY OF SOUTH CAROLINA
Department of Computer Science and Engineering