Ｎａｏｋｏだけど、ちょっとJavaCCで作り直すことにした。いや別に今のままでもサンプルは組めるんだけど、{};って構文がどうも気持ち悪い。やっぱ{}の後に;はいらない。それに将来ソース公開するときになにかと都合いいしさ。本格的な拡張はそれからってことだ。

いろいろAI関係の論文とか読みまくっているのだが、どうも俺の予想と学者の考えてる未来像は違うみたいだ。まあ誤差をふくめて言い切ってしまえば俺は思考なんてモンは「いいかげん」なものだと思っている。極端な話、思考が完全に論理的であるのなら、ミスの起こる余地がない。ミスが起こることを学者は真理に達していないからだと考えているようだが、俺の考えでは真理なんてものはもともと存在しないものだと思っている。だから真に論理的な思考なんてものは存在しない。学者は論理的であるという真理を数学で証明可能だと考えているようだが、数学なんてものはイカサマもいいところである。人間は論理的であるかどうかを感情が決定するというシステムで成り立っているのだから、システム的にどうにもならない。俺が目指しているのはいいかげんなAI。だからどうだっていわれれば、いや、そういうものなんだよって言うしかないのだが。

いやなにも人工知能つくるのに数学が必要ない、とはいっていない。数学もいる。ただし、どうも人間ってのは「論理と非論理的に出来ている思考を持つ生物」ではないかと思っている。多くのアプローチが人間の思考を論理的、つまり数式で表せると前提して論を進めているが、ほんとうにそうなのかと個人的には思っている。まあ論理的でないものは計算機で動かないんだからしかたがないんで、俺のいう人工知能とは、人間の思考のなかで論理的な部分だけ取り出したもの、である。それ以外の実装はいまのところ予定していない。

知識ベースを考えていたのだが、やっぱ「日本語」で作ろうと思う。俺は日本語しか知らないわけで、英語で知識ベースを作れ、っていわれたって無理。その隅から隅まで知ってる日本語以外に選択肢はない。まあXMLあたりで吐き出すようにしとけば翻訳は可能だろう。しかし言語には言霊が宿るといわれているが、ホンマか？

ここしばらく人工知能言語「Naoko」のプロトタイプ作りに没頭している。今回は実行時にプログラムがプログラムを書き換えるような言語なんでインタプリタがよかろうかと深く考えずに作り始めた(いつものことなんだけど)。っていうかちょうどいい本があったんでもろ参考にさせてもらってる。「いまどきのプログラム言語の作り方」、Javaでインタプリタを作る方法が実践的に載ってるかなりの良書。っていうか俺は言語屋/コンパイラ屋じゃないんで、これぐらいのレベルでちょうどいい。もうちょっと凝りたかったら専門書読めばいいし。

mixiで「汎用AI開発委員会」というコミュを主催しているのだが、最近は全然過疎コミュとなっている。元々、自分の考えをまとめるために開いただけなので、まあ存続しているだけで十分なのだが、やっぱり作って見せないと説得力はないんだよね(当然のことだが)。というわけで、家でごそごそ作業を続けている。やっぱ、プログラム組むのは楽しいなあ、と思うことしきり。

昨日、複雑学系の話をしたんでその続き。

複雑学系の中には自分でも「なんだかな～」ってモノもあるのだが(確率論とか暗号論とか宇宙論とか)、ちょっとはましかなと思っているのがAI論。っていうかまだ全貌は書いてないんだけどさ(これは昔師匠が「企画の奥義は『小出しにすること』」って教えてくれたんで)。はっきりいっちゃえば、このプラン通り作れば現在世の中にあるAIと呼ばれるものよりはちょっとはましな人工知能っぽいモノが作れるという、なんとも大それたプランである。まあ、それをこんな過疎サイトで無料で公開してるんだから、自分でもなんて太っ腹なのかと思う(苦笑)。

実は基本的な構想はもう10年ぐらい前からあった。で、なんで書く気になったかというと、まあもしかしたら俺も先行き長くないかもしれないし(最近俺より若い友だちが亡くなったのよ)、正直いって自分でも得手不得手な分野があるので生きてるうちに全部作りきれないかもしれないと思ってさ。自宅の地下室でたった一人で巨大ロボットつくっちゃう兜十蔵博士みたいな偉人ではないからね。

ああ、あくまでも「複雑学系」AI論だよ。そのつもりで。