babel_nar_cli 0.1.0

# BabelNAR-CLI.rs


简体中文 | [English](./README.en-us.md)

    🏗️项目的**英文文档**尚在筹建，有意者欢迎提交PR

[![Conventional Commits](https://img.shields.io/badge/Conventional%20Commits-1.0.0-%23FE5196?logo=conventionalcommits&logoColor=white)](https://conventionalcommits.org)

该项目使用[语义化版本 2.0.0](https://semver.org/)进行版本号管理。

[**BabelNAR.rs**](https://github.com/ARCJ137442/NAVM.rs)的命令行接口(CLI)

- ✨从配置中快速启动、测试各类NARS实现
  - 🎯一站式NARS**启动器**
  - 🎯NARS**交叉测试**工具

<!-- ## 安装 -->


<!-- * 📌【2024-04-10 10:19:40】有关具体环节，在crates.io中已经完善 -->


## 使用


- 依照使用 JSON/HJSON 配置文件 (`.json`/`.hjson`)
  - 格式可参考
    - `config_public` 中的配置文件
    - 项目测试代码
- Rust调用侧：可参考项目测试代码

🏗️TODO（接受贡献）

## 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 | ❌ | ❌ | ❌ | ❌ | ❌ | ❌ |

## 参考


- [BabelNAR.rs](https://github.com/ARCJ137442/BabelNAR.rs)