1 / 6

CSCE 781 Knowledge Systems: Student Presentations

CSCE 781 Knowledge Systems: Student Presentations. Spring 2011 Marco Valtorta mgv@cse.sc.edu. Programs with Common Sense. Original paper (1959) is at John McCarthy’s web site: http://www-formal.stanford.edu/jmc/mcc59/mcc59.htm l

cbullard
Download Presentation

CSCE 781 Knowledge Systems: Student Presentations

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CSCE 781Knowledge Systems: Student Presentations Spring 2011 Marco Valtorta mgv@cse.sc.edu

  2. 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 jmc@cs.stanford.edu 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

  3. The Original Davis-Putman Algorithm for Propositional Satisfiability • Rina Dechter (dechter@ics.uci.edu) and Irina Rish (irinar@ics.uci.edu). “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/r29.html

  4. 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

  5. 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.

  6. 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.

More Related