UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering CSCE 781 Knowledge Systems: Student Presentations Spring 2011 Marco Valtorta

UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering Programs with Common Sense Original paper (1959) is at John McCarthy’s web site: lhttp://www-formal.stanford.edu/jmc/mcc59/mcc59.htm l John McCarthy Computer Science Department Stanford University Stanford, CA Additional materials: – –An article by Patrick Hayes and Leora Morgenstern in honor of John Mc Carthy’s 80 th birthday:

UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering The Original Davis-Putman Algorithm for Propositional Satisfiability Rina Dechter and Irina Rish “Directional Resolution: The Davis-Putnam Procedure, Revisited.” Technical Report R-29, School of Information and Computer Science, University of California at – 29.htmlhttp:// 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 Reprinted in W. Hamscher, L. Console and J. de Kleer (Eds.), Readings in Model-based Diagnosis, Morgan Kaufmann, 1992.Normality and Faults in Logic-Based Diagnosis – David Poole. “Representing Diagnosis Knowledge.” Annals of Mathematics and Artificial Intelligence, 11, 33-50, –

UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering Naïve Physics Hayes, Patrick, J "The Naive Physics Manifesto", in D. Michie, ed., Expert Systems in the Micro-Electronic Age, Edinburgh: Edinburgh University Press, Hayes, Patrick J "The Second Naive Physics Manifesto", in Hobbs and Moore, eds., –Hobbs, J. R. and Moore, R. C. eds Formal Theories of the Common-sense World, Norwood: Ablex. Hayes, Patrick J. 1985a "Naive Physics I: Ontology for Liquids", in Hobbs and Moore, eds., Also in Weld and de Kleer, eds, –Daniel S. Weld and Johan de Kleer (Eds.) 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), R.J. Brachman and H.J. Levesque. “The Tractability of Subsumption in Frame-Based Description Languages.” AAAI-84,