タグ 述語論理
人気順 5 users 10 users 50 users 500 users 1000 users(1 - 2 / 2件)
『理論から学ぶデータベース実践入門』の間違いを指摘する - Qiita
『 理論から学ぶデータベース実践入門 』という本を読んでいて、2章の論理学の説明に多くの誤りを見つけたので指摘しておく。この本はデータベースについての技術書であり、数学書ではないのでこれらの誤りがこの本の価値を完全に損なうとは思わない。 しかし、述語論理に基いてリレーショナルモデルを説明するという趣旨の本である以上、その基礎である論理学の説明が不正確なのは大きな問題である。また著者が論理学の専門家... 続きを読む
RDFとセマンティック・ウェブの現在
セマンティック・ウェブのレイヤーケーキ URI, Unicode, XMLを基盤に ウェブの蓄積をベースにグローバルなデータ(OpenWorld)を扱う マシンが読める形でデータや知識を共有 RDFによるシンプルで柔軟なデータ形式 RDFS 、オントロジーによる語彙と知識の記述 推論規則と論理フレームワーク 述語論理、記述論理を用いた推論、高度な検索 検索結果をエージェントが判断してさらに処理を継... 続きを読む
(1 - 2 / 2件)