Emanuele Sansone

新代数连接布尔逻辑形式，避免指数级爆炸

研究人员引入了一种名为幂项多项式代数的新表示语言，旨在弥合布尔逻辑的合取范式（CNF）和代数范式（ANF）之间的差距。该框架通过在表示本身中编码结构化单项式和CNF子句，旨在避免在CNF和ANF之间的直接转换过程中遇到的指数级爆炸。所提出的系统包括布尔多项式加法和乘法的代数运算，以及允许直接操作公式而无需完全展开为ANF的重写规则，这为结构感知转换和混合推理方法提供了新的途径。