Narsese.rs

🕒最后更新时间：【2024-09-14 10:19:55】

Cargo状态：

开发状态：

简介

该项目使用语义化版本 2.0.0进行版本号管理。

Narsese的Rust实现

• ✨基于枚举enum类型实现的枚举Narsese
• ✨基于「嵌套字串词法树」实现的词法Narsese
• 🏗️一个可用于在Rust中开发NARS的Narsese API（开发中）

安装

（最后更新：2024-04-10）

作为已发布于crates.io的Rust库，可直接在Cargo.toml中添加依赖：

[dependencies.narsese]
version = "0" # 请按需选择合适的最新版本，必要时参考crates.io的对应侧边栏
features = ["bundled"] # 启用所有特性，包括「枚举Narsese」和「词法Narsese」

库特性列表：

• bundled：启用所有特性
• enum_narsese：启用「枚举Narsese」
• lexical_narsese：启用「词法Narsese」

使用

（最后更新：2024-03-29）

使用/枚举Narsese

use narsese::enum_nse;

fn main() {
    // 使用快捷宏解析创建Narsese（需要保证语法正确，否则panic） //
    let term = enum_term!(<A --> B>);
    let sentence = enum_sentence!("<SELF {-] good>!");
    let task = enum_task!($0.8;0.8;0.8$ <robin --> bird>?);

    // 输出 / 检验 //
    println!("{term:?}");
    assert_eq!(term, enum_nse!("<A --> B>").try_into_term().unwrap()); // 字符串形式的解析结果与之相等，并使用`try_into_term`进行向下转换
    println!("{sentence:?}");
    println!("{task:?}");
}

使用/词法Narsese

use narsese::lexical_nse;

fn main() {
    // 使用快捷宏解析创建Narsese（需要保证语法正确，否则panic） //
    let term = lexical_term!(<A --> B>);
    let sentence = lexical_sentence!("<SELF {-] good>!");
    let task = lexical_task!($0.8;0.8;0.8$ <robin --> bird>?);

    // 输出 / 检验 //
    println!("{term:?}");
    println!("{sentence:?}");
    println!("{task:?}");
}

（更多用例可参考项目的单元测试）

🚧【2024-03-29 00:43:13】WIP：更具体的用例

使用/Narsese API

🚧【2024-04-05 00:09:03】WIP：基础功能

概念

枚举Narsese

✨基于Rust原生枚举enum特性实现

• ✅语义精确性
  • 集合语义：元素无序的复合词项中，语义顺序无关
  • 真值/预算值 语义：存储具体的、范围固定的浮点数值
• ✅结构易用性
  • Narsese完备：实现了CommonNarsese的所有数据结构

词法Narsese

✨基于「嵌套字串词法树」实现

• ✅结构完备性
  • 词法完备：实现了CommonNarsese的所有词法结构，如「复合词项」「陈述」「语句」「任务」
• ✅数据灵活性
  • 非类别特定：不特别限定「原子词项前缀」「复合词项连接词」「陈述系词」的范围
  • 可扩展：通过「词法折叠」机制，允许向特定、专用数据结构的进一步转换
    • ✅已对枚举Narsese提供了「词法折叠」机制

NarseseAPI

（最后更新：2024-04-05）

• 🎯可扩展性
  • 通过traits，统一表述并定义「具体结构无关」的抽象特征
• 🎯兼容性
  • 📌基于CommonNarsese特性：在「原子/复合/陈述」的模型中，抽取出有关CommonNarsese所必备的语义特征
  • 📄如：Narsese值、词项类别、词项容量、内部词项获取 等概念

标准ASCII词法

（最后更新：2024-04-05）

可作为CommonNarsese词法解析器（同时用于下游NAVM、BabelNAR）的「标准ASCII词法」

该定义兼容OpenNARS wiki的Narsese语法， 一些不同之处与设计原则在于：

• 📌一种形式只有一种表达方法：语义相同的词项，必定有相同的表示形式（重点在对「复合词项」表示形式的限定上）
• 📌不是「内容特定」的：「ASCII词法Narsese」通过「不特定做枚举」给自定义词项（原子/复合/陈述）留足了空间
• 📌任务→语句 单义性：对「缺省预算值的任务」，预算值的缺省总会导致解析器识别成「语句」，不产生任何歧义

使用如下PEG文法定义：

/// 空白符 | 所有Unicode空白符，解析前忽略
WHITESPACE = _{ WHITE_SPACE }

/// 总入口：词法Narsese | 优先级：任务 > 语句 > 词项
narsese = {
    task
  | sentence
  | term
}

/// 任务：有预算的语句
task = {
    budget ~ sentence
}

/// 预算值 | 不包括「空字串」隐含的「空预算」
budget = {
    "$" ~ budget_content ~ "$"
}
/// 预算值内容
budget_content = {
    (truth_budget_term ~ (";" ~ truth_budget_term)* ~ ";"*)
  | "" // 空预算（但带括号）
}
/// 通用于真值、预算值的项 | 用作内部数值，不约束取值范围
truth_budget_term = @{(ASCII_DIGIT|".")+}

/// 语句 = 词项 标点 时间戳? 真值?
sentence = {
    term ~ punctuation ~ stamp? ~ truth?
}

/// 词项 = 陈述 | 复合 | 原子
term = {
    statement | compound | atom
}

/// 陈述 = <词项 系词 词项>
statement = {
    "<" ~ term ~ copula ~ term ~ ">"
}

/// 陈述系词
copula = @{
    (punct_sym ~ "-" ~ punct_sym) // 继承/相似/实例/属性/实例属性
  | (punct_sym ~ "=" ~ punct_sym) // 蕴含/等价
  | ("=" ~ punct_sym ~ ">") // 时序性蕴含
  | ("<" ~ punct_sym ~ ">") // 时序性等价
}

/// 标点符号 | 用于「原子词项前缀」「复合词项连接词」和「陈述系词」
punct_sym = { (PUNCTUATION | SYMBOL) }

/// 复合 = (连接词, 词项...) | {外延集...} | [内涵集...]
compound = {
      ("(" ~ connecter ~ "," ~ term ~ ("," ~ term)* ~ ")") // 基于连接词
    | ("{" ~ term ~ ("," ~ term)* ~ "}") // 外延集
    | ("[" ~ term ~ ("," ~ term)* ~ "]") // 内涵集
}

/// 复合词项连接词
connecter = @{ punct_sym ~ (!"," ~ punct_sym)* }

/// 原子 = 前缀（可选） 内容
atom = {
      "_"+ // 占位符
    | (atom_prefix ~ atom_content) // 变量/间隔/操作……
    | atom_content // 词语
}
/// 原子词项前缀
atom_prefix = @{ punct_sym+ }
/// 原子词项内容 | 已避免与「复合词项系词」相冲突
atom_content = @{ atom_char ~ (!copula ~ atom_char)* }
/// 能作为「原子词项内容」的字符
atom_char = { LETTER | NUMBER | "_" | "-" }

/// 标点
punctuation = { (PUNCTUATION | SYMBOL) }

/// 时间戳 | 空时间戳会直接在「语句」中缺省
stamp = {
    ":" ~ (!":" ~ ANY)+ ~ ":"
}

/// 真值 | 空真值会直接在「语句」中缺省
truth = {
  "%" ~ (truth_budget_term ~ (";" ~ truth_budget_term)* ~ ";"*) ~ "%"
}

🔗其它另请参考JuNarsese.jl中有关「CommonNarsese」的小节。

该定义可直接通过Rust库pest.rs加载，并已在BabelNAR中用于NARS方言解析

开源许可

同大多数Rust项目一样，本项目采用 MIT 与 Apache-2.0 双许可发布。

• 可以选择其中任意一种协议进行再分发，但必须保留协议文件。