金沢市のＩＴビジネスプラザ武蔵で、ほぼ毎週実施している「思考型！ＡＩプログラミング教室」の第１回、第２回のレジュメとなります。

1. 1
©2017 ナレルシステム株式会社 All Rights Reserved.
「思考型！ＡＩプログラミング教室Ｖ３」 第１回 ２０１７年５月２６日（金）１８～
＠「ＩＴビジネスプラザ武蔵」情報化研修室 by ナレルシステム（株）中村圭介
★日程改定版（「７月２日、１９日、２６日」改め「７月１４日、２１日、２８日」）
１．なぜ AI か？
 単純ミスがなく、疲れず、悪意がなく、基本的に誰にでも公平に接する
 利用者が自由に成長させて、自分の知識や想像力・創造力を拡張できる
２．なぜ思考型 AI か？（なぜ、Deep Learning でないのか？）
 思考（＝想像順序＝言葉によって順番に説明可能な理由づけ＝論理＝言葉～心？）
がある為、「推論結果にどのぐらい頼ってよいのか」がわかる
 解答に対する「根拠のツリー」を表現でき、「思考の正しさ」（健全性）を確認
できる
 ＤＬよりも、悪意のあるコードや理不尽・不公平なコードをみつけやすい！
 何をどのように考えてそのような結果を出したかという思考過程を「トレース」で
き、「思考に抜けがないか」（完全性）の確認や、Logical/Comutational Thinking
の教育に向く
 （わざと）見逃した考え方はありませんか？
 完全性と健全性
 項目の組合せ（＝アイディア創造）を扱う「再帰的な演算」を「マジメに」行える
 プログラム（＝知識や情報）の変更や補足が簡単（実行時においてすらも）
３．なぜ知識を自然言語（ふだんの言葉、方言、各国語）で表現するか？
 標準辞書の準備が、身近な（／独特の／独自の）知識を扱うのになじまないから
 ＡＩ研究者の間で、「オントロジー」と呼ばれる
 ネット上の圧倒的に膨大な自然言語をそのままヒントにできる可能性がより大き
いから

2. 2
©2017 ナレルシステム株式会社 All Rights Reserved.
４．HUMANOTE／中学＄PrologＶ３に何ができるか
 質問に対して証明付きで答え（真偽又は解集合）を探すこと（＝後向き推論）
① 自然言語パターンマッチングと再帰的三段論法のシームレスな統合
② 「ありえない」解の排除（倫理、営業、科学、技術的に）
③ 一般的、組織的、個人的な価値観、等「程度」の定義と推論への利用
 新しい事実や仮定（一時文脈）の入力に対してそれを前提とした新しいアイディア、
予測できること、診断結果、等を返すこと（＝前向き推論）
 「考えたふり」ではなく人間以上にマジメに考えるコンピュータの実用性を支え
るためのその他の補助機能
① 対話、話のタネ、時事情報を提供
1. タイマー（めざまし、ニュース、日報、暗記ノート、等の定時読み上げ）
2. 挨拶や案内のための特殊なパターンマッチング構文
3. マルチメディア（動画、静止画、音声、テキスト）による演出
4. 音声認識と音声合成（テキスト読み上げ）
5. 一時文脈管理
6. 状況フレーム管理
② 知識の補完
1. 利用者からの実行時情報収集（逆質問）
2. インターネットや共有フォルダからの実行時知識引用により、知識を補完
しつつアイディアを自動合成（新商品、マーケティング、段取、等）
１）公知の科学技術や社会問題やオープンデータ
２）所属組織の方針やノウハウ
３）利用者個人の独自発想
③ 知識記述コスト節約対策
1. ３つの NOT
2. 各種の OR
④ 推論の高速化系
1. 目視枝刈り
2. その他の時間節約
⑤ 基本知識・考え方・ポリシー等の暗記環境の提供、及び、考える力の向上
1. タイマーと音声合成による啓蒙・暗記ノート等の定時読み上げ実行環境
2. 根拠ツリーと思考トレース
3. 思考プログラミング開発環境

3. 3
©2017 ナレルシステム株式会社 All Rights Reserved.
５．何に応用できるか
 行政・企業・研究機関において、
① 自動的合成によるアイディアを担当者に提案
② 自動的情報伝達（ニュースや日報のオンデマンド自動読み上げ、自動コメント、
受付での会社案内）
 教育・学習・実習現場において
① 「考える力」（論理的思考力）と「いろんな考え方をコンピュータに考えさせ
ることができる力」（論理的プログラミング能力）を両方共もっているという
自信（Logical & Computational Thinking に対する）の醸成
② 受験や会社で必要な知識や技能を、自動的に暗記する機会と習慣を提供
 個にたいして
① 「深い」おしゃべり相手（目標、習慣、スケジュール、サークルニュース、思
い出、哲学等の自動管理）
② 学際的な知識を哲学的・体系的に整理し、個の生きがいと活躍につなげる創造
的な生涯学習ツールを提供
６．今後の予定（毎週、演習）
５月２６日 新製品のアイディア合成プログラミング（後向き推論、新ＮＯＴ、価値観）
６月 ２日 高度な探索をおこなってみよう（目視枝刈り、新旧ＮＯＴ、その他の高速化）
６月 ９日 自分の役に立つ啓蒙・暗記環境を作ってみよう（タイマー＋音声合成）
６月１６日 日報やニュースの読み上げ環境を作ろう（タイマー＋動的引用＋音声合成）
６月２３日 会社やお店の受付・案内システムを作ろう（音声認識＋マルチメディア）
７月１４日 診断型エキスパートシステムを作ろう！（音声認識＋前向き推論）
７月２１日 対話型分身ＡＩを作ろう！その１（音声認識＋価値観＋マルチメディア）
７月２８日 対話型分身ＡＩを作ろう！その２（あいさつ構文＋状況フレーム管理＋？）

4. 4
©2017 ナレルシステム株式会社 All Rights Reserved.
思考型！ＡＩプログラミング教室Ｖ３第１回Ｈ２９年５月２６日
ナレルシステム株式会社「ＨＵＭＡＮＯＴＥ/中学＄Prolog3」 http://knowrel.com/
2: ☆
3: ★実演１
4: ☆
5: 新製品$A の形状は$B :- $C 新製品は$A ; $B は魅力的 ;
6: ＣＦＲＰは軽くて強い
7: 球形は転がり易い
8: 当社の九谷新製品はおちょこ
9: ハート型は暖かい
10: 球形はシンプル
11: くちびる型は魅力的
12: ☆
13: ★実演２ ありえない解の排除
14: ☆
15: !$X に$Y を食べさせて儲ける :- $X は家畜 ; $Y は毒 ;
16: $X を使った$Y の廃棄物処理方法 :- $X に$Y を食べさせて儲ける ;
17: $X に$Y を食べさせて儲ける :- $X は$Y を食べる ;
18: ヤギは家畜
19: ヒ素のついた紙は毒
20: ヤギは菜種油のついた紙を食べる
21: ヤギはヒ素のついた紙を食べる
22: ☆
23: ★実演３ 価値観を考慮したアイディア絞り込み
24: ☆
25: <%一般的に大事
26: 家族の結婚式
27: 親友の結婚式
28: 赤ちゃんの誕生日
29: ペットの誕生日
30: >%一般的に大事
31: $X は$Y より一般的に大事 :> %一般的に大事 ; $X>$Y ;
32: $X があるので旅行を楽しむ :- $X は親友の結婚式より一般的に大事 ;
33: ☆
お問合せ先：中村圭介 +81-76-213-5211 (fax 213-5239) mail: info@humanote.xyz
再帰的三段論法付き
自然言語パターンマッチング
（言語検索と推論の統合）
？新製品＄Ｘ
？＄Ｘ方法
？＄Ｘ旅行を楽しむ

5. 5
©2017 ナレルシステム株式会社 All Rights Reserved.
「思考型！ＡＩプログラミング教室Ｖ３」 第 2 回 ２０１７年 6 月２日（金）１８～
＠「ＩＴビジネスプラザ武蔵」情報化研修室 by ナレルシステム（株）中村圭介
１．目視枝刈りとは何か？
目的
（ ）でない探索を省略して、（ ）を節約する
操作
「？新製品＄X」と質問、
途中 （ ）なさそうな項目をクリックして、（ ）中止
２、３種類の NOT
金沢は雨ふっている
金沢は一応晴れている ：－ ~金沢は雨ふっている ; ※不存在確認
金沢は地名
小松は地名
＄X は一応晴れている ：－ ＄X は地名 ; ~＄X は雨ふっている ; ※解をしぼる
！金沢は雨ふっている ※否定を徹底
＄X は雨ふっている ：－ ＄X は人々が傘をさしている；
金沢は人々が傘をさしている
？金沢は雨ふっている
３．もっと高速化するために
１）根拠ツリーのチェックをはずす
２）高速化のチェックをいれる
３）スローモーションのチェックをはずす
４）無限ループの非表示のチェックをいれる
５）変数と空文字のマッチのチェックをはずす
６）否定のチェックをはずす（利用しないとき）
７）プログラムの表現（効果、各条件）の右端か左端を（ ）にする

6. 6
©2017 ナレルシステム株式会社 All Rights Reserved.
思考型！ＡＩプログラミング教室Ｖ３第２回 Ｈ２９年６月２日
ナレルシステム株式会社「ＨＵＭＡＮＯＴＥ/中学＄Prolog3」 http://knowrel.com/
新製品$A の形状は$B :- $C 新製品は$A ; $B は魅力的 ;
ＣＦＲＰは軽くて強い
球形は転がり易い
当社の九谷新製品はおちょこ
ハート型は暖かい
球形はシンプル
くちびる型は魅力的
!$X に$Y を食べさせて儲ける :- $X は家畜 ; $Y は毒 ;
$X を使った$Y の廃棄物処理方法 :- $X に$Y を食べさせて儲ける ;
$X に$Y を食べさせて儲ける :- $X は$Y を食べる ;
ヤギは家畜
ヒ素のついた紙は毒
ヤギは菜種油のついた紙を食べる
ヤギはヒ素のついた紙を食べる
金沢は雨ふっている
金沢は一応晴れている ：－ ~金沢は雨ふっている ;
金沢は地名
小松は地名
＄X は一応晴れている ：－ ＄X は地名 ; ~＄X は雨ふっている ;
！金沢は雨ふっている
＄X は雨ふっている ：－ ＄X は人々が傘をさしている；
金沢は人々が傘をさしている
？金沢は雨ふっている
お問合せ先：中村圭介 +81-76-213-5211 (fax 213-5239) mail: info@humanote.xyz