حلول للمنطق المعرفي مشروط

Question

هل هناك أي حلول (مثل SMT) للمنطق المعرفي المشروط (المعروف أيضًا باسم منطق المعرفة)؟

أحتاج إلى حالة من الدرجة الأولى (ليست مجرد حالة افتراضية).

Answer 1

يمكنك تجربة عرض المدقق النموذجي (النمذجة المعرفية الديناميكية).

Answer 2

فيما يلي بعض الروابط ذات الصلة:

الحلول المنطقية المشروطة:

• http://www.cs.man.ac.uk/~schmidt/tools/
• http://www.irit.fr/Lotrec/
• http://twan.home.fmf.nl/moltap/index.html
• http://www2.tcs.ifi.lmu.de/~mlange/papers/m4m-6.pdf

وصف المفسرين المنطق:

• http://www.cs.man.ac.uk/~sattler/reasoners.html

النمذجة المعرفية الديناميكية المذكورة في إجابة بال.

• http://homepages.cwi.nl/~jve/demo/DEMO.pdf

لسوء الحظ، جميعهم (AFAIK) يعملون فقط في الحالة المقترحة (ليست من الدرجة الأولى).