冠头标准形.ppt

節集合(set of clauses) 復習(1/3) 復習(2/3) 復習(3/3) 述語論理による知識表現の技法 表現の技法(1/9) 定義域 定義域（オブジェクトの世界）を決定する D = {Jack, Elizabeth，...} :いろいろな人の集合 D = {0, 2, π,1+2i, ...} : すべての数の集合 表現の技法(2/9) 個体記号（定数） 固有名詞，数詞は個体記号（定数）で表現 Jack, Mickey，Sapporo 2, π 点P，直線L，三角形ABC 表現の技法(3/9) 述語記号 普通名詞，形容詞，動詞は述語記号で表現 DOCTOR(x): x is a doctor. INT(x): x is an integer. RED(x): x is red. GREATER(x, y): x is greater than y. ON(x, y): Point x lies on Line y. LOVES(x, y): x loves y. PRODUCT(x, y, z): The product of x and y is z. 表現の技法(4/9) 関数記号 the 普通名詞 of は関数記号で表現 moth