どうすればええんや……
ダイクストラ法とかA*アルゴリズムとか応用できそう？
述語論理の推論を応用してどうのこうの
もう何も考えずに大規模言語モデルにぶち込めばええんやという気もする。