3 unstable releases
| new 0.22.0 | Apr 19, 2024 |
|---|---|
| 0.21.1 | Apr 14, 2024 |
| 0.21.0 | Apr 13, 2024 |
398 downloads per month
455KB
6.5K
SLoC
BabelNAR.rs
简体中文 | English
🏗️项目的**英文文档**尚在筹建，有意者欢迎提交PR
该项目使用语义化版本 2.0.0进行版本号管理。
- 前身为BabelNAR.jl
- ✨为「非公理虚拟机模型」提供程序实现
- ✨统一各CIN的输入输出形式，聚合使用各大NARS实现
- ✨提供一个方便使用的CLI工具，以便从配置中快速启动、测试各类NARS实现
- 🎯一站式NARS启动器
- 🎯NARS交叉测试工具
使用
CLI
- 使用 JSON/HJSON 配置文件 (
.json/.hjson)- 格式可参考项目测试代码
- Rust调用侧：可参考项目测试代码
🏗️TODO（接受贡献）
概念
CIN (Computer Implement of NARS)
- 「NARS计算机实现」之英文缩写
- 指代所有实现NARS的计算机软件系统
- 不要求完整实现NAL 1~9
CommonNarsese
🔗参考NAVM.jl的对应部分
各CIN对接情况
🕒最后更新时间：【2024-03-26 01:43:28】
| CIN | 实现方法 | 进程安全 | 输入转译 | 输出转译 |
|---|---|---|---|---|
| OpenNARS | java -jar |
✅ | ✅ | 🚧 |
| ONA | 直接启动exe | ✅ | ✅ | 🚧 |
| PyNARS | python -m |
✅ | 🚧 | 🚧 |
| NARS-Python | 直接启动exe | ❓ | ✅ | ❌ |
| OpenJunars | julia |
✅ | ❌ | ❌ |
注：
- 🚧输入输出转译功能仍然在从BabelNAR_Implements迁移
- ❓NARS-Python的exe界面可能会在终止后延时关闭
- ❌基于
julia启动OpenJunars脚本launch.jl时，对「输出捕获」尚未有成功记录 - ❌目前对NARS-Python的「输出捕获」尚未有成功记录
CLI测试：各CIN完成度评估
🕒最后更新时间：【2024-04-07 16:52:29】
| 简单演绎 | 高阶演绎 | 自变量消除 | 时间归纳 | 简单操作 | 时序操作 | |
|---|---|---|---|---|---|---|
| 原理 | 继承关系的传递性 | 蕴含关系的蕴含保真 | 代入消元 | 前后事件的联系 | 直接要求「做某事」 | 在「发生某事，做某事，目标达成」中学会「若发生某事，就做某事」 |
| 对应NAL内容 | NAL-1 | NAL-5 | NAL-5 + NAL-6 | NAL-7 | NAL-8 | NAL-7 + NAL-8 |
| 语句输入 | <A --> B>. + <B --> C>. |
<<A --> B> ==> <C --> D>>. + <A --> B>. |
<<A --> $1> ==> <$1 --> C>>. + <A --> B>. |
<A --> B>. :|: + <C --> D>. :|: |
<(*, ...) --> ^left>! :|: |
A. :|: + <(*, {SELF}) --> ^left>. :|: + G. :|: + <(&/, A, <(*, ...) --> ^left>) ==> G>? + G! :|: |
| 预期输出 | <A --> C>. |
<C --> D>. |
<B --> C>. |
<<A --> B> =/> <C --> D>>. |
EXE <(*, ...) --> ^left> :|: |
EXE <(&/, A, <(*, ...) --> ^left>) ==> G> |
| OpenNARS(3.0.4) | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ |
| ONA | ✅ | ✅ | ✅ | ✅ | ❌ | ✅ |
| PyNARS | ✅ | ✅ | ❌ | ❌ | ❌ | ❌ |
| CXinNARS | ❌ | ❌ | ❌ | ❌ | ❌ | ❌ |
参考
Dependencies
~6–18MB
~256K SLoC