这是名为 Belief Reviser 的 Linux 应用程序，其最新版本可以作为 BeliefReviser.zip 下载。它可以在免费的工作站托管提供商 OnWorks 中在线运行。
免费下载并在线运行这个名为 Belief Reviser with OnWorks 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
截图：
信念修订者
描述：
信念修正是知识表示和推理的中心话题。 它包括融入一个新的信念，改变最少
在保持一致性的同时，使原始信念成为可能。
修订总是将新证据视为更好的信念。 这种新证据通常是
以命题公式的形式表示，该公式必须保留在
修订。
在这里，Δps（PS-Merge）信念合并算子被扩展以考虑约束，并且这个扩展被用作信念修正的策略。 新证据被视为约束，因此扩展合并算子可以获得修正的信念基础。
特征
- 对新证据 μ 的信念基础 K 的修订
- 自动将公式转换为 DNF
- 简单且用户友好
- 平台无关
目的
科学/研究，教育
用户界面
Java秋千
程式语言
爪哇岛
分类目录
这是一个也可以从 https://sourceforge.net/projects/beliefreviser/ 获取的应用程序。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。