이것은 최신 릴리스를 BeliefReviser.zip으로 다운로드할 수 있는 Belief Reviser라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
Belief Reviser with OnWorks라는 이 앱을 무료로 다운로드하여 온라인으로 실행해 보세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린 샷
Ad
신념 개정자
기술
신념 수정은 지식 표현과 추론의 중심 주제입니다. 그것은 새로운 믿음을 통합하는 것으로 구성되어 있습니다.
일관성을 유지하면서 원래 믿음의 가능.
개정판은 항상 새로운 증거를 더 나은 믿음으로 간주합니다. 그러한 새로운 증거는 일반적으로
뒤에 보존되어야 하는 명제 공식의 형태로 표현
개정.
여기서 Δps(PS-Merge) 신념 병합 연산자는 제약 조건을 고려하기 위해 확장되며, 이 확장은 신념 수정을 위한 전략으로 사용됩니다. 새로운 증거는 확장 병합 연산자가 수정된 믿음 기반을 얻을 수 있도록 제약으로 처리됩니다.
기능
- 새로운 증거에 대한 신념 기반 K의 수정 μ
- 수식을 DNF로 자동 변환
- 간단하고 사용자 친화적
- 플랫폼 독립적
오디언스 (Audience)
과학/연구, 교육
사용자 인터페이스
자바 스윙
프로그래밍 언어
자바
카테고리
https://sourceforge.net/projects/beliefreviser/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
