勉強会：【マルレク】Yet Another AI

【マルレク】Yet Another AI - RPAは「推論エンジン」の夢を見るか

■ 日時：2019/7/29　19:00ｰ21:00

■ 感想

　→　記号理論を勉強した後のセミナとして
　　　色々と細部への理解が深まり楽しかった
　→　今後、論理学やCOQのセミナへの参加をエントリしている
　　　放送大学の科目のまとめを早急に終わらせて
　　　次のステップに行きたいと思っている

yet-another-ai.peatix.com

---

（セミナ・メモ）

● AI = DL 論

’ビッグソフトウェア
　→　DLはプログラムのロジックを理解できない

・DNC　可微分ニューラルコンピュータ

・グラフ処理
　→　エンティティ・グラフ理論

・DLは万能では無い
　→　センサとしての利用
　→　システム設計にDL技術は使えない

・Simonの予言　→　楽観論

● 複数の人工知能技術

・言語能力、文字、数学

● 機械による数学的推論は可能か

・Fregeの公理
　→　Suaaellのパラドックス　→　型の理論

・ゲーデルの不完全性定理 　→　計算可能性

・プログラム　＝　証明
　→　カリー/ハワード対応

・Deep Specification
　→　形式的
　→　スペックレビュー