-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Showing
3 changed files
with
75 additions
and
68 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
# BabelNAR.rs | ||
|
||
[简体中文](./README.md) | English | ||
|
||
🏗️The **English document** of the project is still under preparation. PR is welcome. | ||
|
||
[](https://conventionalcommits.org) | ||
|
||
Implementation and application supports of the NAVM model | ||
|
||
⚠️【2024-04-03 15:12:55】**This documentation is still in progress. For full and latest content, please refer to [the Simplified Chinese version](README.zh-cn.md).** |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,70 @@ | ||
# BabelNAR.rs | ||
|
||
English | [简体中文](README.zh-cn.md) | ||
简体中文 | [English](./README-en-us.md) | ||
|
||
🏗️项目的**英文文档**尚在筹建,有意者欢迎提交PR | ||
|
||
[](https://conventionalcommits.org) | ||
|
||
Implementation and application supports of the NAVM model | ||
该项目使用[语义化版本 2.0.0](https://semver.org/)进行版本号管理。 | ||
|
||
[**NAVM.rs**](https://github.com/ARCJ137442/NAVM.rs)对[CIN](#cin-computer-implement-of-nars)的**启动器**、**运行时**及应用程序实现 | ||
|
||
- 前身为[**BabelNAR.jl**](https://github.com/ARCJ137442/BabelNAR.jl) | ||
- ✨为「非公理虚拟机模型」提供程序实现 | ||
- ✨统一各[CIN](#cin-computer-implement-of-nars)的**输入输出**形式,聚合使用各大NARS实现 | ||
- ✨提供一个方便使用的CLI工具,以便从配置中快速启动、测试各类NARS实现 | ||
- 🎯一站式NARS**启动器** | ||
- 🎯NARS**交叉测试**工具 | ||
|
||
## 概念 | ||
|
||
### CIN (Computer Implement of NARS) | ||
|
||
- 「NARS计算机实现」之英文缩写 | ||
- 指代所有**实现NARS**的计算机软件系统 | ||
- 不要求完整实现NAL 1~9 | ||
|
||
### ***CommonNarsese*** | ||
|
||
🔗参考[**NAVM.jl**的对应部分](https://github.com/ARCJ137442/navm.jl?tab=readme-ov-file#commonnarsese) | ||
|
||
## 各CIN对接情况 | ||
|
||
🕒最后更新时间:【2024-03-26 01:43:28】 | ||
|
||
| CIN | 实现方法 | 进程安全 | 输入转译 | 输出转译 | | ||
| :---------- | :---------: | :--: | :--: | :--: | | ||
| OpenNARS | `java -jar` | ✅ | ✅ | 🚧 | | ||
| ONA | 直接启动exe | ✅ | ✅ | 🚧 | | ||
| PyNARS | `python -m` | ✅ | 🚧 | 🚧 | | ||
| NARS-Python | 直接启动exe | ❓ | ✅ | ❌ | | ||
| OpenJunars | `julia` | ✅ | ❌ | ❌ | | ||
|
||
注: | ||
|
||
- 🚧输入输出转译功能仍然在从[BabelNAR_Implements](https://github.com/ARCJ137442/BabelNAR_Implements.jl)迁移 | ||
- ❓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 | ❌ | ❌ | ❌ | ❌ | ❌ | ❌ | | ||
|
||
## 参考 | ||
|
||
⚠️【2024-04-03 15:12:55】**This documentation is still in progress. For full and latest content, please refer to [the Simplified Chinese version](README.zh-cn.md).** | ||
- [BabelNAR](https://github.com/ARCJ137442/BabelNAR.jl) | ||
- [BabelNAR_Implements](https://github.com/ARCJ137442/BabelNAR_Implements.jl) | ||
- [NAVM.rs](https://github.com/ARCJ137442/NAVM.rs) |
This file was deleted.
Oops, something went wrong.