CAJ | 학술논문

我们知识中的绝大部分是由概称句表述的。建立概称句的形式语义对非单调推理以及人工智能中的知识表示等研究都有非常重要的意义。概称句意义分析是建立其形式语义的基础。目前关于概称句意义主要有两类研究：基于概率论的研究和基于可能世界语义学的研究。本文对概率论的研究进行了分析，指出其本质是外延的解释这一根本缺陷，在可能世界语义学研究所提出的正常性概念的基础上，进一步深化研究，强调对正常性概念的内涵分析，提出了概称句的典范形式，进而提出正常个体选择的三个原则，以及据此建立了正常个体的选择函数，避免了原来研究对正常性概念的外延性处理。本文建立了一个新的概称句形式语义的理论基础，提供了建立该语义的技术关键。
아문지식중적절대부분시유개칭구표술적。건립개칭구적형식어의대비단조추리이급인공지능중적지식표시등연구도유비상중요적의의。개칭구의의분석시건립기형식어의적기출。목전관우개칭구의의주요유량류연구：기우개솔론적연구화기우가능세계어의학적연구。본문대개솔론적연구진행료분석，지출기본질시외연적해석저일근본결함，재가능세계어의학연구소제출적정상성개념적기출상，진일보심화연구，강조대정상성개념적내함분석，제출료개칭구적전범형식，진이제출정상개체선택적삼개원칙，이급거차건립료정상개체적선택함수，피면료원래연구대정상성개념적외연성처리。본문건립료일개신적개칭구형식어의적이론기출，제공료건립해어의적기술관건。