论文部分内容阅读
用描述逻辑中的两种非标准推理——概念收缩和概念诱导，分别扩展了可满足性问题和包含问题，以解决供应与需求的匹配问题，并提出了改进的排序算法以及有助于完善供需双方资源和需求描述的算法．结果表明，改进后的排序算法有利于供需双方的交互，并且能够尽快排除因为严格特性而部分匹配的供应和需求，从而加快算法的运行速度．