计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (12): 83-85.

• 学术探讨 • 上一篇    下一篇

基于数值计算的布尔表达式约简工具

刘光远;苑森淼;董立岩

  

  1. 吉林大学通信学院
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-04-20 发布日期:2007-04-20
  • 通讯作者: 刘光远

A Tool for Reduct of Boolean Functions Based on Number Computing

  • Received:1900-01-01 Revised:1900-01-01 Online:2007-04-20 Published:2007-04-20

摘要:

摘 要 布尔表达式化简属于符号推理和符号计算问题。传统的人工智能及符号智能利用符号计算和推理实现问题求解;数字电路设计中运用布尔逻辑精简电路设计;数据挖掘领域的知识约简等也会用到布尔表达式。因此布尔运算和函数约简的应用领域十分广泛。本文运用数论理论中素数的性质和特点,将符号计算问题转化为数值计算问题,设计了一个布尔表达式化简工具。在理论上根据素数的性质重新定义了布尔函数的合取、析取以及非运算,并提供了相应的推理规则;提出基于素数性质的布尔函数约简算法。

Abstract: Task scheduling and resource scheduling are two major aspects concerned with Abstract: Boolean expression simplification has been applied widely in research areas and industries. In the research fields of traditional Artificial Intelligence and Symbolic Intelligence, Symbolic Computation and Inference play an important role. Boolean expression and Boolean logic simplify the circuits design in digital electronics. Boolean expression also applies to simplify the knowledge in data mining. This paper applies the characters of primes in the mathematical theory of numbers, transfers the symbolic computation into value computation, and designs a tool of Boolean expression simplification. Based on the characters of primes, authors redefine AND, OR, and NOT for the Boolean functions, provide the corresponding inference rules, and propose the simplification algorithm of Boolean function. The tool for the simplification of Boolean expression has been implemented. The computation module for the big database has been created for the tool to make sure there is no limitation to the number of variables. The tool could be used independently. Also it could provide DLL to the other software, tools, and algorithms. The tool has been used in the predication of churn of the customers in Telecommunication industry and obtains perfect results.