11 个不稳定版本 (3 个破坏性更新)
| 新功能 0.25.1 | 2024年8月1日 |
|---|---|
| 0.25.0 | 2024年8月1日 |
| 0.24.7 | 2024年6月16日 |
| 0.22.0 | 2024年4月19日 |
| 0.21.1 | 2024年4月14日 |
#796 在 解析器实现
每月下载量 199 次
495KB
7.5K SLoC
BabelNAR.rs
简体中文 | 英文
🏗️项目的**英文文档**尚在筹建，有意者欢迎提交PR
该项目使用语义化版本 2.0.0进行版本号管理。
- 前身为BabelNAR.jl
- ✨为「非公理虚拟机模型」提供程序实现
- ✨统一各CIN的输入输出形式，聚合使用各大NARS实现
- ✨提供一个方便使用的CLI工具，以便从配置中快速启动、测试各类NARS实现
- 🎯一站式NARS启动器
- 🎯NARS交叉测试工具
使用
CLI
- 使用 JSON/HJSON 配置文件 (
.json/.hjson)- 格式可参考项目测试代码
- Rust 调用侧：可参考项目测试代码
🏗️待办事项（欢迎贡献）
概念
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>. :|: |
<(*, ...) --> ^左>! :|: |
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 | ❌ | ❌ | ❌ | ❌ | ❌ | ❌ |
参考
依赖项
~6–20MB
~253K SLoC