最近，太阳集团1088vip計算機科學系、廣東省智慧教育研究院官全龍與方良達課題組所撰寫的論文“On the role of logical separability in knowledge compilation”被AIJ期刊所接收以及“A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs”和“On the Logic of Theory Change lteration of KM-Update, Revised”被IJCAI會議接收。

論文“A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs”，2022級計算機科學系研究生張洺玮為第一作者；方良達副教授及官全龍教授為共同通訊作者；2022級計算機科學系研究生古鎮豪及吉林大學賴永副教授為合作作者。許多組合優化問題可以約簡為有向無環圖上的最優路徑問題。最優路徑問題的約束版本要求解滿足給定的邏輯約束。Nishino等學者提出了一種基于二元決策圖的約束搜索算法（BDD-constrained search，BCS），用于求解有向無環圖約束最優路徑問題。該算法将邊看作變量，将約束看作布爾函數，并通過一種布爾函數的緊湊表示——二元決策圖來維護約束。但是，BCS算法在搜索過程中存在冗餘操作。為了減少這些冗餘操作，本研究使用頂點代替邊作為變量，并因此使用多值函數表示約束。基于約束的多值函數表示，本研究提出了一種新穎算法：基于多值決策圖的約束搜索算法（MDD-constrained search，MCS）。該算法使用一種多值函數的緊湊表示——多值決策圖代替了二元決策圖。此外，本研究提出多值函數的域約簡技術，提高MCS算法的性能。實驗結果表明，本研究提出的MCS算法優于BCS算法。

論文“On the role of logical separability in knowledge compilation”，2020級計算機科學系研究生邱俊銘為第一作者，李雯晴為第二作者；方良達副教授及官全龍教授為共同通訊作者；數學系賴兆榮副教授等為合作作者。高效命題邏輯範式是提升高計算複雜性推理問題求解效率的關鍵，因此如何設計具有強推理以及高簡潔性的命題邏輯範式一直是知識表示與推理領域中的重要研究課題。邏輯分離的概念最初由多倫多大學教授Levesque提出，表示一個公式的推理任務可以分解為其子公式的推理任務進行求解。本研究将邏輯分離概念應用于命題邏輯系統中可滿足性查詢、子句蘊含查詢、模型計數查詢、模型枚舉查詢以及變元遺忘轉換等多種重要推理操作上，提出相應的邏輯分離性質，并剖析了其在提升推理效率方面的作用機理。基于邏輯分離性質，本研究設計出了可滿足性邏輯分離範式、子句蘊含邏輯分離範式和模型計數邏輯分離範式等多種高效命題邏輯範式，并對這些新型邏輯範式的知識編譯性質進行了系統的分析，拓展了現有的知識編譯圖譜。理論分析表明，子句蘊含邏輯分離範式支持高效的變元遺忘操作，并且比大部分現有的同等推理能力的命題邏輯範式更簡潔；而模型計數邏輯分離範式在高效求解模型計數問題方面是一種更具通用性的候選目标編譯範式。

論文“On the Logic of Theory Change lteration of KM-Update, Revised”方良達副教授為第一作者；2020級計算機科學系研究生朱同為第二作者；官全龍教授及2020級計算機科學系研究生邱俊銘為共同通訊作者；羅偉其教授、數學系賴兆榮副教授、中山大學萬海教授為合作作者。信念修正和更新是信念改變的兩個重要分支，均旨在研究智能體如何根據新信息修改其信念。它們之間最顯著的區别在于前者研究的是靜态世界中的信念改變，而後者主要關注動态世界的信念改變。著名的AGM和KM公設被分别提出用于刻畫理性的信念修正和更新。然而，它們的約束過于寬松，不足于排除疊代過程中一些不可理的信念改變。為此，DP公設及其擴展被相繼提出以描述合理的疊代信念修正行為。進一步地，Ferme和Goncalves将這些公設融合進信念更新中。但是他們提出的關于信念狀态和用于語義描述的可信賦值存在一些冗餘的組件。更重要的是，他們的方法并沒有滿足疊代信念更新所要求的理想性質，并且缺乏關于DP公設在信念更新中合理性的讨論。本文旨在彌補他們方法的上述不足。首先，本研究基于信念狀态，對原始KM公設做出了修改，并提出了可信集合賦值用于将每個信念狀态映射到偏序上。然後，本研究将疊代信念修正中的幾個著名的公設遷移到信念更新中。針對每個提出的公設，本研究基于偏序提供了對應的精确語義刻畫。最後，本研究分析了這些疊代更新公設和信念更新中KM公設之間的兼容性。

IJCAI（全稱 International Joint Conference on Artificial Intelligence）是人工智能領域的國際頂級會議，被中國計算機學會推薦為A類會議。根據中國計算機學會分類标準，“A類表示國際上極少數的頂級刊物和會議，鼓勵我國學者去突破”。AIJ（全稱 Artificial Intelligence）是人工智能領域的國際頂級期刊，被中國計算機學會推薦為A類期刊。根據中國計算機學會分類标準，“A類期刊表示國際上極少數的頂級刊物，鼓勵我國學者去突破”。近兩年AIJ期刊全年接收均不超過150篇論文。