17 releases (4 breaking)
| 0.26.3 | Sep 14, 2024 |
|---|---|
| 0.26.2 | Sep 14, 2024 |
| 0.25.3 | Sep 12, 2024 |
| 0.25.1 | Aug 1, 2024 |
| 0.21.1 | Apr 14, 2024 |
#907 in Parser implementations
33 downloads per month
Used in babel_nar_cli
320KB
4.5K
SLoC
BabelNAR.rs
| 简体中文 | English |
|---|
🏗️项目的**英文文档**尚在筹建，有意者欢迎提交PR
Cargo状态：
开发状态：
简介
- 前身为BabelNAR.jl
- ✨为「非公理虚拟机模型」提供程序实现
- ✨统一各CIN的输入输出形式，聚合使用各大NARS实现
- ✨可由此进一步建立各类基于「NAVM模型」的工具
- 📄命令行接口 BabelNAR-CLI
使用
🏗️TODO（接受贡献）
CLI
构建上游Rust项目
亦可参见BabelNAR-CLI（源码）
概念
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
~1.7–3.5MB
~65K SLoC