Skip to content

Latest commit

 

History

History
74 lines (46 loc) · 3.49 KB

README.en.md

File metadata and controls

74 lines (46 loc) · 3.49 KB

NAVM - Non-Axiomatic Virtual Machine

简体中文 English

License Code Size Lines of Code Language

Cargo Status:

crates.io docs.rs Crate Size

Recent Downloads Downloads Crates.io Dependents

Development Status:

CI status Conventional Commits GitHub commits since latest release

Created At Last Commit

Introduction

A library of instruction machine architecture for unified input and output modeling of NARS.

  • Derived from NAVM.jl
  • Provides a unified abstraction for the NARS (Non-Axiomatic Reasoning System)

(Note: This library is only an abstract model and API. For its application in specific implementations, please refer to BabelNAR.rs)

Concepts

Abstraction of various versions of NARS systems by NAVM

For more information on NAVM concepts, see 📝 "Concepts"

Usage

Input and Output

NAVM.rs provides two important input and output data types:

  • NAVM Command: Used to uniformly represent input to CIN
  • NAVM Output: Used to uniformly represent the output of CIN

Any program that can input and output related to NARS can be abstracted as NAVM through 'Cmd → Program-specific input' and 'Program-specific output → Output'.

Both data types provide at least one unified method of data conversion:

  • NAVM Command: Features easy-to-read assembly-like syntax that can be converted to and from a string String
  • NAVM Output: Can be converted to a JSON object and can also be parsed from a JSON object
    • See [NAVM Output/JSON Format](./docs/en-us/concepts/navm_output.md/#JSON Format)

See Also