[06-25] Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions

文章來源:  |  發布時間:2019-06-24  |  【打印】 【關閉

  

  Title: Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions

  Speaker: Dr. Liangda Fang, Jinan University, Guangzhou (方良達,副教授,暨南大學,廣州)

  Venue: Seminar Room (Room 334), Building 5, Institute of Software, Chinese Academy of Sciences

  Time: 15:00, June 25th, Tuesday, 2019

  Abstract: In this paper, we present a novel data structure for compact representation and effective manipulations of Boolean functions, called Bi-Kronecker Functional Decision Diagrams (BKFDDs). BKFDDs integrate the classical expansions (the Shannon and Davio expansions) and their bi-versions. Thus, BKFDDs are the generalizations of existing decision diagrams: BDDs, FDDs, KFDDs and BBDDs. Interestingly, under certain conditions, it is sufficient to consider the above expansions (the classical expansions and their bi-versions). By imposing reduction and ordering rules, BKFDDs are compact and canonical forms of Boolean functions. The experimental results demonstrate that BKFDDs outperform other existing decision diagrams in terms of sizes.

  Bio: 方良達現為暨南大學信息科學技術學院計算機科學系副教授。于2015年12月獲得中山大學計算機軟件與理論專業博士學位。目前是中國計算機學會(CCF)、中國人工智能學會(CAAI)以及美國人工智能學會(AAAI)會員,并擔任 IJCAI 和 AAAI 的程序委員。曾作為訪問學者前往法國洛林計算機科學研究與應用實驗室(LORIA)、浙江大學人文學院、澳大利亞格里菲斯大學做訪問學者以及香港科技大學進行學術訪問。過去多年一直從事人工智能、知識表示與推理的研究工作。已發表論文14篇,包括中國計算機學會推薦A類學術會議和期刊論文10篇,第一作者或者通訊作者8篇,其中包括Artificial Intelligence、Journal of Machine Learning Research、IJCAI以及AAAI。

浙江6十1走势图表