语义逻辑计算器是一个WEB API平台,提供基本的语义概念计算服务。初期版本提供两类API: 一类是领域分析,输入任意领域的概念关系(以类三段论的形式),得到概念的语义逻辑编码(superCode)——16进制字符串; 另一类是利用superCode,实现各种语义逻辑判断。 系统既不会产生不可判定问题,也不需要复杂的逻辑公理,提高了系统的语义检索准确性及效率。