人工知能について質問です

質問

人工知能を勉強しています。
そこで質問です。

例えば、つまり二次方程式ax^2+bx+c=0を解く方法を自力で見つける人工知能は再現できるでしょうか。
解の公式をプログラムすれば簡単に答えは出ます。
しかし、解の公式を見つけるプログラムを作りたいんです。
つまり、

ある問題Pがあります。（Pに明確な答えがあるかどうか問いません）
この問題を解くためのプログラムRがあるとします。
RはPの解法Mを実装されており、解（もしくは近似解）を出力可能ですが、
このMを見つける（作る）プログラムを作ることは現代の科学で可能か、

ということです。
よろしくお願いします。

回答No.1

Knotopolog · ベストアンサー

＞このMを見つける（作る）プログラムを作ることは現代の科学で可能か、

可能でしょう．ただし，可能な場合と，不可能な場合と，可能か不可能か，判定不能な場合に別れると思います．この様な分野は，まだ未発達の領域だと思います．

コンピュータは，人間の指示がなければ，何も出来ませんから，問題Ｐの解法Ｍを見つける場合，どの様な計算をするべきかをコンピュータにプログラムで指示しなければなりません．

例えば，二次方程式の解法Ｍを探る場合，「未知数ｘを単独で取り出せ！」とか，「平方完成を作れ！」　と言ったような・・・．

以下のサイトが，質問者さんのご参考になるかも知れませんので，貼り付けました．

人工知能学会ホームページ
http://www.ai-gakkai.or.jp/jsai/

人工知能（wikipedia）
http://ja.wikipedia.org/wiki/%E4%BA%BA%E5%B7%A5%E7%9F%A5%E8%83%BD%E5%AD%A6%E4%BC%9A

強いＡＩと弱いＡＩ
http://ja.wikipedia.org/wiki/%E5%BC%B7%E3%81%84AI%E3%81%A8%E5%BC%B1%E3%81%84AI

以上です．

回答No.4

foomufoomu

>このMを見つける（作る）プログラムを作ることは現代の科学で可能か
いまさらな話です。
そんなプログラムなら、私がフォートランを使っていたころ（35年ぐらい前）からあります。
（微積分の公式を導くものが多かったですが）
たとえば
http://ja.wikipedia.org/wiki/Macsyma

つぎの2段落目（たとえば数式処理などは・・・）を読んでください。
http://www.ritsumei.ac.jp/se/~takayama/MathEssays/ai.html
今では、その程度のものは人工知能とは言わなくなりました。

回答No.3

tadys

Mathematica を使えば多項式を因数分解する事が出来ます。
http://reference.wolfram.com/mathematica/howto/FactorAPolynomial.ja.html

もっといろんな事も出来ます。
http://www.hulinks.co.jp/software/mathematica/

Mathematica 程度の事では人工知能とは呼ばれないでしょう。

こんなものも参考になるでしょう。
http://www.itmedia.co.jp/keywords/human_and_robot.html

回答No.2

noname#175206

一つの見方としては、初期条件次第ということでしょうね。

>このMを見つける（作る）プログラムを作ることは現代の科学で可能か、

　そのプログラムをP'として、

>ある問題Pがあります。（Pに明確な答えがあるかどうか問いません）

のPと置き換え、それを解くためのプログラムR'があるとすればいいです。

　場合によっては延々とループしますが、有限の手続きではあるでしょう。この予測が成り立たない可能性もありますが省略。

　結果は2通りで、P'…'に明確に答えがあって可能とされる場合と、明確な答えがないことが証明されて、不可能とされる場合です。

　汎用の問題解決プログラムなら、おそらく無理と思われますが、それも証明は不可能でしょう。

　一つの見方と申し上げたのは、こういう一般化した問いには、おそらくは多くの見解や立場があると思われるからです。たとえば、脳をシミュレーションするAIだと、上記のようなアルゴリズム的なことは成り立たない可能性が高いです。