이것은 최신 릴리스를 Spindle_all__2.2.4.zip으로 다운로드할 수 있는 SPINdle이라는 Windows 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks와 함께 SPINdle이라는 이 앱을 무료로 다운로드하여 온라인에서 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 모든 OS OnWorks 온라인 에뮬레이터를 시작하지만 더 나은 Windows 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Windows OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 애플리케이션을 다운로드하여 설치합니다.
- 7. Linux 배포 소프트웨어 저장소에서 Wine을 다운로드합니다. 설치가 완료되면 앱을 두 번 클릭하여 Wine과 함께 실행할 수 있습니다. 인기 있는 Windows 프로그램 및 게임을 설치하는 데 도움이 되는 Wine을 통한 멋진 인터페이스인 PlayOnLinux를 사용해 볼 수도 있습니다.
Wine은 Linux에서 Windows 소프트웨어를 실행하는 방법이지만 Windows가 필요하지 않습니다. Wine은 모든 Linux 데스크탑에서 직접 Windows 프로그램을 실행할 수 있는 오픈 소스 Windows 호환성 계층입니다. 본질적으로 Wine은 Windows가 필요하지 않고 모든 Windows 응용 프로그램을 실행할 수 있도록 Windows를 처음부터 충분히 다시 구현하려고 합니다.
스크린 샷
Ad
축
기술
SPINdle은 효율적인 방식으로 무효화 가능한 논리 이론의 결과를 계산하는 데 사용할 수 있는 논리 추론기입니다. 현재 구현에서는 기본 거부 가능 논리와 모달 거부 가능 논리를 모두 다룹니다.
특징
- Fact, Strict Rules, Defeasible Rules, Defeaters, Superiority 등 모든 규칙 유형의 반증 가능한 논리를 지원합니다.
- 모달 연산자 변환을 사용하여 Modal Defeasible Logic을 지원합니다.
- 부정 및 충돌(상호 배타적) 리터럴을 지원합니다.
- 거부 가능한 이론은 XML 및 일반 텍스트(미리 정의된 구문 포함)를 사용하여 나타낼 수 있으며 이론 및 해당 확장은 XML을 사용하여 내보낼 수도 있습니다.
- 표준 거부 가능한 논리 이론을 편집하기 위해 시각적 이론 편집기가 개발되었습니다. (자세한 내용은 프로젝트 홈을 참조하십시오.)
프로그래밍 언어
자바
카테고리
이것은 https://sourceforge.net/projects/spindlereasoner/에서 가져올 수도 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
