逻辑计算器的API使用说明现有的数理逻辑本质上都是基于集合的外延.PDFVIP

逻辑计算器的使用说明文档 逻辑计算器的 API 使用说明 现有的数理逻辑本质上都是基于集合的外延逻辑，这导致现有的逻辑系统不适应于内涵 语义推理。利用外延逻辑处理内涵推理，除了推理效率低下的问题，还有不可判定性等问题。 为了解决这些问题，我们推出了这款新鲜出炉的逻辑计算器。 逻辑计算器通过分析用户关于领域概念的关系描述，给出领域概念的逻辑概念码——用 户可以利用逻辑概念码，对概念之间的语义逻辑关系进行判断处理。 抛开那些复杂的推理定式或者是公理系统吧，在这里，利用概念码，只需经过简单的数 学运算就可以搞定任意两个概念的逻辑关系判断 （不需要借助任何的逻辑公理系统，也不存 在不可判定问题）。 逻辑计算器系统使用概念码（superCode ）表示任意一个逻辑概念，概念码是一个16 进制的字符串： ⑴两个概念之间的的隶属关系判断，只需要经过一次位运算就可以得到结果 （a=ab， 当且仅当a 是 b 的子概念）。 ⑵概念之间的相交关系的判断需要借助于空概念： 通过将概念码分解为二进制形式，每个 16 进制字符可以表示为 4 个 bit，从左到右，相 邻的两个 bit 作为一个属性的属性值，则一个 16 进制字符可以表示 2 个属性。因此，每个 属性总计有四种可能属性值出现： 00 ,01, 10, 11，如果一个概念码有 00 的属性值出现， 则称该概念称为空概念。 令 c =ab,如果 c 为空集，则 a 与 b 不相交,否则，c 是 a,b 的共同子概念。 ⑶ 多个概念之间的关系判断可以借助于本项目的 API 实现。 ⑷ 针对特殊应用领域，如果某些概念组合比较复杂或者出现频率较高，需要提高运算 效率，可以联系项目组定制存储接口（通过将概念组合标准化，可以使得关系判断复杂性缩 短至 O(n)级，进而大幅提高效率 ）。 ⑸ 在特定领域有深入研究的部门，可以联系项目组定制领域标准码 （这样其他的用户 就不需要自己分析领域概念语义，可以直接利用权威部门定制的标准语义概念码 ），应用于 公共的语义网建设，或者是领域内的垂直有哪些信誉好的足球投注网站。 So ，让我们愉快的玩耍吧。 第一版本的逻辑计算器提供四个接口，下面分别讨论介绍： 1 逻辑计算器的使用说明文档 第一章 API 接口信息查询函数 apiinfo 该 API 的没有输入参数，输出结果是逻辑计算器系统的所有 API 函数信息，JSON 形式 如下： { status:0, message:正常处理, result:{ 函数总数:4个, 函数 1: { 函数名:apiinfo():,函数功能:列出所有的函数信息 }, 函数 2: { 函数名:getcode():,函数功能:计算某个领域的逻辑概念码 }, 函数 3: { 函数名:isnull():,函数功能:判断一个概念是否是空概念 }, 函数 4: { 函数名:iskindof():,函数功能:判断一个概念是否是另一组概念的子 概念 } } } JSON 参数含义如下： status ： 0 函数正常处理结束，没有错误发生；其他值：参见错误代码。 message： 错误状态代码的含义。 result： 领域概念的解析结果。后文相关 API 中均按照这一规则进行描述。