computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 単一化アルゴリズム 『数理論理学: 合理的エ-ジェントへの応用に向けて』のわからないところを説明します。まずこの本の定義を引用していきます。用語と記法を一部書き直しています。 定義4.6 (単一化，単一化代入) 以上の整数 に対し、各 を項の集合とする。この集合のすべての要素に対し、 となるような代入 が存在するとき、この を集合 の単一化代入(unifier)と呼ぶ。また、このような単一化代入 を求め、 をそれぞれ に置き換える操作を単一化(unification)と呼ぶ。 定義 4.7 (不一致集合) 項の集合 を とする。各 に現れる記号(定数記号、変数、関数記号)を左から順にたどり共通しない記号が見つかっ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2024%2F07%2F27%2F144146" title="単一化アルゴリズム(2) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41EZ5GV0P4L._SL500_.jpg Hatena Blog https://hatena.blog 2024-07-27 14:41:46 rich https://computeralgebra.hatenablog.com/entry/2024/07/27/144146 1.0 100%