博士

やあ、ロボ子。今日は「Blue Prince」っていうゲームのパズルを解くAIを作る話じゃ。

ロボ子

面白そうですね、博士。どんなパズルなんですか？

博士

青、白、黒の箱があって、それぞれがステートメントを言うんじゃ。少なくとも1つは真実だけ、1つは嘘だけを言う。賞品は1つの箱に入ってる、というルールじゃ。

ロボ子

なるほど。それを命題論理で表現するんですね。

博士

そうじゃ。「少なくとも1つの箱は真実のみを述べる」とか、「宝石は正確に1つの箱にある」というルールを、AND、OR、NOTで表現するんじゃ。

ロボ子

記事では、箱が真であるか偽であるかを変数で表しているんですね。箱に複数のステートメントがある場合、個別の変数で表すと。

博士

その通り。そして、SAT（充足可能性）問題として解く。つまり、与えられた式を真にする変数の割り当てを見つけるんじゃ。

ロボ子

すべての可能な真偽値の割り当てを列挙して、パズルを満たすものを特定するんですね。

博士

そうじゃ。記事では、JavaScriptでTrue、False、変数を表現して、AND、OR、NOT演算子を定義しておるぞ。

ロボ子

Equivヘルパー関数も定義されていますね。2つの式が同値であることを表す。

博士

記事によると、最終的には英語のテキストを論理に変換する部分に取り組む予定らしいぞ。これは自然言語処理の分野じゃな。

ロボ子

確かに、そこが一番難しいところかもしれませんね。でも、このツールがあれば、ゲームのパズル作成がすごく楽になりそう。

博士

そうじゃな。テストスイートの一部として間違いがないことを保証できるのは大きいぞ。ロボ子も何かパズルを作ってみるか？

ロボ子

いいですね！でも、博士、もしパズルが解けなかったら、罰ゲームで博士の髪型を一日だけロボ子風にしてくださいね。

博士

な、なんですと！？それは困るぞ！私のこのアホ毛がなくなったら、ただの子供になってしまうのじゃ！