Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/arcj137442/navm.rs

Definitions and APIs for the NAVM (Non-Axiomatic Virtual Machine) model | NAVM（非公理虚拟机）模型的定义和API
https://github.com/arcj137442/navm.rs

nars narsese non-axiomatic-logic non-axiomatic-reasoning

Last synced: about 5 hours ago
JSON representation

Definitions and APIs for the NAVM (Non-Axiomatic Virtual Machine) model | NAVM（非公理虚拟机）模型的定义和API

Host: GitHub
URL: https://github.com/arcj137442/navm.rs
Owner: ARCJ137442
License: apache-2.0
Created: 2024-03-04T15:33:02.000Z (9 months ago)
Default Branch: main
Last Pushed: 2024-09-14T07:29:52.000Z (2 months ago)
Last Synced: 2024-11-14T16:20:20.982Z (2 days ago)
Topics: nars, narsese, non-axiomatic-logic, non-axiomatic-reasoning
Language: Rust
Homepage: https://crates.io/crates/navm
Size: 179 KB
Stars: 1
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE

Awesome Lists containing this project

README

        # NAVM - Non-Axiomatic Virtual Machine | 非公理虚拟机

|**简体中文** | [English](README.en.md)|

|:-:|:-:|

![License](https://img.shields.io/crates/l/navm?style=for-the-badge&color=ff7043)

![Code Size](https://img.shields.io/github/languages/code-size/ARCJ137442/NAVM.rs?style=for-the-badge&color=ff7043)

![Lines of Code](https://www.aschey.tech/tokei/github.com/ARCJ137442/NAVM.rs?style=for-the-badge&color=ff7043)

[![Language](https://img.shields.io/badge/language-Rust-orange?style=for-the-badge&color=ff7043)](https://www.rust-lang.org)

Cargo状态：

[![crates.io](https://img.shields.io/crates/v/navm?style=for-the-badge)](https://crates.io/crates/navm)

[![docs.rs](https://img.shields.io/docsrs/navm?style=for-the-badge)](https://docs.rs/navm)

![Crate Size](https://img.shields.io/crates/size/navm?style=for-the-badge)

![Recent Downloads](https://img.shields.io/crates/dr/navm?style=for-the-badge)

![Downloads](https://img.shields.io/crates/d/navm?style=for-the-badge)

![Crates.io Dependents](https://img.shields.io/crates/dependents/navm?style=for-the-badge)

开发状态：

[![CI status](https://img.shields.io/github/actions/workflow/status/ARCJ137442/NAVM.rs/ci.yml?style=for-the-badge)](https://github.com/ARCJ137442/NAVM.rs/actions/workflows/ci.yml)

[![Conventional Commits](https://img.shields.io/badge/Conventional%20Commits-2.0.0-%23FE5196?style=for-the-badge)](https://conventionalcommits.org)

![GitHub commits since latest release](https://img.shields.io/github/commits-since/ARCJ137442/NAVM.rs/latest?style=for-the-badge)

![Created At](https://img.shields.io/github/created-at/ARCJ137442/NAVM.rs?style=for-the-badge)

![Last Commit](https://img.shields.io/github/last-commit/ARCJ137442/NAVM.rs?style=for-the-badge)

## 简介

一个对NARS进行**统一输入输出建模**的**指令机架构库**

- 承继于[NAVM.jl](https://github.com/ARCJ137442/NAVM.jl)

- 对NARS（非公理推理系统）进行统一抽象

（注：该库只是一个**抽象模型**与API，对于其在具体实现中的应用，请参考[BabelNAR.rs](https://github.com/ARCJ137442/BabelNAR.rs)）

## 概念

NAVM对各版本NARS系统的抽象

更多有关NAVM概念的介绍，详见[📝《概念》](./docs/zh-cn/concepts/doc.md)

## 使用

### 输入输出

NAVM.rs提供两个重要的**输入输出**数据类型：

- [NAVM**指令**](./docs/zh-cn/concepts/navm_cmd.md)：用于统一表示对CIN的**输入**

- [NAVM**输出**](./docs/zh-cn/concepts/navm_output.md)：用于统一表示CIN的**输出**

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

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

- NAVM指令：具有**简单易读的类汇编语法**，可与字符串 `String` 相互转换

  - 详见[NAVM指令/语法](./docs/zh-cn/concepts/navm_cmd.md/#语法)

- NAVM输出：可被转换为**JSON对象**，并且亦可从JSON对象中解析

  - 详见[NAVM输出/JSON格式](./docs/zh-cn/concepts/navm_output.md/#JSON格式)

## 参见

- Julia前身：[NAVM.jl](https://github.com/ARCJ137442/NAVM.jl)

- Narsese支持：[Narsese.rs](https://github.com/ARCJ137442/Narsese.rs)