中学＄ｐｒｏｌｏｇ(人工知能)の４月1日資料
•Transferir como PPTX, PDF•
1 gostou•683 visualizações
中学＄Prologの使い方について簡単に説明した資料になります。
Recomendados
Mais conteúdo relacionado
Semelhante a 中学＄ｐｒｏｌｏｇ(人工知能)の４月1日資料
Semelhante a 中学＄ｐｒｏｌｏｇ(人工知能)の４月1日資料 (18)
Mais de Keisuke NAKAMURA
Mais de Keisuke NAKAMURA (20)
Último
Último (7)
中学＄ｐｒｏｌｏｇ(人工知能)の４月1日資料
- 1. 中学＄Ｐｒｏｌｏｇ (演繹型？人工知能) の使い方 ⓪開発動機、①特徴、②他のＡＩシステムとの接続・関係、③主な用途 ④事実、データ、自分の言葉、⑤ルール（ホーン節）、 ⑥（連立）言葉方程式、⑦手続的解釈、⑧ＮＯＴ、 ⑨静的引用、⑩動的引用、⑪比較、⑫文脈と逆質問、⑬定型応答 ＫＩＴハッカソン Ｖｏｌ．４にて情報提供させて頂いた内容の開示 ２０１６．３．１０準備版の⓪開発動機＋３．１９ハンズオン版 ナレルシステム（株） 中村圭介 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソンＶｏＬ４資料
- 3. 僕は一年のとき花子ちゃんが好きでした Ｃ言語、ＰＨＰ、ＪＡＶＡ等 → ×プログラムでない（日記、作文はプログラムと認めません！） しかし、従来のＰＲＯＬＯＧと中学＄Ｐｒｏｌｏｇ → ○プログラム（事実）である 僕は＄Ｂのことをずっとおぼえている :- 僕は＄Ａ年のとき＄Ｂが好きでした； Ｃ言語、ＰＨＰ、ＪＡＶＡ → ×プログラムでない 従来のＰＲＯＬＯＧ → ×プログラムでない！！ 中学＄Ｐｒｏｌｏｇ → ○プログラム（ルール）である！！！ 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソンＶｏＬ４資料 つまり、日記や作文がそのまま世界の思考に影響を与える ＡＩの知識＝論理プログラム（事実、ルール）になる！ ①特徴
- 4. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ①最大の特徴（元祖Ｐｒｏｌｏｇとの違い） １）変数は自由文中に「＄Ａ」、「＄｛母親｝」、等として埋め込む ２）事実は自由文で記載し（日記等からコピペ可）、表記ゆれ吸収規則で調整 例． 僕は太郎と旧知 僕は次郎と昔からの知り合い 僕は太郎と仲よし 僕は＄Ａと友達 :- 僕は＄Ａと旧知； 僕は＄Ａと仲よし； ＄Ｘ旧知 :- ＄Ｘ昔からの知り合い; ３）ルールの中の条件列の確認は、各条件ごとに全ての解候補を列挙してから絞る 条件１｛太郎，次郎｝ ⇒ 条件２｛太郎｝
- 5. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ②他のＡＩシステムとの接続可能性（または関係） ○自動知識獲得（人が論理プログラムを書けば不要。法、道徳、愛、価値観は人が描く） ・機械学習 ・・・ 機械学習した結果を言葉で表現できれば連携可能 ・ディープラーニング・・・ 分類結果（Ｎ値）を入力として推論（演繹）することが可能 ・統計解析 ・・・ 推定されたモデルや値を論理に変換できれば連携可能 ・テキストマイニング ・・・ 結果を連携可能 ※いずれもＩ/Ｆカスタマイズ必要 ○パターン認識 ・音声認識 ・・・ 結果を文脈（前提条件）、質問等として利用可（開発中） ○変換・合成 ・翻訳 ・・・ 翻訳系に対してテキストによる入出力が（作りこみ）可能 ・音声合成 ・・・ 推論結果等を音声出力することが可能（開発中）
- 7. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ③主な用途その２ ４）教育 論理学自体、物理法則、社会のメカニズム、法律、哲学、等 ５）データ抽出 オープンデータ／ビッグデータ等からの事象抽出、表記ゆれ整形 ６）ゲーム制御 アドベンチャー、ＲＰＧ、アクション、それらの世界観の結合 ７）ロボット制御 人間的な価値観（優先順位）でより重大な危険を回避する制御の 実現等
- 8. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ③主な用途まとめ（⇒元祖ＰＲＯＬＯＧにできること＋α） １）自動証明 定理証明、要因やメカニズムの再起的推理と説明、主張理由づけ ２）解探索 （連立）言葉方程式の解探索、組合せによるアイディア・仮説・案の創出 ３）診断・解決 医療・法律・人事・最適材料・故障等の診断／問題解決システム ４）データ抽出 オープンデータ／ビッグデータ等からの事象抽出、表記ゆれ整形 ５）人格定義 人間的な価値観の定義と本格的な論理思考をもとに、 ネットからの質問に応答することが可能な疑似人格対話サービスの提供 ６）教育 論理学自体、物理法則、社会のメカニズム、法律、哲学、生産管理等 ７）ゲーム制御 アドベンチャー、ＲＰＧ、アクション、それらの世界観の結合 ８）ロボット制御 人間的な価値観（優先順位）でより重大な危険を回避する制御の実現等
- 9. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ④事実（＝データ＝日記や作文） 太郎は花子がめちゃ好き ⇔ 好き（太郎，花子）． 中学＄ＰＲＯＬＯＧは 日記に書いている そのままの文章を 推論に取り入れることが できます 従来ＰＲＯＬＯＧは 述語（主格，目的格） などといった 格の集合と順番をそろえない と使えない！！
- 10. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ⑤ルールその１（文法） ＄Ａは＄Ｂがめちゃ好き :- ＄Ａは＄Ｂに毎夜電話する；＄Ａと＄Ｂは異性； 変数は＄から始まり 文の中に埋め込んで使う 従来ＰＲＯＬＯＧは ，（コンマ）区切り だけど、 中学＄ＰＲＯＬＯＧは ；（セミコロン）区切り 従来どおりＡＮＤ条件となる
- 11. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ⑥ルールその２（言葉方程式としての意味） ＄Ａは＄Ｂがめちゃ好き :- ＄Ａは＄Ｂに毎夜電話する；＄Ａと＄Ｂは異性； ヘッドが成立するためには 各条件の各変数に同じ値が 代入されて 全ての条件が成立しなければ ならない（＝連立言葉方程式） （＄Ａ，＄Ｂ）＝（太郎，花子） （次郎，小百合） ・・・ 解が複数の場合↑
- 12. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ⑦手続的解釈 ＄Ａは＄Ｂがめちゃ好き :- ＄Ａは＄Ｂに毎夜電話する；print “＄Ａと＄Ｂ”; ＄Ａと＄Ｂは異性； 推論の 途中経過を プリントしたい場合 ここに、こういうふうに書くと、 異性じゃないのに 毎夜電話している 同性友達の組も含めて 表示されます。 ※データの例は 諸般の事情で省略
- 13. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ⑧ＮＯＴ（~） 推論の 途中経過を プリントしたい場合 ここに、こういうふうに書くと、 あえて異性でない 友達の組が 表示されます。 ＄Ａは＄Ｂがめちゃ好き :- ＄Ａは＄Ｂに毎夜電話する；~＄Ａと＄Ｂは異性；
- 18. 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料 ⑬定型応答 こんにちは：：こんにちは、○○です。今日の四十万は${#天気（四十万）}です。 こんばんは：：こんばんは、○○です。もうすぐ夜桜をたのしめますね。 話をきかせて：：当社の新しい商品○○のＰＲをさせて頂きます。・・・。ご静聴あり がとうございました。 メアド教えて：：ご相談窓口のメールアドレスは jd_prolog@marusei-sk.com です。 ダウンロードＵＲＬ：：http://www.vector.co.jp/soft/dl/winnt/prog/se512641.html ※現在リリース中のバージョン１．３２は対応していません。 ※定型応答内の関数の記法は３．１０の当初準備資料から改訂しました(#追加)。
- 19. まとめ 今後の課題 ・音声インターフェース（開発中） ・方言、スラング等の吸収規則ライブラリの整備 ・英語、中国語等の外国語への対応（ローカライズ、普及） 中学＄Ｐｒｏｌｏｇ(人工知能)の使い方 ２０１６．３．１８ ＫＩＴハッカソン準備資料
- 21. 現在、中学＄Ｐｒｏｌｏｇと論理プログラミングのさらなる発展と 世界的な普及をめざし、 皆様からのご意見やご要望、ご質問等をお待ち申しあげて おります。 暖かいご支援を、どうぞ宜しくお願い申し上げます ナレルシステム株式会社 責任者 中村圭介 ＴＥＬ （＋８１）７６－２１３－５２１１ ＦＡＸ （＋８１）７６－２１３－５２３９ MAIL jd_prolog@marusei-sk.com