Skip to content

Latest commit

 

History

History
84 lines (57 loc) · 3.79 KB

README.md

File metadata and controls

84 lines (57 loc) · 3.79 KB
Raw

BabelNAR.rs

简体中文 | English

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

Conventional Commits

该项目使用语义化版本 2.0.0进行版本号管理。

NAVM.rs对CIN的启动器、运行时及应用程序实现

  • 前身为BabelNAR.jl
  • ✨为「非公理虚拟机模型」提供程序实现
  • ✨统一各CIN的输入输出形式，聚合使用各大NARS实现
  • ✨提供一个方便使用的CLI工具，以便从配置中快速启动、测试各类NARS实现
    • 🎯一站式NARS启动器
    • 🎯NARS交叉测试工具

使用

CLI

  • 使用 JSON/HJSON 配置文件 (.json/.hjson)
    • 格式可参考项目测试代码
  • Rust调用侧：可参考项目测试代码

🏗️TODO（接受贡献）

概念

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

参考