作者：罗萍萍; 夏巍; 林济铿; 郑卫洪操作票系统自动开票规则树无序与冗余节点
摘要：针对现有基于规则树自动开票方法存在的问题，提出了一种改进的基于规则树自动开票新方法。其特点在于：基于所建立的闭锁堆栈对新增节点和闭锁表达式进行比较．通过删除与闭锁表达式相同或真值相反的新增节点来分别克服规则死锁、规则冲突等问题，避免了扩展子树和分支互换等繁琐过程。大大减少了算法复杂度及存储空间：提出了与节点的有序与和无序与的定义并基于此对不同的与节点加以区别．然后将所有的无序与排列组合形成多个有序与．再加以推理。保证了方案的完备性：提出了按照先生长先提取的原则进行操作序列的提取，从而自动消除了对冗余节点的重复处理、进一步简化了推理进程。算例及实际系统的应用表明方法可行有效，保证了操作票的合理性、完备性及简约性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
