%0 Journal Article %T 改进γ公式的表推演推理方法研究* %A 刘全 %A 孙吉贵 %A 于万钧 %J 计算机应用研究 %D 2005 %I %X 表推演方法是一种接近于逻辑系统表示的自动推理方法, 由于其直观性和通用性, 易于计算机实现, 因此成为目前最普及的自动推理方法之一。在表推演实现时, 对γ规则应用次数的限制至关重要, 限制次数直接影响表推演的推理效率。给出识别γ公式方法, 提出了含γ公式的表推演推理的改进策略, 并进行了理论证明和系统实现, 该系统与leanTAP 软件包进行了对比实验。通过对Pelletier 问题的20 个实例分析, 可以看出γ公式不再需要实例化, 大大缩短了表推演的证明过程, 减少了搜索空间, 提高了推理效率。 %K γ公式 %K 表推演 %K 实现 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=E20A0E0C4DA5AED3AE3D6C141F07356A&yid=2DD7160C83D0ACED&vid=BC12EA701C895178&iid=CA4FD0336C81A37A&sid=2001E0D53B7B80EC&eid=BE33CC7147FEFCA4&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=0