babel_nar
| Crates.io | babel_nar |
| lib.rs | babel_nar |
| version | 0.26.3 |
| source | src |
| created_at | 2024-04-13 10:34:03.789148 |
| updated_at | 2024-09-14 07:52:31.696835 |
| description | Implementation and application supports of the NAVM model |
| homepage | |
| repository | https://github.com/ARCJ137442/BabelNAR.rs |
| max_upload_size | |
| id | 1207494 |
| size | 339,913 |
Argon (ARCJ137442)
documentation
README
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 | ❌ | ❌ | ❌ | ❌ | ❌ | ❌ |