Forma Semantic Language

一种可计算的语义规范语言。

FormaSL 使人与智能体能够声明、转换、治理和验证意义，同时避免悄然抹平主张与真值、符合性与准入、发生与观察等重要区分。