Common Lisp と人工知能プログラミングの本を執筆中 : セマンティックウェブ・ダイアリー
上巻を出版しました．興味のあるかたはこちらからお願いします．Common Lisp と人工知能プログラミングの本を執筆中です．まだ Common Lisp の部分の半分ほどしかできていませんが，およそ以下のような内容になるはずです． ほぼ完了しつつあります．出版前講演として３回にわたって「Common Lisp と 人工知能プログラミング」の第１部 Common Lisp プログラミングについて講習会を行います． 何かコメントをいただければ，できるだけ反映いたします． 目次 第１部 序章 はじめに 第1章 Lispの基本 1.1 リストを入力してみよう 1.2 書式を評価する 1.3 car と cdr はリストを分解する 1.4 シンボルは値を持つことができる 1.5 consはリストを合成する 1.6 便利なリスト処理関数 1.7 数，整数，浮動小数点数，有理数 第2章 関数定義および
「無限論の教室」 : セマンティックウェブ・ダイアリー
これまでこのブログで，Lispで学ぶ集合論，Lispで学ぶゲーデルの不完全性定理，をやってきましたが，それでもいまいち隔靴掻痒的な感覚をぬぐいきれませんでした．自分自身に対しても，そして読者に対してもそうだろうと思います．ところがもうこれ以上の説明はないという感じの解説書がありました．実は初版はすでに1998年だったのですが，書店で新書でつまれているのを発見して購入したのです．それが野矢茂樹氏の「無限論の教室」です．私的には世の中にあまたある，無限論，ゲーデル本の中でこれが一番．対角線論法を軸にしてカントールの集合論から，ラッセルのパラドックス，ゲーデルの不完全性定理を統一的に説明する．しかもタジマ先生と男女二人の学生を登場させて，ちょっと庄司薫っぽく，小説仕立てにして．いやー，楽しく読めていままで腑に落ちなかったところが落ちるように思える． 以前にチャイティンによるゲーデルの不完全性定理
ユニバーサルクラスって何？ : セマンティックウェブ・ダイアリー
ずっと，RDF意味論で言うユニバーサルクラスって何だろう，と思っていて，てっきり rdfs:Class のことだろうと思っていて，このブログでもそれを前提に書いていたりしましたが，今回はっきりそれがわかる資料をW3Cメールアーカイブの中から見つけました． それは，Pat Hayes からTim Berners-Leeに宛ててかかれた次のものです． http://lists.w3.org/Archives/Public/www-tag/2007Sep/0168.html ちょっとスレッドをたどってみると，TBL が URI はWeb上の URL を指してもいいし，実世界や仮想世界の何かを指してもいい，として，すべてのものを 'resource' という言葉で表現したことに対して，Pat がすでに 'thing' とか 'entity' という言葉があるのだからやめてくれと言ったことに対しての
RDF再々入門その５，包括原理って何？ : セマンティックウェブ・ダイアリー
このシリーズの一番最初に，「なぜ包括原理」というタイトルで書かせてもらいました．でも（その１）で書いたOWLにおける「包括原理」と（その２）で書いた集合論の「包括原理」がどうしても合わなくて，これが不思議だったのです．違うものだということは分かるのですが，なぜ違うことを同じことのように言っているのかが分からなかったのです．だって，それでOWL-DL派は「包括原理はパラドックスを導く」とRDFを攻撃しているのですからね． それが，最近，ひょっとしたらこれのせい？というのが見つかったのです．ここからはあくまでも，私個人の推測ですから，それを最初にお断りしておきますが，ここは日記ですからね．日記として以下に，大胆に書かせていただきます． Google.com in Englishで，「list comprehension」としてググると，いくつかの記事が出てきますが，そうですね，wikipedi
RDF再々入門その０ : セマンティックウェブ・ダイアリー
２年弱前にRDF意味論の和訳をさせていただいて，今年１月にRDF再入門と題して，普通のセマンティックウェブ教科書には載っていないような微妙な話をさせていただきました．そこで今度は，RDF再々入門と題して，教科書には絶対に載っていなくて，研究者たちもよく分かっていなくて（多分），でも話だけはするよねみたいな話題を，勝手に（これは自己満足的に，自分のメモとして），書かせていただきます． だんだん「パイプのけむり」みたいになってきましたが・・・． でも，すべてRDF研究者としては絶対抑えておくべきことがらなのですよ．それはZermelo-Fraekelの集合論，包括原理，Russellのパラドックス，ゲーデル数，などです．これらはいずれも集合論もうすこし広くは数理論理学の基礎のお話なのですが，HayesのRDF意味論やPatel-Schneider, Horrocksらの論文に出てくるのです．で
OWLはどこに行くのか？ : セマンティックウェブ・ダイアリー
今年の人工知能学会全国大会は長崎で開かれますが，そこで「RDF意味論とOWL意味論の統合」と題して，このブログで最近書いてきたようなことを発表します．論文の内容はｐｄｆで公開されていますので，興味のあるかたは是非ブラウズしてみてください． 発表で本当は色々と取り上げたいことはあるのですが，時間が限られているので，その内容はやはり個物の同一性の問題とクラスの等価性の問題中心になると思います．そして結論は「現在のＯＷＬ仕様はオントロジーの知見を反映していない，このままではOWLに未来はない」というものになると思います． OWLについては，色々な評価があると思われます．肯定的な面では オントロジー記述の標準化？が達成された？オントロジー記述の定式化が達成された．オントロジー記述を一般に普及させた？ などということが言えるでしょう． その一方で，否定的な評価としては 難しすぎる．そんな高機能まで必
RDF再入門その４，クラスとdisjoint問題 : セマンティックウェブ・ダイアリー
やっと，クラスとdisjoint問題に入ります． RDF意味論とOWL意味論において，クラスとはその外延で定義されます．以前の私のブログでは，次のように書いています． 「今，何か世の中にあるオブジェクトを考えて（ベースオブジェクト），何かの考え方でもってそれを分類して，複数の集合を作ったとします．そしたらそのある集合ごとに名前をつけましょう．たとえば，この集合は『イヌ』，この集合は『ネコ』，これには『ネコヤナギ』，これには『イヌフグリ』．そうしたときに，そのつけた名前が表示するものをクラスと呼んで，ベースオブジェクトの集合をそのクラス外延と呼びます．」 「イヌ」のクラス外延と「ネコ」のクラス外延が一部でも重なることはありませんから，こういうクラスを「互いに素」(disjoint)あるいは「離接」(disjointness)と言います．どちらの日本語訳もいまいちピンときませんので，以下ではそ
RDF再入門その３，スコープ問題 : セマンティックウェブ・ダイアリー
クラスとdisjointの話に入る前に，RDFとOWLにおけるスコープ問題を取り上げます． XML名前空間はあれど，RDFとOWLの三つ組においてすべてのURI参照やQNameはグローバルです．それはちょうど昔のBASICのように，プログラム言語においてすべての変数がグローバルでしかないのと類似のことです．ですから別々のオントロジーで名前空間も含め同じ名前があったら，それは同じものを指しますが，そのオントロジー記述がグローバルなものではなかったら，とんでもないことになります． たとえば，2010年2月22日にお財布に1万円あったとして，翌日5千円だったとして，その二つの知識をトリプルでうかつにマージすると，このようになります． あるオントロジーで MyBag rdf:_01 MyWallet . MyWallet contains MyMoney . MyMoney rdf:va
RDF再入門その２，非唯一名仮説（その2），内包と外延 : セマンティックウェブ・ダイアリー
いつまでたっても，内包と外延の議論というのは，どこか隔靴掻痒的なところがあるのですが，ここではせっかくのブログですから，なかなか論文には書けないような話を大胆に展開したいと思います．それが本当に正しいかどうかは一旦置いておいて・・・． 内包と外延ですぐ出てくる話が，宵の明星と明けの明星の話です．つまり内包としては，古来人間の認識としては両者は別物ですが，外延としては，実は同一物（すなわち金星）だった．でもだからと言って，この話からはなかなか有益な結果は得られないような気がします． (実はコンテキストが意味を支えるものとして出てきて，文脈依存という話はまた溝口流オントロジーとしても重要な話が一杯出てくるのですが，それはまたいつか） 私が一時期一番好きな定義は，広辞苑による定義でした． 内包： 概念の適用される範囲（外延）に属する諸事物が共通に有する徴表（性質）の全体。 外延： ある概念の適用
RDF再入門その２，非唯一名仮説（その１），イタリアンワインとカリフォルニアワインはどう違うのか : セマンティックウェブ・ダイアリー
準備不十分かも知れませんが，ついに本題に突入． まず最初は，唯一名仮説(Unique Name Assumption，略してUNA)と非唯一名仮説(non-UNA)です．えーっと，本当はnon-UNAというのかどうか私は知りません．だれか知っていたら教えてください． ワインオントロジーではvin:ItalianWineとvin:CariforniaWineはこうなっています． <owl:Class rdf:ID="ItalianWine"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#Wine" /> <owl:Restriction> <owl:onProperty rdf:resource="#locatedIn" /> <owl:hasValue rdf:resource="#Itali
RDF再入門その１，Pat Hayesの意味論（その2） : セマンティックウェブ・ダイアリー
KIF意味論の話に入る前にもう一つの文献を紹介しておきます． 1975年のIJCAI(San Fransisco)で彼は論理側に立った論文「In Defense of Logic」を発表します．とは言っても，知識表現と意味論から見た論理の重要性を強調してですが．論理の「本当の価値は通常の薄っぺらな統語論にあるのではなく，それが提供する意味論にある」と． Pat曰く，「論理はある種の世界についてのある種の知識をどう言い表したらよいかという考えの集積である．論理のメタ理論とは，このクラスの表現言語を解析するための数学的道具立てを集めたものである．これらの道具立てが解析するものは，解釈器の挙動でもなく，稼動システムのプロセスの構造でもなく，ある言語の表現がある外部の世界についての主張していると受け取られるときの，その外延的(extensional)意味である．言語の意味と，その解釈器の挙動は，別
人工知能用プログラムを学ぶ : セマンティックウェブ・ダイアリー
このページにたどり着いた人へ． この記事は2009年に書かれたものです． Lisp による人工知能プログラミングを学びたい人は，このページを軽く眺めてから，2011年から始められた一連の記事をご覧ください． Lispが今また元気になりつつあるっていう話があるのですが，本当でしょうか．３月には米国MITにて http://www.international-lisp-conference.org/2009/indexとか，７月にはジェノヴァでhttp://elw2009.bknr.net/homeとか． 私の身の回りではそのような雰囲気はありませんが，もしそうなら大変うれしいことです．これは私の持論ですが，世の中の人は三種類に分けられる． １．Lispを知らない人 ２．Lispを知っているが，それにはまらない人 ３．Lispを知って，それにはまってしまった人 ここで知る知らないとは，Lisp
RDF意味論を踏まえたRead,Eval,Printループ : セマンティックウェブ・ダイアリー
Lisp の対話型環境はRead, Eval, Print ループ（REPL)と呼ばれます．ユーザがコマンドをS式としてタイプし，システムはそれを読み，評価し，評価結果を印刷します．Lisp ではこの一連の動作は，当然 Lisp の意味論にしたがって，それを実現するようになっているわけです．しかし，この Lisp の意味論にはそれほど数学的論理的にきっちりとした定義があるわけではありません．Lisp の実装者はCommon Lisp の仕様書，CLtL1やCLｔL2，ANSI-CL仕様書を読んで，それを実現するように実装するわけです．もちろん，参考とするためのソースコードがあったりするわけですが（初期にはSpice Lisp, CLOSにはPCLがあった．湯浅先生と萩谷先生は参考ソースコードなしでKCLを開発したが），一方Schemeには立派な（すぎる？）表示的意味論の仕様があったりします
我々はどこまできたか：セマンティックWeb ダイアリー - AOLダイアリー
米国のサブプライムローンをきっかけに，経済状況が悪化しています．これがSWビジネスにどんな影響を及ぼすのか，気になるところですが，最近Franz社のCEOが来日した際にこれを聞いてみました．答えは何も影響していない．逆に彼が宿泊したホテルで読んだ英字新聞では日本の国債が近い将来大量に売られて，日本が破産するという記事が載っていたことを挙げて，日本は大丈夫かと聞かれてしまいました． サブプライムローン問題にもかかわらず，米国のセマンティックウェブはまだ元気なようですね．今年もサンノゼでSemantic Technology Conferenceが開かれます．今年のスポンサー企業は28社です．去年のスポンサーはこれよりも少なかったように思います．残念ながら私は参加できませんので，誰かがまた報告してくれることを期待しましょう． 日本のセマンティックウェブはいっこうに盛り上がってきませんが，こ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
来場お礼とその他あれこれ：セマンティックWeb ダイアリー - AOLダイアリー