 | 개별 이벤트 미적분 추론자이산 이벤트 Calculus Recomeer는 자동 상환제 추론을 수행하기위한 오픈 소스 프로그램입니다. |
| 지금 다운로드 | |
개별 이벤트 미적분 추론자 순위 및 요약
광고
개별 이벤트 미적분 추론자 태그
개별 이벤트 미적분 추론자 설명
개별 이벤트 Calculus Recomeer는 자동화 된 공집자 추론을 수행하기위한 오픈 소스 프로그램입니다. 개별 이벤트 계산권은 포괄적이고 고도로 사용 가능한 논리 기반 형식 무주인 인 이벤트 미적분을 사용하여 자동화 된 공재 추론을 수행하기위한 오픈 소스 프로그램입니다. 이벤트 이벤트 미적분 추론자는 SAT (sefirmibility) 문제로 변환하여 효율적으로 문제를 해결합니다. "개별 이벤트 미적분 추론자"의 특징 : · 99 예제 · 12 페이지 사용자 설명서가 제공됩니다. · 공제 / 시간적 투영, 납치 / 계획, 출고 및 모델 발견 · 행동, 변경, 공간 및 정신 상태 · 지능형 사용자 인터페이스, 비즈니스 시스템, 자연 언어 이해 및 컴퓨터 비전에 유용합니다. · 응용 프로그램은 세계를 이해하고, 추론, 예기치 않은 상황에 적응하며,보다 유연한 · 공통의 공개 라이센스 v1.0requirements에서 릴리스됩니다. 개별 이벤트 미적분 추론자는 Linux 또는 Windows + Cygwin, Python, PLY 및 하나 이상의 SAT 솔버가 필요합니다. RELSA T (권장), 걷는 것, 미니 티트. 다음은 "개별 이벤트 Calculus Roseer"의 몇 가지 주요 기능이 있습니다. · 99의 예가 제공됩니다 · 12 페이지 사용자 매뉴얼이 제공됩니다 · 공제 / 시간적 투영, 납치 / 계획, 출고 및 모델 찾기 지원 · 행동, 변경, 공간 및 정신 상태에 대한 기본 추론을 허용합니다. · 지능형 사용자 인터페이스, 비즈니스 시스템, 자연 언어 이해 및 컴퓨터 비전에 유용합니다. · 신청서는 세계를 이해하고 추론을하고 예상치 못한 상황에 적응하며 더 유연합니다. · 공통 공개 라이센스 v1.0에서 릴리스되었습니다 요구 사항 : · 개별 이벤트 미적분 추론자는 Linux 또는 Windows Cygwin, Python, PLY 및 하나 이상의 SAT 솔버가 필요합니다. Relsat (권장), Walksat 및 MiniSat.
개별 이벤트 미적분 추론자 관련 소프트웨어
