This course is a sequel to
<a href="http://www.cse.buffalo.edu/faculty/shapiro/" target="main">
Prof.&nbsp;Shapiro</a>'s
<a
href="http://www.cse.buffalo.edu/faculty/shapiro/Courses/CSE563/2008/"
target="main">
CSE&nbsp;563 from the Spring 2008 semester</a>.
It will be a survey of issues in, and techniques of, representing
and reasoning about and with
knowledge, belief, and information
in a(n artificially intelligent) computer system and of the syntax
and semantics of various representational formalisms.
Classic papers will be read and current research issues discussed.
<p>
I will begin with a brief review of logic and automated theorem proving
(unification and resolution) and of the SNePS knowledge-representation,
reasoning, and acting system.
Remaining topics will include some or all of the following,
                as well as others as time permits:
modal and epistemic logics, ontologies, semantic networks, production systems,
frames, description logics, inheritance networks, default reasoning, and 
the situation calculus.