babel_nar_cli

Crates.iobabel_nar_cli
lib.rsbabel_nar_cli
version0.3.1
created_at2024-09-12 16:56:31.602162+00
updated_at2024-09-14 08:36:50.54286+00
descriptionCommand Line Interface (CLI) of BabelNAR.rs
homepage
repositoryhttps://github.com/ARCJ137442/BabelNAR-CLI.rs
max_upload_size
id1372960
size257,404
Argon (ARCJ137442)

documentation

README

BabelNAR-CLI.rs

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

License Code Size Lines of Code Language

Cargo状态：

crates.io docs.rs Crate Size

Recent Downloads Downloads Crates.io Dependents

开发状态：

CI status Conventional Commits GitHub commits since latest release

Created At Last Commit

简介

BabelNAR.rs的命令行接口(CLI)

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

使用

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

🏗️TODO（接受贡献）

CLI测试：各CIN完成度评估

🕒最后更新时间：【2024-09-13 01:34:32】

简单演绎 高阶演绎 自变量消除 时间归纳 简单操作 时序操作
原理 继承关系的传递性 蕴含关系的蕴含保真 代入消元 前后事件的联系 直接要求「做某事」 在「发生某事，做某事，目标达成」中学会「若发生某事，就做某事」
对应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) ✅ ✅ ✅ ✅ ✅ ✅
OpenNARS(1.5.8) ✅ ✅ ✅ ❌ ❌ ❌
ONA ✅ ✅ ✅ ✅ ❌ ✅
PyNARS ✅ ✅ ❌ ❌ ❌ ❌
CXinNARS ❌ ❌ ❌ ❌ ❌ ❌
NARust-158 ✅ ✅ ✅ ❌ ❌ ❌

参考

Commit count: 125

cargo fmt