KIF意味論の話に入る前にもう一つの文献を紹介しておきます. 1975年のIJCAI(San Fransisco)で彼は論理側に立った論文「In Defense of Logic」を発表します.とは言っても,知識表現と意味論から見た論理の重要性を強調してですが.論理の「本当の価値は通常の薄っぺらな統語論にあるのではなく,それが提供する意味論にある」と. Pat曰く,「論理はある種の世界についてのある種の知識をどう言い表したらよいかという考えの集積である.論理のメタ理論とは,このクラスの表現言語を解析するための数学的道具立てを集めたものである.これらの道具立てが解析するものは,解釈器の挙動でもなく,稼動システムのプロセスの構造でもなく,ある言語の表現がある外部の世界についての主張していると受け取られるときの,その外延的(extensional)意味である.言語の意味と,その解釈器の挙動は,別
![RDF再入門その1,Pat Hayesの意味論(その2) : セマンティックウェブ・ダイアリー](https://cdn-ak-scissors.b.st-hatena.com/image/square/da78a05937633f7a2b4b2219826151c370cd607b/height=288;version=1;width=512/https%3A%2F%2Fparts.blog.livedoor.jp%2Fimg%2Fusr%2Fcmn%2Fogp_image%2Flivedoor.png)