Variants of Tagged Sentential Decision Diagrams

no code implementations • 16 Nov 2023 • Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang, Zhaorong Lai, Yong Lai

The standard ones minimize the size of sentential decision diagrams (SDDs) while the zero-suppressed trimming rules have the same objective as the standard ones but for zero-suppressed sentential decision diagrams (ZSDDs).

Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension

no code implementations • 29 Jun 2018 • Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhaorong Lai

Dependence is an important concept for many tasks in artificial intelligence.