Download Linnk AI
•
Research Assistant
>
Sign In
insight
-
論理プログラムの強い等価性の合成
論理プログラムの強い等価性を合成する: 第一階論理の Craig 補間を用いた答案集合プログラムのための Beth 定義可能性
論理プログラムP、Qと許可された述語集合Vが与えられた場合、PとQが強く等価になるようなプログラムRを効果的に構築できる。これは、第一階論理の Craig 補間を用いて実現できる。
1