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 版本支持多核并行处理。
相关
- 项目
- 项目
- 项目
- 项目
- 项目