李晟
- 作品数：3 被引量：10H指数：2
- 供职机构：四川师范大学政治教育学院更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教更多>>
- 传统三段论的形式化和公理化研究被引量：6
- 2016年
- 利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处理以及计算机科学中的知识表示和知识推理,都有着重要的理论意义和实践价值。
- 张晓君李晟
- 关键词：形式化公理化
- 关于广义量词many的广义三段论推理被引量：2
- 2017年
- 三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。
- 李晟袁兆隆
- 关键词：广义量词
- 关于居间广义量词“few”的广义三段论的有效性被引量：2
- 2016年
- 在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论。
- 吴宝祥李晟
- 关键词：广义量词有效性
