Skip to main content.

Courses

Subjects

Search Results

Course Prefix: CSE   Course #: 463   Keywords: null   showing 1 to 1 of ~1

CSE 463LR Knowledge Representation

View Schedule CSE 463LR Knowledge Representation Lecture

Introduces the field of knowledge representation and reasoning, the branch of artificial intelligence concerned with the techniques for representing and reasoning about the information to be used by an AI program. Topics typically include: the knowledge-representation hypothesis; propositional and first-order logic; model finding; resolution; syntactic proof theory; direct and refutation methods; relevance logic; truth maintenance and belief revision; commonsense reasoning; ontologies. Other topics that may be included as time permits are: modal logics; non-monotonic, defeasible, and default logics; logics of knowledge and belief; frames; description logics; vague and uncertain beliefs; logics of actions and time.

Credits: 4
Grading: Graded (GRD)
Typically Offered: Fall, Spring
Prerequisites: CSE 305 or Permission of instructor.

Course Search

date_range Schedule: {{course.abbr}} {{course.num}} {{course.title}} close
 
No schedule for this course in the {{semester.toUpperCase()}} semester.
Schedule for {{course.abbr}} {{course.num}} {{course.title}}
Course # Type Title Section Where When Seats Left
{{c._id}} << >> {{c.catalog.type_pk}} {{c.alt_title}} {{c.catalog.description}} {{c.section}} {{c.room}} MTWRFSaSu {{getTime(c.when[0].dates.start,false)}}-{{getTime(c.when[0].dates.end,true)}} {{getSeatsLeft(c.enrollment)}}
 
Published: Jul 23, 2019 14:26:04