common_narsese.md

CommonNarsese

🔙概念

📍最后更新：【2024-04-10 15:39:37】

基于Narsese.rs的标准ASCII词法定义

语法

几个基本原则：

• 📌一种形式只有一种表达方法
• 📌不约束具体内容（原子前缀、复合连接词、陈述系词）
• 📌任务→语句 单义性

🔗具体内容参见Narsese.rs 的对应章节

示例集

词项

原子词项

词语：word dash_separated slash-separated 词语 あ

占位符：_ _placeholder

自变量：$independent_variable

因变量：#dependent_variable

查询变量：?query_variable

间隔：+123 +137

操作符：^operator ^go-to

复合词项

外延集：{词1, $i_词2, #d_词3, ?q_词4, ^o_词5}

内涵集：[词1, $i_词2, #d_词3, ?q_词4, ^o_词5]

外延交：(&, 词1, $i_词2, #d_词3, ?q_词4, ^o_词5)

内涵交：(|, 词1, $i_词2, #d_词3, ?q_词4, ^o_词5)

外延差：(-, 词1, 词2)

内涵差：(~, 词1, 词2)

乘积：(*, 词1, $i_词2, #d_词3, ?q_词4, ^o_词5)

外延像：(/, 词1, _, $i_词2, #d_词3, ?q_词4, ^o_词5)

内涵像：(\, 词1, _, $i_词2, #d_词3, ?q_词4, ^o_词5)

合取：(&&, <词1 --> _占位符>, <$i_词2 --> #d_词3>, <?q_词4 --> ^o_词5>)

析取：(||, <词1 --> _占位符>, <$i_词2 --> #d_词3>, <?q_词4 --> ^o_词5>)

否定：(--, <词1 --> _占位符>)

序列合取：(&/, <词1 --> _占位符>, <$i_词2 --> #d_词3>, <?q_词4 --> ^o_词5>)

平行合取：(&|, <词1 --> _占位符>, <$i_词2 --> #d_词3>, <?q_词4 --> ^o_词5>)

陈述

基础系词

继承：<词1 --> 词2>

相似：<词1 <-> 词2>

蕴含：<词1 ==> 词2>

等价：<词1 <=> 词2>

派生系词

实例：<词1 {-- 词2>

属性：<词1 --] 词2>

实例属性：<词1 {-] 词2>

预测性蕴含：<词1 =/> 词2>

并发性蕴含：<词1 =|> 词2>

回顾性蕴含：<词1 =\> 词2>

预测性等价：<词1 </> 词2>

并发性等价：<词1 <|> 词2>

时间戳（不单独出现）

过去：:\:

现在：:|:

未来：:/:

固定：:!-10: :!+123: :!137:

真值（不单独出现）

双真值：%1.0; 0.9%

单真值：%1.0%

空真值：%%（或不出现）

预算值（不单独出现）

三预算：$0.5; 0.5; 0.5$

双预算：$0.5; 0.5$

单预算：$0.5$

空预算：$$（作为区分「任务」于「语句」的依据）

语句

判断：词项. :|: %1.0; 0.9%

目标：词项! :|: %1.0; 0.9%

问题：词项? :|:

请求：词项@ :|:

判断/单真值：词项. :|: %1%

目标/单真值：词项! :|: %1%

问题/无时间戳：词项?

请求/无时间戳：词项@

判断/空真值：词项. :|:

目标/空真值：词项! :|:

任务

完全形式：$0.5; 0.5; 0.5$ 词项. :!137: %1.0; 0.9%

双预算：$0.5; 0.5$ 词项.

单预算：$0.5$ 词项.

空预算：$$ 词项. （空预算亦为任务，而非语句）