Knowledge representation and reasoning is the study of techniques for representing and reasoning about the information used by an AI program. Research at Buffalo is concerned with the abilities that underlie natural-language use, reasoning, and rational acting. We are interested in discovering how to build, and then actually building, a computerized rational agent—a computer system that can (1) converse in English about various everyday and specialized topics, (2) be taught about such subjects by instruction carried out in English, possibly with the aid of gestures, drawings, and diagrams, and (3) reason about those subjects, discuss them with humans, and perform as instructed.

Faculty

Carl Alphonce

Co-Director of Undergraduate Studies; Teaching Associate Professor

Computer Science and Engineering

343 Davis Hall

Phone: (716) 645-4739

Email: alphonce@buffalo.edu

William J. Rapaport

CSE Eminent Professor Emeritus; Affiliated Associate Professor Emeritus of Linguistics; Affiliated Associate Professor Emeritus of Philosophy

Computer Science and Engineering

Stuart C. Shapiro

Professor Emeritus; Affiliated Professor Emeritus of Linguistics; Affiliated Professor Emeritus of Philosophy

Computer Science and Engineering

327 Davis Hall

Phone: (716) 645-4765

Email: shapiro@buffalo.edu

Barry Smith

SUNY Distinguished Professor of Philosophy; Director, National Center for Ontological Research; Adjunct Professor of Biomedical Informatics; Adjunct Professor of Computer Science; Adjunct Professor of Neurology

Philosophy

126 Park Hall

Phone: (716) 645-2444

Email: phismith@buffalo.edu

Deborah Walters

Associate Dean Emerita, College of Arts and Sciences; Associate Professor Emerita; Adjunct Associate Professor Emerita of Psychology

Computer Science and Engineering

Centers and Labs

Collections