1 / 14

Expressing Knowledge

Expressing Knowledge. CSC 244/444: Logical Foundations of Artificial Intelligence Henry Kautz. Are These Equivalent?. Exercise. In groups of 3, axiomatize the kinship domain that would allow you to infer FirstCousinOnceRemoved relationships starting with Spouse and Child.

thina
Download Presentation

Expressing Knowledge

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. Expressing Knowledge CSC 244/444: Logical Foundations of Artificial Intelligence Henry Kautz

  2. Are These Equivalent?

  3. Exercise • In groups of 3, axiomatize the kinship domain that would allow you to infer FirstCousinOnceRemoved relationships starting with Spouse and Child. • Cousin (a.k.a "first cousin") Your first cousins are the people in your family who have two of the same grandparents as you. In other words, they are the children of your aunts and uncles. • Second Cousin Your second cousins are the people in your family who have the same great-grandparents as you., but not the same grandparents. • Removed When the word "removed" is used to describe a relationship, it indicates that the two people are from different generations. You and your first cousins are in the same generation (two generations younger than your grandparents), so the word "removed" is not used to describe your relationship. • The words "once removed" mean that there is a difference of one generation. For example, your mother's first cousin is your first cousin, once removed. This is because your mother's first cousin is one generation younger than your grandparents and you are two generations younger than your grandparents. This one-generation difference equals "once removed."

  4. Queries

  5. A different approach: Suppose we represented only the wires explicitly?

  6. Representational Issues • Abstract individuals • Ontologies and inheritance of properites • Open versus closed worlds • The problem of transitive closure • Are functions necessary? • Conversion to CNF

More Related