日本語スクリプト メモ その２

スタックマシンのような　逆ポーランド記法で考えると難しいので

蓄積した知識を　検索するほうがいいかもしれない

にわとり　は　とり
(X は　とばない）　は　（　X は　とぶ　の　はんたい）
にわとり　は　とばない

みたいな感じ

とり　は　とぶ

（X　は　とばない）　は　（（　X　は　とぶ　） を　ひてい　）
すずめ　は　とり

にわとり　は　とり
にわとり　は　とばない

（にわとり　は　とぶ）　を　しらべる

・直接的に　「にわとり　は　とぶ」　という行が有れば一番よい
・全ての知識行について　「にわとり　は　とぶ」に　変形できるか調べる
　たとえば、　「にわとり　は　とり　」「とり　は　とぶ」の組み合わせから三段論法できる
・しかしながら　「にわとり　は　とばない」　「とばない　は　とぶ　の　はんたい」
　から　「　にわとり　は　とぶ　」　を否定してほしい
・真偽を調べる場合は　ひとつでも　偽になってはいけない？

（にわとり　は　X　)　を　けんさく

にわとり　は　とり
にわとり　は　とばない

を　リストアップしてほしい

けんさく　と　しらべる　という　二つの言葉をおぼえたくない