前提逐次緩和記録法

🔼高階数理最適化
🔗DwG-2-対話篇：三位一体の知性
🔗DwG-2-30：前提逐次緩和記録法
🔗DwG-2-31

概要

• 「文字列S」と「共有したい知識K」が同値となるために必要な前提Cを逐次的に緩和しつつ、その前提Cの下でKと同値なSを記録する手法です。
• 前提逐次緩和記録法は、「記録するからには、後から誰が見返しても分かるような完璧な記録にしたい」という完璧主義と、時間・体力コストの有限性の折り合いを付けるための技術的かつ本質的な記録手法です。

定義(数式版)

前提逐次緩和記録法とは、任意の$i\in N$について$C_i⊢C_{i+1}$が成立する文脈族$C_i$と知識情報$K$に対して、次のような情報(主に文字列)族$S_i$を構築することです。
$C_0\to (K⟺S_0)$
$C_1\to (K⟺S_1)$
…
$C_n\to (K⟺S_n)$

定義(自然言語版)

「共有したい知識」と「その知識を表現した文章」が同じ意味を持つために必要な文脈を逐次的に削りつつ、その文脈の下で「共有したい知識」と同じ意味を持つ文章を記録する手法です。

性質

• $i$の値が大きくなるにつれ、文脈$C_i$は「緩く」なると言えます。それに伴い、$S_i$の記述は基本的に長大化していきます。

定義者

• aconite(『束跡』管理者)