119 downloads per month

MIT/Apache

185KB
3K SLoC

BabelNAR-CLI.rs

简体中文	English

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

Cargo状态：

开发状态：

简介

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

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

🏗️TODO（接受贡献）

🕒最后更新时间：【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	✅	✅	✅	❌	❌	❌

~17–33MB
~492K SLoC