NAVM - 非公理虚拟机 | 非公理虚拟机

🏗️项目的**英文文档**尚在筹建，有意者欢迎提交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提供两个重要的输入输出数据类型：

• NAVM指令：用于统一表示对CIN的输入
• NAVM输出：用于统一表示CIN的输出

任何能输入输出与NARS有关的程序，通过「Cmd→程序专用输入」与「程序专用输出→Output」，即可被抽象为NAVM。

这两种数据类型都提供至少一种统一的数据转换方式：

• NAVM指令：具有简单易读的类汇编语法，可与字符串 String 相互转换
  • 详见NAVM指令/语法
• NAVM输出：可被转换为JSON对象，并且亦可从JSON对象中解析
  • 详见NAVM输出/JSON格式

参见

• Julia前身：NAVM.jl
• Narsese支持：Narsese.rs