-1
1 차 로직으로 모델을 개발 중입니다. 일관성이 있음을 증명하고 싶습니다. 가능한가? 이 작업을 수행하는 데 사용할 수있는 무료 도구가 있습니까?FOL 모델의 일관성 검사
또는 Godel 정리로 인해 불가능합니다.
감사합니다.
A
답변
0
예 모델의 일관성을 검사 할 수 있습니다. 그리고이 기능이 포함 된 몇 가지 무료 오픈 소스 도구가 있습니다 (예 : Protégé)
+0
Protégé는 FOL의 제한된 부분만을 다룹니다. 자세한 내용은이 질문에 대한 내 대답을 참조하십시오. –
관련 문제
- 1. glibc 힙 일관성 검사
- 2. MATLAB의 날짜 일관성 검사
- 3. Z3의 FOL 정의 이론
- 4. 데이터베이스 일관성 검사 프레임 워크
- 5. 레코드 업데이트시 레일 일관성 검사
- 6. 인터페이스 파일의 자동 일관성 검사
- 7. MySQL - SQL 서버 : 일관성 검사
- 8. Microsoft SQL 스크립트 복원 일관성 검사 해제
- 9. 컴파일시 벡터 수학 차원 일관성 검사
- 10. 큰 쿼리에서 일관성 검사 건너 뛰기
- 11. 플라스크/MongoDB를 웹 애플리케이션 일관성 검사
- 12. db에 대한 파일 시스템 일관성 검사
- 13. MVC 모델의 실시간 유효성 검사
- 14. RoR에서 관계 모델의 유효성 검사
- 15. OOB 오류율과 혼동 행렬의 일관성
- 16. 일관성
- 17. 일관성
- 18. 일관성 있음 피어 투 피어 배포 모델의 구현을 해싱하고 있습니까?
- 19. 레일에있는 각 모델의 유효성 검사 파일을 구분하십시오.
- 20. 다른 모델의 데이터를 사용하여 레일 유효성 검사
- 21. 뷰 모델의 하위 모델 유효성 검사
- 22. yii2 모델의 사용자 지정 유효성 검사
- 23. 모델의 DB 외부 키 유효성 검사
- 24. 레일즈 - 다른 모델의 필드 유효성 검사
- 25. MVC 3 모델의 면도기 부분 유효성 검사
- 26. 모델의 유효성 검사 속성 상속 금지
- 27. CakePHP 모델의 이미지 크기 유효성 검사
- 28. 테이블이없는 모델의 필드 유효성 검사 (CakePHP)
- 29. 다른 집계와의 관계가있는 집계 작성시 DDD 일관성 검사
- 30. Java에서 모델 유효성 검사 및 일관성 검사를 처리하는 방법
이것은 프로그래밍과 관련이 없기 때문에 Maths StackExchange 그룹에서 더 잘 질문 할 것입니다. – MattClarke