今天跟团队讨论蛮久的一个问题，晴朗的天空是蓝色的。 这句话到底怎么转化为逻辑符号？这个例子提出是为了讨论如何把汉语语法中的状语和定语转化为逻辑符号。
到目前为止，总共有三种结果。
- 天空是晴朗的。天空是蓝色的。这个解释很直观，蓝色和晴朗都是天空的属性。蓝色和晴朗是天空的 intension，天空是蓝色和晴朗的 extension。
Extensional intersection: If T1 and T2 are two different terms, their extensional intersection, (T1 ∩ T2), is a compound term defined by (∀x)(x → (T1 ∩ T2)) ≡ ((x → T1) ∧ (x → T2))).
<天空 --> (&,[晴朗], [蓝色])>.
- 因为天空是晴朗，所以天空是蓝色。
<<天空 --> [晴朗]> ==> [蓝色]>.
- 晴朗的天空是蓝色。蓝色修饰晴朗的天空这个整体。
<<天空 --> [晴朗]> --> [蓝色]>.
假如向程序提问，天空是蓝色的吗？
<天空 --> [蓝色]>?
只有第一个解释 <天空 -->(&,[晴朗], [蓝色])>. 才能给程序提供答案内容。其他两个内容无法给出任何答案，却提供完整的句子结构。
还有个小例子，我背着书包去上学。
TO BE CONTINUED
网友评论