浅介（俄）в.в.мартынов教授《通用语义符码yck-3》中的基本思路.doc.doc

2009年第3期 俄语语言文学研究 2009, №3 总第25期 Russian Language and Literature Studies Serial №25 名作评介 浅介（俄）В. В. Мартынов教授 《通用语义符码YCK-3》ситуации）的多层级抽象知识系统。 ② 确定诸个体与诸事境之间的联系。 ③ 给诸问题（задачи）以形式分类。 ④ 解题。 困难在于缺少一个有效方法，以便给形式系统注入语义内容。 YCK-3具有如下性质： ① YCK是一种充分描述意思的语言，它的每一符码链具有单义性。 ② YCK是万国通用的规范，能描述世界任何一个部份。 ③ YCK的语义内容不是靠社会“契约”赋予的，而是从通用的公理集演绎而得出的。 ④ YCK能力理解世界，也就是说：它能通过系统内符码链的形式转换来表述新概念，建构事件因果联系的假设。 YCKсемантический синтаксис） YCK应用关系逻辑的理论和术语。引入三类基本语句：关系结构语句，关系性质的语句，符号学语句。前两类是逻辑语句与第三类有异。 X属于关系域（область отношений）R，当且仅当存在至少一个Y，X与该Y有R关系。 Y属于关系R的逆域（противобласть），当且仅当存在一个X，X与该Y有R关系。 从结构上看关系有三类： 初级：个体——个体（XRY）， 次级：个体——关系（XR（YRZ））， 三级：关系——关系（（XRY）R（WRZ））。 关系有两项与多项之分。多项关系可归约为两项关系。 此外还要引入模态逻辑和集合论的基本语句。例如： 在任何时间t内p成立（t Pt≡□P≡｛tP｝u）（u：全体） 在某些时间t内p成立（t Pt≡◇P≡｛tP｝p）（p：部分） □和◇可互换：◇P≡□P ◇P≡□P ◇P≡□P ◇P≡□P 把YCK的逻辑式改写成符号式，需要用形式化方法：把关系式XRY改写为SAO。S是左项，叫主语；O是右项，叫宾语；A是中项，叫谓语（акция）。SAO这样的结构是核心结构。 表征核心结构的句子类型是基本句型。例如“张三是李四的爱人”、“华陀是曹操的医生”。在YCK-3中以动作句（акция）为基本句型。“X—врач Yа”被变换成“X лечит Y”。 在SAO中S和O之间的关系是通过A而显现的。在多项式如“X在Y和Z之间”中，Y和Z的关系是隐含的。 核心结构不能没有显性关系而只有隐性关系；也不能有多于一个显性关系。 结构中成分与成分间有主从关系，或者用A表征，或者是隐含的。 SAO是反对称关系（其中S与O的位置不能对换）。SO表示对称关系，即其中S与O没有主从关系。 SA表示O替代S。这时，S与自己有关系A，即A有自反性。ˉ表示缺位（незамещённость）。 SAO之类的核心结构中S不可能带ˉ（即不可能出现）。 核心结构可以含隐性关系，得以扩展而成为SAOO，SSAO，SAAO，SSAAO，SAAOO。其中S永远统制（до минировать）其它成份，而且如果有两个S的话，第一个S统制第二个S。不允许左右两端同时扩展（× SSAOO，× SSAAOO）。 在扩展式中显性统制（SAO）与隐性统制（AO，SA，SO）可以并存，。扩展式中可能出现另一个基本结构，如(SAO)AO，SA(SAO)O。这时出现一个次级关系（“个体一关系”的隐性关系）。 扩展式中不能用“关系”代替“个体”，即不允许出现×（SAO）AO，× SA（SAO）扩展式中“关系”成份出现在“个体”成份之右。不能出现×（SAO）SAO等。 A. 核心句型（俄语中典型句型是“主语+动词+宾语”） ① SAO—— Х преобладает над Ym.（A表示即时关系或过程） ② SA—— Х преобладает над собой.（表示O=S） ③ SO—— Х постоянно преобладает над Ym.（表示持续的属性。俄语中常用形容词表示，如Х выше Yа） ④ SO—— Х постоянно преобладает над собой.（意思与性质形容词相近，如Х самый светлый.） ⑤ SAO—— Х не преобладает над Ym.（A表示左端不统制右端。此句意近Х действует на равных с Ym.）⑥ SA—— Х не преобладает над собой.（意思近似Х не перв