Humanote workbook（問題集） and QA（質問回答）
0 likes193 views
自由文思考プログラミング環境「HUMANOTE」の問題集（回答はナレルシステムまでご要望ください）とFAQです
![2021/4/12 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 2/11
【問い】
-> ?僕が食べたものは$Y
【根拠ツリー】
====================================================
:$Y = からい
?僕が食べたものは$Y
[5] 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xは$Y ;
-
3 好きな食べ物はカレー
-
4 カレーはからい
=
6
「太郎と次郎と三郎は兄弟」とあるとき「$Aと$Bは兄弟」の解は︖
※１ ⾔葉⽅程式では、このような問題を「多⻑⼀致」を含む問題と呼ぶ。
※２ 「多⻑⼀致」は、「⾃由⽂」による思考プログラミング（論理プログラミングを含む）に特徴的な問題である。
2020/07/14
7
「ＨＵＭＡＮＯＴＥ／⾔葉⽅程式」における思考の完全性と健全性について例を挙げて説明せよ。
※１ 再現率・適合率との関係についても説明があるとなおよい。
※２ 偽陰性・偽陽性との関係にも⾔及するとなおよい。
※３ 理論と論理の関係と対⽐してふれてもよい。
2020/07/14
8
思考が完全でないと、どのように困ったことになるか。
※逆に完全「すぎる」と、どのように困ったことになりそうか。 2020/07/14
9
思考が健全でないと、どのように困ったことになるか。
※逆に健全「すぎる」と、どのように困ったことになりそうか。 2020/07/14
10
ID=5の問題において、⾔葉⽅程式「$A」の解はどのようになるか。
※「$A」は「知っている／証明できるすべての事実を答えよ」という意味になります。 2020/07/15
11
以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が$X」の解は︖
【知識リスト】
====================================================
2: 名前はけいすけ
3: 好きな食べ物はカレー
4: カレーならからい
5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ;
====================================================
2020/07/16
2020/07/20「は」を「な
ら」に改訂
12
以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が$X」の解は︖
【知識リスト】
====================================================
2: 名前はけいすけ
3: 好きな食べ物はカレー
4: カレーならからい
5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ;
6: からいなら汗がでる
7: 汗がでるならタオル必要
8: $Aなら$C :- $Aなら$B ; $Bなら$C ;
====================================================
※影響の基本的な連鎖です。
2020/07/20
13
以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が$X」の解は︖
【知識リスト】
====================================================
2: 名前はけいすけ
3: 好きな食べ物はカレー
4: カレーならからい
5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ;
6: からいなら汗がでる
7: 汗がでるならタオル必要
8: $Aなら$C :- $Aなら$B ; $Bなら$C ;
9: 汗がでるなら水が飲みたくなる
====================================================
※影響が枝分かれする場合です。
2020/07/21
14
以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が⾷べ$X」の解は︖
【知識リスト】
====================================================
2: 人間は考える葦である
3: 好きな食べ物はカレー
4: カレーならからい
5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ;
6: からいなら汗がでる
7: 汗がでるならタオル必要
8: $Aなら$C :- $Aなら$B ; $Bなら$C ;
9: 汗がでるなら塩を食べる
10: 塩を食べるならからい
====================================================
※影響が巡回する場合です。
2020/07/27
©2016-2020 ナレルシステム株式会社 All rights reserved.
☆備考
◆授業の例(2017.3.3登録のYoutube動画)
◆情報処理学会２０１９冬のプログラミングシンポジウム（2020.1.11)
◆HUMANOTEパンフレット⇒ HUMANOTEのみＰＤＦ
◆β版ダウンロード(WIN10⽤)⇒ VECTOR
◆全機能マニュアル（更新中β）
◆画⾯例](https://image.slidesharecdn.com/humanoteworkbookandqa-210411204903/85/Humanote-workbook-and-QA-2-320.jpg)
![2021/4/12 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 3/11
< 配布元︓ナレルシステム株式会社
責任者︓中村圭介
問合せ︓keisukebecome@icloud.com FAX:076-213-5239
ＨＰ等︓https://knowrel.com
Ｑ＆Ａ（Ａが「◆」の項⽬はkeisuke@marusei-sk.comまでお問合せください）
【Ｑ１】
Ｐｒｏｌｏｇとの違いは︖
【Ａ１】
Ｐｒｏｌｏｇは３０年前から勉強⽤に使っており、いまでも⼤変尊敬しております。Ｐｒｏｌｏｇにおける構成要件（条件⇒効果）の表現や⽂同⼠の単⼀化
（変数の束縛、すり合わせ）と同等のことができないと「論理的な思考」の最も重要な部分（述語論理の基本）のない「偏ったＡＩ教材」になるのでは︖と個⼈
的に考えてきました。
しかし、Ｐｒｏｌｏｇの「好き（太郎,花⼦）」という表現は、「太郎は花⼦が好き」等という⾃然な⽇本語に⽐べて、プログラム⾔語の引数表現や数学の２次
⽅程式の解表現に慣れていない⽅々（⼩学⽣や⼀般の⼤⼈）にとって、あまりなじみのあるものではなく、とにかく事実や規則を⾃分なりに書いてみることがで
きず、論理プログラミングや論理的思考を普及する妨げになってきたと考えております。
そこで、「太郎は花⼦が好き」「たろさは花ちゃんにほれぎみ」など、⾃由な「⽂型」と「語彙」（英語等も可）を許容しつつ、基本的な述語論理を、思考
（プログラミング）の⾃由と（形式的な）健全性に役⽴てられるシステムを⽬指し、１０年ぐらい前から開発してきました。
その他の違いとしましては、「，」、「（ ）」、「[ ]」、カットオペレータ等を基本的に使わないため、リスト表現や関数が現状で扱えないこと等です。
そのかわり、個⼈的価値観や、強い否定（科学的、道徳的禁⽌）、インターネットサイト等からの他⼈知識や最新情報の動的な引⽤を容易にしている、等のい](https://image.slidesharecdn.com/humanoteworkbookandqa-210411204903/85/Humanote-workbook-and-QA-3-320.jpg)
Humanote workbook（問題集） and QA（質問回答）
- 1. 2021/4/12 HUMANOTEの公開問題集 https://humanote.xyz/WORKBOOK/ 1/11 HUMANOTE/⾔葉⽅程式の公開問題集 ⼀⼈ひとりの⾔葉が、世界のＡＩたちの思考になる ⇒ 世界の多様性と思考の完全性（モレなく考える）への貢献の機会を⼀⼈ひとりのユーザーに ↓解答と詳しい解説については、電話:090-5347-2931 FAX:076-213-5239 ⼜はメール:info@humanote.xyzにてお問合せください。 問題Ｉ Ｄ 内容 公開⽇、更新⽇、等 1 「アイスクリームが好き」 のみとすると ⾔葉⽅程式「アイスクリームが$X」の答え（以後「⾔葉⽅程式の解」という）は何か︖ ※１ 「$X」は変数（へんすう）と呼ばれ、どんな⾔葉でも、⽂全体でもいれることができます。 ※２ このように変数を⼀つ以上含む問いは「オープンクエスチョン」と呼ぶことにします。 ※３ 「のみとする」ような考え⽅（他に知識がない閉じた世界を仮定すること）を「閉世界仮説」とよびます。 2020/07/11 2 「アイスクリームが好き」 のみとすると 問い「︖アイスクリームが好き」の答えは︖ ※１ このように変数（へんすう）がない問いは「クローズドクエスチョン」と呼ばれ、「はい／いいえ」で答えます。 2020/07/11 3 【知識リスト】「 アイスクリームが好き アイスクリームは冷たい 好きなものは$B :- $Aが好き ; $Aは$B ; 」 のみが与えられたとき、 ⾔葉⽅程式「好きなものは$X」の答え（解）は︖ ※１ 「好きなものは$B :- $Aが好き ; $Aは$B ;」のようなものを「ルール」（＝「推論規則」）と呼びます。 ※２ ルールの中では同じ変数には⼀通りの解釈（ぴったりした答えの割当）では同じ値（⽂字列）が⼊ります。 ※３ 複数通りの解釈では複数の値（の組合せ）が⼊る場合もあります。 ※４ 変数のスコープはそのルールの中だけです。変数の名前は別のルールには影響しません。 2020/07/13 4 【知識リスト】「 圭介はアイスクリームが好き アイスクリームは冷たい $Xが好きなものは$B :- $Xは$Aが好き ; $Aは$B ; 」 のみが与えられたとき、 ⾔葉⽅程式「$Xが好きなものは$Y」の答え（解）は︖ ※１ 「圭介はアイスクリームが好き」等、条件部分が存在しない⽂字列（「変数」もない）を「事案」と呼びます。 ※２ ５Ｗ１Ｈ等が特定された具体的な場⾯に当てはめた「事案」を「事実」（伝統的なPrologでは「fact」）と呼びま す。 ※３ 事実を⽰す⽂字列の⼀部（部分⽂字列）で表現された固有名詞（例「圭介」）は、同性同名の⼈たちではなく、同⼀ の⼈、物、出来事、等を指します。 2020/07/13 5 ⾔葉⽅程式において、複数の「事案／事実」と複数の「ルール」を組み合わせてできる「根拠ツリー」は、「理論」に近い か︖「論理」に近いか︖ ※例えば、以下の【知識リスト】（2-4は事実、5はルール）と【問い】と【根拠ツリー】があったとします。 【知識リスト】 ==================================================== 2: 名前はけいすけ 3: 好きな食べ物はカレー 4: カレーはからい 5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xは$Y ; ==================================================== 2020/07/13
- 2. 2021/4/12 HUMANOTEの公開問題集 https://humanote.xyz/WORKBOOK/ 2/11 【問い】 -> ?僕が食べたものは$Y 【根拠ツリー】 ==================================================== :$Y = からい ?僕が食べたものは$Y [5] 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xは$Y ; - 3 好きな食べ物はカレー - 4 カレーはからい = 6 「太郎と次郎と三郎は兄弟」とあるとき「$Aと$Bは兄弟」の解は︖ ※１ ⾔葉⽅程式では、このような問題を「多⻑⼀致」を含む問題と呼ぶ。 ※２ 「多⻑⼀致」は、「⾃由⽂」による思考プログラミング（論理プログラミングを含む）に特徴的な問題である。 2020/07/14 7 「ＨＵＭＡＮＯＴＥ／⾔葉⽅程式」における思考の完全性と健全性について例を挙げて説明せよ。 ※１ 再現率・適合率との関係についても説明があるとなおよい。 ※２ 偽陰性・偽陽性との関係にも⾔及するとなおよい。 ※３ 理論と論理の関係と対⽐してふれてもよい。 2020/07/14 8 思考が完全でないと、どのように困ったことになるか。 ※逆に完全「すぎる」と、どのように困ったことになりそうか。 2020/07/14 9 思考が健全でないと、どのように困ったことになるか。 ※逆に健全「すぎる」と、どのように困ったことになりそうか。 2020/07/14 10 ID=5の問題において、⾔葉⽅程式「$A」の解はどのようになるか。 ※「$A」は「知っている／証明できるすべての事実を答えよ」という意味になります。 2020/07/15 11 以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が$X」の解は︖ 【知識リスト】 ==================================================== 2: 名前はけいすけ 3: 好きな食べ物はカレー 4: カレーならからい 5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ; ==================================================== 2020/07/16 2020/07/20「は」を「な ら」に改訂 12 以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が$X」の解は︖ 【知識リスト】 ==================================================== 2: 名前はけいすけ 3: 好きな食べ物はカレー 4: カレーならからい 5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ; 6: からいなら汗がでる 7: 汗がでるならタオル必要 8: $Aなら$C :- $Aなら$B ; $Bなら$C ; ==================================================== ※影響の基本的な連鎖です。 2020/07/20 13 以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が$X」の解は︖ 【知識リスト】 ==================================================== 2: 名前はけいすけ 3: 好きな食べ物はカレー 4: カレーならからい 5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ; 6: からいなら汗がでる 7: 汗がでるならタオル必要 8: $Aなら$C :- $Aなら$B ; $Bなら$C ; 9: 汗がでるなら水が飲みたくなる ==================================================== ※影響が枝分かれする場合です。 2020/07/21 14 以下の【知識リスト】のみがあるとき、⾔葉⽅程式「僕が⾷べ$X」の解は︖ 【知識リスト】 ==================================================== 2: 人間は考える葦である 3: 好きな食べ物はカレー 4: カレーならからい 5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xなら$Y ; 6: からいなら汗がでる 7: 汗がでるならタオル必要 8: $Aなら$C :- $Aなら$B ; $Bなら$C ; 9: 汗がでるなら塩を食べる 10: 塩を食べるならからい ==================================================== ※影響が巡回する場合です。 2020/07/27 ©2016-2020 ナレルシステム株式会社 All rights reserved. ☆備考 ◆授業の例(2017.3.3登録のYoutube動画) ◆情報処理学会２０１９冬のプログラミングシンポジウム（2020.1.11) ◆HUMANOTEパンフレット⇒ HUMANOTEのみＰＤＦ ◆β版ダウンロード(WIN10⽤)⇒ VECTOR ◆全機能マニュアル（更新中β） ◆画⾯例
- 3. 2021/4/12 HUMANOTEの公開問題集 https://humanote.xyz/WORKBOOK/ 3/11 < 配布元︓ナレルシステム株式会社 責任者︓中村圭介 問合せ︓keisukebecome@icloud.com FAX:076-213-5239 ＨＰ等︓https://knowrel.com Ｑ＆Ａ（Ａが「◆」の項⽬はkeisuke@marusei-sk.comまでお問合せください） 【Ｑ１】 Ｐｒｏｌｏｇとの違いは︖ 【Ａ１】 Ｐｒｏｌｏｇは３０年前から勉強⽤に使っており、いまでも⼤変尊敬しております。Ｐｒｏｌｏｇにおける構成要件（条件⇒効果）の表現や⽂同⼠の単⼀化 （変数の束縛、すり合わせ）と同等のことができないと「論理的な思考」の最も重要な部分（述語論理の基本）のない「偏ったＡＩ教材」になるのでは︖と個⼈ 的に考えてきました。 しかし、Ｐｒｏｌｏｇの「好き（太郎,花⼦）」という表現は、「太郎は花⼦が好き」等という⾃然な⽇本語に⽐べて、プログラム⾔語の引数表現や数学の２次 ⽅程式の解表現に慣れていない⽅々（⼩学⽣や⼀般の⼤⼈）にとって、あまりなじみのあるものではなく、とにかく事実や規則を⾃分なりに書いてみることがで きず、論理プログラミングや論理的思考を普及する妨げになってきたと考えております。 そこで、「太郎は花⼦が好き」「たろさは花ちゃんにほれぎみ」など、⾃由な「⽂型」と「語彙」（英語等も可）を許容しつつ、基本的な述語論理を、思考 （プログラミング）の⾃由と（形式的な）健全性に役⽴てられるシステムを⽬指し、１０年ぐらい前から開発してきました。 その他の違いとしましては、「，」、「（ ）」、「[ ]」、カットオペレータ等を基本的に使わないため、リスト表現や関数が現状で扱えないこと等です。 そのかわり、個⼈的価値観や、強い否定（科学的、道徳的禁⽌）、インターネットサイト等からの他⼈知識や最新情報の動的な引⽤を容易にしている、等のい