HUMANOTE(LOCAL版)

FIRST LOCAL VERSION ♪

発明～道徳・価値観に必要な「完全に自由な文」による思考プログラミング

ログイン(GUESTでお願いします)

Youtube: 例題１２３４５６

□言葉方程式

□自由文発明プログラミング

□自由文道徳プログラミング

□自由文道徳プログラミング２応用編

□自由文思考プログラミングFAQ

◆変数名や関数名の一文字の違いや表記ゆれをどう考える？
↓
プログラミング言語では、一般に、変数名や関数名の一文字の違いは、全く異なる動作になる（必要により技とである）。これは、自由文思考プログラミングでも同じである。ただし、変数名や関数名の名前そのものが自然言語としての伝統的な語感として自動的に機能しうるところが、他のプログラミング言語とは際立って異なる。しかし、同じ意味のものはなるべく同じ文体の日本語で表現したほうがよい。文体の違いや表記ゆれにより、意味の関連づけに失敗する場合には、ORルール等により明示的に表現を変換して解消することもできる。

(2022/09/24 中村）

◆法令、道徳、マナー、格言なども生活に応用できるようプログラミングできますか？
↓
おおよそ、できます。難しい法令（特許法第４１条など）は、多段の構成要件に（再帰的に）分解しましょう。格言は推論規則の節形式（ルール）ではなく平叙文（Prologでいえば事実FACT）として表現してもよいし、推論規則（「ルール」と呼ぶ。いわゆる「ホーン節」等）に分解してもよいです。ルール形式になっていなくても、一つの平叙文の影響は絶大です。ルールの要件部とのパターンマッチングで平叙文の部分文字列を推論文脈にすくいあげることができるからです。

(2022/09/24 中村）

◆利用者でなくAIが自動証明したり自動探索・解合成したりすると、「人間の」考える練習にならないのでは？（Ｋ学園中学校Ｙ様）
↓
AIが自動証明したり自動探索・解合成する目的は、独自の新たな課題を感じた子供の勉強が完全でなかったり、同じく高齢者の頭が疲れていたりしても、モレなくミスなく思考して、正しい判断をあらゆる世代（小学生～高齢者）に提供することです。しかし、AIに、同様の問題(パラメータや解法が微妙に違うクローン問題等）を何度も解かせて、子供にその思考過程（論理ツリー証明トレース）や結果（解集合）を見せることで、証明・探索・解合成に必要な「本質的な知識と考え方」に「何度もふれる機会」を提供し、本質的な思考パターンを抽出する機会（「遊び」ともいう）を子供に何度も与えます。これは、おおいに「考える練習」になり、「子供独自の新たな課題」だけでなく「一般的な社会課題」等を解決する力に結びつくと思っています。そもそも、すべての知識（法律、道徳・倫理、価値観・心理、科学技術、既存発明、等）の勉強は個人（ましてや子供）が完全にやりきれるものではなく、仮に勉強できたとしても頭が疲れている（高齢者と同様）ことも多く、必ずAIの力を借りる時代がくると思われます。そのときに、問題や仮定を正しく定義（今の「ファウンデーションモデル」でいう「プロンプト」）してAIに対し「自分の言葉で問う練習」が大事になってくると思われます。それぞれの子供の思考（仮定と問い）の独自性とそれによる想像と創造の多様性は、AI時代にも、尊いことにかわりありません。そのように思っています。（２０２２年０９月２７日追記）

□自由文演繹

□自由文格闘プログラミング

□自由文戦術プログラミング

□自由文思考プログラミング

□HUMANOTE

□哲学プログラミング

□中学$Prolog

□論理サーフィンブラウザ

□LinkedOpenRule

□LinkedOpenRPG

□ソウゾウ虫

□自然文推論

□道徳・倫理・価値観の様々な自然言語表現に適した「強い否定」

◆特許／特許出願
３０件程度
→J-PLATPAT

【準備】
01	HUMANOTE-LOCALの画面であることを確認します。
02	画面右下の黄色欄の[ALL_CLEAR]を押してノートを初期化します。「本当に・・・しますか？」の画面で [ＯＫ]を押します。
03	ピンク色欄の下の[HOME]を押します。押すとHOMEリストが表示されます。HOMEリストには、ぜひとも最初に学習したい９つの知識リストがジャンプ先として設定されています。HOMEの中身は、利用者様が後々、独自の知識リストやジャンプ先（ネット上／ローカルＰＣ上）となる一覧メニュー等に内容変更することもできます。一つ一つの知識リストは、ネット上にあるものも、ローカルＰＣ上にあるものも、事実（平叙文）、推論規則、価値観の序列、制御文、最新ネット引用命令、等を組み合わせた複数行からなるまとまった知識を構成します。
04	「①推移律（アイス）～⑨」が表示されます(左上ピンク色欄)。
【例題①】風が吹けば桶屋（おけや）がもうかる
05	[①推移律（アイス）]を押します(左上ピンク色欄)。
05A	ピンク色欄の[NET_URI+]を押して、ネットの知識リスト（①推移律）を確認します。
05B	水色欄下の[□c]がチェックしてあることを確認します。詳細な思考ログを確認可能なモードです。
06	[例題①]を押して、質問文を送ります(左上ピンク色欄)。
07	解が表示されるので、確認します(中央)。
07A	推論規則にしたがって、影響が波及していることを確認します。
07B	影響の波及は、前向き推論でも後ろ向き推論でも、すべての推論の基本となります。
08	◆STACKの[BACK]を押します。HOMEリストが表示されます
【例題②】知識は全部自分で入力するの？ ⇒ ネットや友達から引用！
09	[②動的引用(アイス）]を押します(左上ピンク色欄）。
10	[例題②]を押して、質問文を送ります
11	解が表示されるので、確認します
12	[ＢＡＣＫ]を押します。HOMEリストが表示されます。
【例題③】用意した答えしかでないの？ ⇒ 場合に応じて合成するよ！
13	[③交通経路（手段一般）の合成]を押します
14	[例題③]を押して、質問文を送ります
15	解が表示されるので、確認します
16	[BACK]を押します。HOMEリストが表示されます
【例題④】価値観がそれぞれ違うけど？ ⇒ 違う合成結果になるよ！
17	[④価値観(一般的に大事)]を押します
18	[例題④]を押して、質問文を送ります
19	解が表示されるので、確認します
20	[BACK]を押します(左)。HOMEリストが表示されます
【例題⑤】科学・道徳でありえない答えまで合成？ ⇒ 効率的に避けられるよ！
21	[⑤強い否定(科学的／道徳的)]を押します
22	[例題⑤]を押して、質問文を送ります
23	解が表示されるので、確認します
24	[BACK]を押します(左)。HOMEリストが表示されます
【例題⑥】代入とか普通のプログラミングも？
25	[⑥代入]を押します
26	[例題⑥]を押して、質問文を送ります
27	解が表示されるので、確認します
28	[BACK]を押します(左)。HOMEリストが表示されます
【例題⑦】比較文は？


【対応している推論規則・機能】
・	自由な言葉による三段論法（演繹、ＡＮＤ）
・	多長一致
・	否定（証明の失敗）
・	否定（科学的・道徳的）
・	価値観の定義（程度の比較）
・	ネット知識の引用
・	推論トレース
・	根拠ツリー（推論高速化時は保証できない（TODO：改修予定））
【対応していない推論規則・機能】
ａ）	目視枝刈り
ｂ）	アンケートからの機械学習（ホーン節）
ｃ）	推論規則（ＯＲ，重み付ＯＲ，あいさつ，表記ゆれ解消，逆質問，・・・等）
ｄ）	アドベンチャーゲームモード（ＬｉｎｋｅｄＯｐｅｎＲＰＧ）
ｅ）	メニューボタンモード
【今後対応していくTODO】
１）	根拠ツリーの高速化
２）	推論高速化時の根拠ツリーの乱れの除去
３）	ユーザーテキスト（ｈｍＮ＿テキスト）パスの短縮化