- 次世代言語議論スレ[Go Rust Haskell Scala]第3世代 [無断転載禁止]©2ch.net
266 :デフォルトの名無しさん[sage]:2017/03/19(日) 09:29:42.74 ID:7GUCcHR6 - ごめん、Prologはまだ感覚をつかめてないので下手なことは言えないと思って挙げなかった。
POSってPartially Ordered Set?人工知能、専門ではないんだわ。 手始めにやってみたいなと思ってるのは、型の図式=知識の構造を得ておいて、その図式のこの条件を緩めたら知識として一致してる、とか議論できないかなと。 例えば、移動現象に関係する方程式で、物質、熱、粘性を考えたとき、それぞれ次元としてスカラー、ベクトル、テンソルというズレがあるけど、 それを外せば一致していて、ベクトルで新規の項を見つけたら、他の二つにも対応物というか、見逃していた現象があってとか議論される。 こういう一見違う他領域を結び付けて何かを発見するのに使えないかなと。 チラ見だとそれこそPrologの方が得意そう、というかxmlでワトソンみたいなのが既にやってそうだけどね。
|
|