README.md

BabelNAR-CLI.rs

简体中文 | English

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

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

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

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

使用

• 依照使用 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)	✅	✅	✅	✅	✅	✅
OpenNARS(1.5.8)	✅	✅	✅	❌	❌	❌
ONA	✅	✅	✅	✅	❌	✅
PyNARS	✅	✅	❌	❌	❌	❌
CXinNARS	❌	❌	❌	❌	❌	❌
NARust-158	✅	✅	✅	❌	❌	❌

参考

• BabelNAR.rs