🏗️项目的**英文文档**尚在筹建,有意者欢迎提交PR
The **English document** of the project is still under preparation. PR is welcome.
该项目使用语义化版本 2.0.0进行版本号管理。
一个对NARS进行统一输入输出建模的指令机架构库
- 承继于NAVM.jl
- 对NARS(非公理推理系统)进行统一抽象
(注:该库只是一个抽象模型与API,对于其在具体实现中的应用,请参考BabelNAR.rs)
NAVM对各版本NARS系统的抽象
更多有关NAVM概念的介绍,详见📝《概念》
NAVM.rs提供两个重要的输入输出数据类型:
任何能输入输出与NARS有关的程序,通过「Cmd
→程序专用输入」与「程序专用输出→Output
」,即可被抽象为NAVM。
这两种数据类型都提供至少一种统一的数据转换方式:
- NAVM指令:具有简单易读的类汇编语法,可与字符串
String
相互转换 - NAVM输出:可被转换为JSON对象,并且亦可从JSON对象中解析
- Julia前身:NAVM.jl
- Narsese支持:Narsese.rs