Logic for Ontologies

PHI-602LEC-BEV

University at Buffalo

  • Semester
    Spring 2027
  • Instructor
  • Start Date
    01-20-2027
  • Total Credits
    3
  • Call to Register
    716-645-5698

Take your class online with SUNY

You will learn the same curriculum as our on-campus students

Humans are perplexing. Many engage effortlessly in discourse without violating conversational norms. Some accurately diagnose treatment options for medical conditions, based on minimal information. Some identify lemmas needed to prove theorems too complex for automated approaches. Humans are perplexingly good at solving complicated tasks. Artificial Intelligence communities have, for decades, worked to design computing systems able to solve complicated tasks as well as humans can. Siri, autonomous vehicles, Computer-Aided Diagnosing systems, and automated theorem provers, are examples of the fruits of such labor. For such feats of computing ingenuity to work properly, however, relevant knowledge must be represented in formalisms interpretable by computing systems.
Course Area: Philosophy
Level: Graduate
Dates: 01-20-2027 - 05-04-2027
Find books for your online class
Instructor:
Local Course ID: 27SP_BUF_PHI602_LECBEV
Books & Supplies

  • How to Register for an Online Course

    Let's put your mind at ease about online learning

  • Search
    Search for an online course by keyword, semester, campus, area, or a combination of each.
  • Select Course
    Select a course from the results list that fits your needs.
  • Visit College Website
    Click “register now” to visit the college website to register as a “non-credit” or “non-matriculated” student if you are not enrolled at the campus.
  • Contact Registrar
    Contact the registrar’s office or enrollment office to register for the course. Make sure you have the course name and course ID when you register.
  • Transfer Credits
    If you plan to transfer credit for the course, make sure you have reviewed the course with the advisor at your current college to ensure the credits will transfer to your degree program.
  • Locate Course Materials
    Once you register for the course, visit the campus bookstore to find the books and materials for the course. You will need the course ID to find the books.

Interested in registering for this class?