lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
해결하는 문제
PyReason은 시간적 및 실수 논리로 그래프 구조에 대해 설명 가능한 추론을 수행할 수 있는 도구입니다. 주석이 달리고 실수 값을 가지며, 그래프 기반 및 시간적 논리를 처리할 수 있는 추론 시스템의 필요성을 충족시키며, 사실과 논리 규칙의 집합으로부터 결론을 도출할 수 있게 해줍니다.
작동 방식
이 소프트웨어는 그래픽 추론 도구로 작동합니다. 초기 조건(사실)과 논리 규칙의 집합을 입력받아, 이 규칙들을 그래프 구조에 적용하여 추론하고 새로운 정보를 도출합니다.
대상 사용자
시간적 논리, 그래프 기반 추론, 설명 가능한 AI 추론이 필요한 연구자 및 개발자에게 적합합니다.
주요 특징
- 주석이 달리고 실수 값을 가지는 논리 지원.
- 시간적 논리와 그래프 기반 구조 처리 가능.
- 설명 가능한 추론 결과 제공.
- Python 3.7부터 3.10까지 호환되며, 3.9 및 3.10 버전에서는 멀티코어 병렬 처리 지원.
관련
- 프로젝트
- 프로젝트
- 프로젝트
- 프로젝트
- 프로젝트