DEMO can be tested by the URL below. デモ内容の追試験は以下からダウンロードして行うことができます https://github.com/keisukebecome/humanote_for_public/releases/tag/3.3.8.1b

1. １．小学生でも自由な言葉で
本格的な論理プログラミング
自然言語等による（連立）言葉方程式を使ったＰｒｏｌｏｇライクな思考プログラミング言語
アイスクリームは冷たい
冷たいは涼しくなる
$Aは$B :- $Aは$C ; $Cは$B ;
⇒？アイスクリームは＄Ｘ
例題１
１＿アイスクリーム.jpl
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介

2. ２．標準的なＰｒｏｌｏｇとの違い
Ｐｒｏｌｏｇの標準的な仕様のサブセットを以下の観点で独自に拡張
Ａ．自由な文型・語彙で事実や規則を記述
Ｂ．（）や，のない無境界ユニフィケーション
Ｃ．変数の束縛（探索）は基本的に幅優先
Ｄ．ネット等から最新知識の動的引用可能
Ｅ．強いＮＯＴ、各種ＯＲ、価値観定義等可
Ｆ．主プログラムを動的に切替え文脈管理
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介

3. ３．最新知識の動的な引用
ＰＣやＬＡＮ，インターネット上のテキスト（ルールも含んでよい）を動的にインライン化
///@１＿アイスクリーム.jpl
好きなものはアイスクリーム
私が食べているものは$A
:- 好きなものは$X ; $Xは$A ;
⇒？私が＄Ｘ
例題２
２＿私が.jpl
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介

4. ４．再帰的探索による解合成
記号デリミタやリスト構造を使わず文字列をマージして再帰的探索（移動手段系列の合成）
金沢から車で能登に行ける
大阪からＪＲ北陸線で金沢に行ける
大阪から新幹線で盛岡に行ける
盛岡から徒歩でぎゅうタン屋に行ける
豊中から阪急宝塚線で大阪に行ける
能登から船でへぐら島に行ける
$Xから$Yと$Zで$Dに行ける :- $Xから$Yで$Cに行ける ; $Cから$Zで$D
に行ける ;
⇒ ？豊中から$X
例題３
３＿豊中から.jpl
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介

5. ５．価値観の定義と比較
程度を順位で示す構文と順位を確認する構文を追加して、価値観に沿ったアイディア合成も
<%一般的に大事
家族の結婚式
親友の結婚式
赤ちゃんの誕生日
ペットの誕生日
>%一般的に大事
$Xは$Yより一般的に大事 :> %一般的に大事 ; $X>$Y ;
$Xがあるので旅行を楽しむ :- $Xは親友の結婚式より一般的に大事 ;
⇒ ？$Xので旅行を楽しむ
例題４
４＿申請アイディア.jpl
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介

6. ６．「べきでない」の強い否定
Ｐｒｏｌｏｇの場合は証明できなかったことを示すＮＯＴ⇒証明の成立を監視して否定も可能
!$Xに$Yを食べさせて儲ける :- $Xは家畜 ; $Yは毒 ;
$Xを使った$Yの廃棄物処理方法 :- $Xに$Yを食べさせて儲ける ;
$Xに$Yを食べさせて儲ける :- $Xは$Yを食べる ;
ヤギは家畜
ヒ素のついた紙は毒
ヤギは菜種油のついた紙を食べる
ヤギはヒ素のついた紙を食べる
⇒ ？$X儲ける
例題５
５＿処理アイディア.jpl
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介

7. ７．LinkedOpenＲＰＧ
多数の制作者がネット上でＲＰＧをつなげて広げることで多様な文脈・世界観を合成可能に
現在地=倉庫
◇何かを探す :- ~古い箱=解錠 ; ~古い箱=開梱済_ ; _ ; {*古い箱=施錠} ;
◇鍵を開ける :- 鍵発見=〇 ; 古い箱=施錠 ; _ ; {*鍵発見=使用済_} ; {*古い箱=解錠} ;
◇箱の中を見る :- 古い箱=解錠 ; _ ; {オルゴール発見=〇} ; {*古い箱=開梱済_} ; #I "hawai.jpg" ; #printm "上の絵
が描かれたオルゴールを発見しました" ;
◇空港に行く :- オルゴール発見=〇 ; _ ; #gof "komatsu.jpl" ;
◇奥に向かう :- #gof "backofwarehouse.jpl" ;
<*
◇チケットを買う :- 現在地=$A空港 ; 所持金=$B万円 ; {$B>=10} ; ~チケット購入済み=〇 ; _ ; 所持金=$B万円 ;
{$B=$B-10} ; {*所持金=$B万円} ; {*チケット購入済み=〇} ;
・・・
例題６
https://humanote.xyz/free/k2h2/warehouse.jpl
現在地=小松空港
◇土産物店に向かう :- #gof "miyage_j_a.jpl" ;
https://humanote.xyz/free/k2h2/komatsu.jpl
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介

8. ８．汎用ＡＩへのOurアプローチ
１）文脈（一時的文字列集合）に応じた主プログラムの動的切替と文脈自体の再帰的書換
２）目的別の文脈書換＆知識引用能力をもつプログラムをネットに散在させ汎用性を担保
自由文から
なる文脈
現在地は吹田
目的地は金沢
所持金は３万円
・・・
主ＰＧの動的切替
文脈の再帰的書換
ＰＧ
ＰＧ
ＰＧ ＰＧ
ＰＧ
ＰＧ
柔軟な
オントロジー
引用 引用
引用
引用
ネット等
・静的なリンクへの
人的操作、又は、
・最適ＰＧネット検索
切替
切替
切替
日本ソフトウエア科学会第３５回大会 ポスター＆デモ （Ｃ）ナレルシステム株式会社 中村圭介