粟ヶ崎ビジネスサロン２０１７０５２７＿ｐ３２まで
•
0 likes•277 views
ＨＵＭＡＮＯＴＥ／中学＄Ｐｒｏｌｏｇによるアイディアの自動生成の基本的な方針と、数百の改善点のうちの最も基本的な２，３の工夫点について説明いたします。
Recommended
More Related Content
Similar to 粟ヶ崎ビジネスサロン２０１７０５２７＿ｐ３２まで
Similar to 粟ヶ崎ビジネスサロン２０１７０５２７＿ｐ３２まで (18)
More from Keisuke NAKAMURA
More from Keisuke NAKAMURA (20)
粟ヶ崎ビジネスサロン２０１７０５２７＿ｐ３２まで
- 2. 自己紹介 中村圭介（４８歳、小松市出身） • 論理型ＡＩ用のプログラム言語とシステムを金沢市内で、１から開発 • ふだんの言葉や金沢弁などで誰もができるプログラム言語をめざす • ＡＩ歴： １９でＡＩサークル立上げ＞大学院＞ＮＴＴ通研＞特許事務所 ＞起業／ＡＩを使った教育ソフト～ナレルシステム、１６年前 • 判断の理由を示せる論理型ＡＩにこだわって ・・・「ＨＵＭＡＮＯＴＥバージョン３」を近く発売予定（特許申請１５件）
- 3. なぜＡＩか？ （行政と産業） • 仕事で安定した判断（公平、ミスしない、文句いわず、派閥なし） • そもそも人手不足（今の北陸も、今後の日本も・・・） • 今いる人の「安全性」向上、「苦渋作業」削減 • 人を「進歩と成長の少ない退屈な何か」から解放 ※健康も大事 • 最新の法律や技術へ自動的に更新した競争力ある判断ができる！
- 4. なぜＡＩか？ （人類のいきがいと教育） （いきがい） • 老人ホームや介護施設での「おしゃべり相手」になれる • プログラミングや機械学習で自分の「分身／生きた証」を育成可能 （教育） • 知りたい知識、身につけたい技能、なりたい人格を「自分で選択」し、 いつでも！ 納得いくまで！！ 「なぜなぜ」形式の質問や対話ができる！！！ • 新人や家庭の教育／再教育を、短いスキマ時間で安価にできる！
- 6. 従来の論理型ＡＩの代表例 ＰＲＯＬＯＧ 仏で３０年以上前に誕生 売れる（Ｘ） :- 必要（Ｘ）, 適価（Ｘ）. 必要（ＡＩ）. 適価（ＡＩ）． ?-売れる（Ｙ） ⇒ Ｙ＝ＡＩ 推論規則 事実 質問と答え コンマとカッコで 自動化を容易に
- 9. 自然言語中心の「思考プログラミング言語」 中学＄Ｐｒｏｌｏｇ 金沢で！約５年前に誕生！！ ＄Ｘは売れる :- ＄Ｘは必要 ;＄Ｘは適価; ＄Ｘは必要 :- ＄Ｘマストやじ ; ＄Ｘは適加 :- ＄Ｘ湯涌一泊分 ; ＡＩマストやじ ＡＩ湯涌一泊分 ？＄Ｙは売れる ⇒ 解答：＄Ｙ＝ＡＩ 基本は日本語 金沢弁の 独立⇒連携 を両立 標準語でも 質問可能 日記やブログ
- 10. 生みと育ての苦しみ（楽しみ・感謝・・・） • 自然言語による再帰的三段論法つきパターンマッチング → 「ふだんの言葉による推論」と「自然言語検索」の統合 • 多長一致★ • 無限ループ • 知識や情報の単位 • 外部オンライン最新知識の実行時引用 • 回答の根拠ツリーの表示 • 思考過程トレース • 小・中学生でもプログラムできるには？ • 推論速度の劇的改善 • 文脈の本格的な管理 • 目視半自動枝刈り • ＯＲと３つのＮＯＴ • あいさつと自動診断型の前向き推論 • 高齢者が使えるには？ → より簡単なＵＩ／音声認識／音声合成 → 認識精度／読み精度 • 逆質問（対話）による実行時知識追加 ここ金沢において 県内の２～３名の人材で 一つひとつ解決 丁寧に知財化 １５件の 特許申請 （１件は国際）
- 14. 論理型ＡＩの得意なもの １）自動証明 「必要かつ適価なら、たぶん売れる」 ◇ 規則：□□は必要 ＆ □□は適価 → □□はたぶん売れる ◇ ◇ 連立言葉方程式による 証明（抽出）条件の表現
- 15. 論理型ＡＩの得意なもの １）自動証明 「必要かつ適価なら、たぶん売れる」 ◇ 規則：□□は必要 ＆ □□は適価 → □□はたぶん売れる 事実：ＡＩは必要 ＆ ＡＩは適価 ◇
- 16. 論理型ＡＩの得意なもの １）自動証明 「必要かつ適価なら、たぶん売れる」 ◇ 規則：□□は必要 ＆ □□は適価 → □□はたぶん売れる 事実：ＡＩは必要 ＆ ＡＩは適価 結論：→ ＡＩはたぶん売れる
- 17. 論理型ＡＩの得意なもの ２）自動解探索 規則：□□は必要 ＆ □□は適価 → □□はたぶん売れる 事実：ＡＩは必要 ＆ ＡＩは適価 事実：空気は必要 ＆ 空気は無料 質問：？□□はたぶん売れる 答え：□□＝ＡＩ
- 18. 論理型ＡＩの得意なもの ２）自動解探索 規則：□□は必要 ＆ □□は適価 → □□はたぶん売れる 事実：ＡＩは必要 ＆ ＡＩは適価 事実：空気は必要 ＆ 空気は無料 質問：？□□はたぶん売れる 答え：□□＝ＡＩ
- 19. 論理型ＡＩの得意なもの ３）思考実験可 規則：□□は必要 ＆ □□湯涌１泊分 → □□はたぶん売れる 事実：ＡＩは必要 ＆ ＡＩ湯涌１泊分 事実：空気は必要 ＆ 空気は無料 質問：？□□はたぶん売れる 答え：□□＝ＡＩ
- 24. アイディア生成のいろんなツール（４） ブレインストーミング 批判×、質より量、連想と結合 ＫＪ法 グループ化、因果・対立等を抽出、重点分析 チェックリスト法 転用・応用、変更・置換・代用、逆転、 拡大・縮小・除去、再利用、結合・組合せを一々発想 特性列挙法 アイディアを出す前に課題特性を列挙 欠点列挙法 欠点／問題のみ列挙して新商品模索 希望点列挙法 対象への希望を現状を無視して出す
- 25. 当社の論理型ＡＩによる自動アイディア合成 ■特徴 • 抽出条件に合う言葉を複数分野の関連する最新知識源から抽出 • 抽出した言葉を利用者製のアイディア合成パターン上の変数に代入 • 具体的な抽出条件の類型 １）その言葉が求められる文の中で特定の位置に出現すること ２）公的／私的な価値観の序列や特性の程度範囲に適合すること ３）技術的、倫理的、論理的に「ありえない」アイディアでないこと ４）事実と推論規則でめざした効果（技術的／営業的）を奏すること
- 27. 実演１ 言葉方程式による自動アイディア合成 ネットの公知テキスト（推論規則、事実） 社内限りの秘密テキスト 各自ＰＣ内テキスト ？新製品＄Ｘ ＋ おちょこの形状は くちびる型 くちびる型は魅力的 ハート型は暖かい 人型はおもしろい 球形はシンプル 当社の九谷新製品はおちょこ 新製品＄Ａの形状は＄Ｂ :- ＄Ｃ新製品は＄Ａ; ＄Ｂは魅力的 ; ＣＦＲＰは軽くて強い 球形は転がり易い 言葉方程式 解答 意味＝推論できる 「新製品○○○」を すべて列挙せよ！ 「アイディア 合成 パターン」
- 28. 実演１ 言葉方程式による自動アイディア合成 ネットの公知テキスト（推論規則、事実） 社内限りの秘密テキスト 各自ＰＣ内テキスト ？新製品＄Ｘ ＋ おちょこの形状は くちびる型 くちびる型は魅力的 ハート型は暖かい 人型はおもしろい 球形はシンプル 当社の九谷新製品はおちょこ 新製品＄Ａの形状は＄Ｂ :- ＄Ｃ新製品は＄Ａ; ＄Ｂは魅力的 ; ＣＦＲＰは軽くて強い 球形は転がり易い 言葉方程式 解答 三段論法付き パターンマッチング （言語検索と推論の統合） 「アイディア 合成 パターン」
- 29. 実演１ 言葉方程式による自動アイディア合成 ネットの公知テキスト（推論規則、事実） 社内限りの秘密テキスト 各自ＰＣ内テキスト ？新製品＄Ｘ ＋ おちょこの形状は くちびる型 くちびる型は魅力的 ハート型は暖かい 人型はおもしろい 球形はシンプル 当社の九谷新製品はおちょこ 新製品＄Ａの形状は＄Ｂ :- ＄Ｃ新製品は＄Ａ; ＄Ｂは魅力的 ; ＣＦＲＰは軽くて強い 球形は転がり易い 言葉方程式 解答 実演中
- 30. 実演２ ありえない解の排除 ＄Ｘを使った＄Ｙの廃棄物処理方法 :- ＄Ｘに＄Ｙを食べさせて儲ける; ＄Ｘに＄Ｙを食べさせて儲ける：- ＄Ｘは＄Ｙを食べる; !＄Ｘに＄Ｙを食べさせて儲ける :- ＄Ｘは家畜 ; ＄Ｙは毒 ; ヤギは家畜 ヤギは菜種油のついた紙を食べる ヤギはヒ素のついた紙を食べる ヒ素のついた紙は毒 質問： ？＄Ａ方法 実演中
- 31. 実演３ 価値観や程度に沿った推論 <%一般的に大事 家族の結婚式 親友の結婚式 赤ちゃんの誕生日 ペットの誕生日 >%一般的に大事 ＄Ｘは＄Ｙより一般的に大事 :> %一般的に大事; ＄Ｘ>＄Ｙ; ＄Ｘがあるので会社を休む :- ＄Ｘは親友の結婚式より一般的に大事; 質問： ？＄Ａ休む 実演中
- 32. まとめ • なぜＡＩか？ • 論理型ＡＩの位置づけとマイナス点 • 当社の論理型ＡＩの特徴 • アイディア合成のための既存ツールの紹介 • 当社の論理型ＡＩによるアイディア合成の基本的な考え方 • ３つの具体例の実演 ①三段論法つきパターンマッチングによる言葉の抽出と解合成 ②ありえない解の排除 ③価値観や特性の程度に沿った推論 ご清聴ありがとうございました