2 unstable releases
new 0.15.0 | May 9, 2024 |
---|---|
0.14.1 | Apr 13, 2024 |
#1237 in Parser implementations
144 downloads per month
Used in babel_nar
60KB
818 lines
NAVM - Non-Axiomatic Virtual Machine | 非公理虚拟机
🏗️项目的**英文文档**尚在筹建,有意者欢迎提交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
Dependencies
~0.8–1.1MB
~19K SLoC