모달 감시병 용 솔버

Question

모달 인식 기지 (지식 논리 논리)의 경우 (SMT 형) 솔버가 있습니까?

첫 번째 주문 (예상격이 아닌) 사건이 필요합니다.

Answer 1

모델 검사기 데모 (동적 인식 모델링)를 시도 할 수 있습니다.

Answer 2

여기에 몇 가지 관련 링크가 있습니다 :

모달 로직 솔버 :

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

  설명 논리 추론자 :

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

    동적 인형 모델링, PAL의 답변에서 언급되었습니다.

    • http://homepages.cwi.nl/~jve/demo/demo. PDF

      불행히도 모든 (AFAIK)은 제안 (첫 번째 주문이 아님)의 경우에만 작동합니다.