数理論理学

第５回

​

解釈

© 加藤，高田，新出

3.2 述語論理の

意味論 (p.55)

演習問題4

何代先であっても、直系の女性先祖を判

定できる確定節、fAncestor を定義せよ。

parent(kotake, sumire).

fAncestor(X,Y) :- …

fAncestor(X,Y) :- …

?- fAncestor(X, tomohiro).

X = sakiko ;

X = sumire ;

X = kotake;

maruko, hiroshi, tomozou に

対しては false.

motherと fAncestor

以外の述語を使用し

た場合は０点

演習問題4

何代先であっても、直系の女性先祖を判

定できる確定節、fAncestor を定義せよ。

​

fAncestor(X,Y) :- mother(X,Y).

fAncestor(X,Y) :- mother(X, Z),

fAncestor(Z, Y).

motherと fAncestor

以外の述語を使用し

た場合は０点

3.2 述語論理の意味論 (p.55)

1. 述語記号　　parent, male, female, etc.
2. 関数記号 f, g, etc.
3. 定数記号 tomozou,maruko, etc.
4. 変数　　 x,y,z, etc. (prolog では変数 は必ず大文字にする)

​

​

これらはあくまでも記号の定義であり、これらの記号自体には意味はない

意味を持たせるものが解釈

(p. 63)

知識の形式的表現と、それを用いた自動

推論のための仕組みの理解を目指す。

論理式や、関数に意味を

与えるもの。　(p. 61)

解釈

3.2.2 解釈

定義 3.17

割り当て

割り当て

さくら家における解釈を

とする。ただし

さくら家における解釈を

とする。ただし

hiroshi kotake

sumire tomozou

maruko

sakiko

解釈には、様々なものが考えられる

梅田家における解釈を

とする。ただし

梅田家における解釈を

とする。ただし

p.63

の用い方

(pp. 63-64)

p.62 5.

⊃

課題5