syntactic refers to the grammar of a language. For example, to declare a variable, in C, you do it like "int a", in pascal, you do it like "a: integer". semantic refers to the meaning of the grammar. For example, "1/2", in C, this is an integer division, the result is 0. In some other language, it is a real division, the result is 0.5.
a*n
3 楼
so the semantic ones are in a much higher level, right?
syntactic refers to the grammar of a language. For example, to declare a variable, in C, you do it like "int a", in pascal, you do it like "a: integer". semantic refers to the meaning of the grammar. For example, "1/2", in C, this is an integer division, the result is 0. In some other language, it is a real division, the result is 0.5.
【在 c****r 的大作中提到】 : syntactic refers to the grammar of a language. For example, to declare a : variable, in C, you do it like "int a", in pascal, you do it like "a: : integer". : semantic refers to the meaning of the grammar. For example, : "1/2", in C, this is an integer division, the result is 0. : In some other language, it is a real division, the result is 0.5.
This is what "Formal Semantics"(形式语义) tries to solve. Formal methods such as regular expressions, automatas can describe syntax pretty good already. Describing semantics is much more difficult.
Knowledge representation is pretty hot in recent years. Stanford and U. of Manchester are two of the top schools in the field. I think Description Logic Handbook is a very good overview of the field.
【在 c*****y 的大作中提到】 : This is what "Formal Semantics"(形式语义) tries to solve. Formal methods : such as regular expressions, automatas can describe syntax pretty good : already. Describing semantics is much more difficult. : : 大家
D*g
14 楼
S-> NP VP, Syntactic "some company acquired xxx" semantic