语义Tableau相关论文
自动推理作为自动定理证明的扩展是人工智能研究的基础工作，许多重要的人工智能系统都是以推理系统为其核心部分，其中的tableau方法，......
语义Tableau是一种具有较强通用性和适用性的推理方法。基于Prolog语言,并利用语义Tableau方法,在M.C.Fitting提出的一阶逻辑自动......
语义Tableau是一种具有较强直观性和适用性的推理方法.自该方法问世以来,一直吸引着大量人工智能研究者.基于Prolog语言,M.C.Fitti......
