BabelNAR.rs

🏗️项目的**英文文档**尚在筹建，有意者欢迎提交PR

Cargo状态：

开发状态：

简介

NAVM.rs对CIN的启动器、运行时及应用程序实现

• 前身为BabelNAR.jl
• ✨为「非公理虚拟机模型」提供程序实现
• ✨统一各CIN的输入输出形式，聚合使用各大NARS实现
• ✨可由此进一步建立各类基于「NAVM模型」的工具
  • 📄命令行接口 BabelNAR-CLI

使用

🏗️TODO（接受贡献）

CLI

参见BabelNAR-CLI

构建上游Rust项目

亦可参见BabelNAR-CLI（源码）

概念

CIN (Computer Implement of NARS)

• 「NARS计算机实现」之英文缩写
• 指代所有实现NARS的计算机软件系统
  • 不要求完整实现NAL 1~9

CommonNarsese

🔗参考NAVM.jl的对应部分

各CIN对接情况

🕒最后更新时间：【2024-03-26 01:43:28】

注：

• 🚧输入输出转译功能仍然在从BabelNAR_Implements迁移
• ❓NARS-Python的exe界面可能会在终止后延时关闭
• ❌基于julia启动OpenJunars脚本launch.jl时，对「输出捕获」尚未有成功记录
• ❌目前对NARS-Python的「输出捕获」尚未有成功记录

参考

• BabelNAR
• BabelNAR_Implements
• NAVM.rs