反绎推理相关论文
反绎推理是一种基于逻辑的自动推理技术，并且已经在系统诊断、系统设计、产品规划等领域得到了应用。在人工智能中，反绎推理被作为一......
文章运用证券业风险控制理论及多年积累的券商营运风险控制经验,提出券商运营风险控制的相关数学模型,利用面向对象设计思想建立模......
鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理，涉及了大量变元和Skolem项的使用。ALC-Tableau可以避免大量变元和......
