講座內(nèi)容：簡單時(shí)序問題(simple temporal problem, STP) 是時(shí)序推理的一個(gè)重要模型，用STP我們可以描述事件之間的定量約束。自圖靈獎(jiǎng)得主 Judea Pearl等 1991年提出此模型以來，STP已經(jīng)成為規(guī)劃和調(diào)度問題的重要組成部分。近年來，我們越來越依賴智能手機(jī)來安排管理我們的日常任務(wù)。可以預(yù)見，以后更多的協(xié)調(diào)任務(wù)將由虛擬個(gè)人助理來完成。鑒于此，美國學(xué)者Boekoel 和 Durfee提出了多智能體 (multiagent) 時(shí)序推理問題，并將STP推廣到多智能體框架下，此即為MaSTP問題。利用Planken等提出的部分路徑相容 (patial path-consistency) 算法，他們提出了解決MaSTP的方法。這個(gè)方法雖然有效，但存在一個(gè)嚴(yán)重問題：在求解過程中，該方法需要將約束網(wǎng)絡(luò)三角化。這需要在不同變元間引入原本不存在的約束。如果這些變元屬于同一個(gè)智能體，這是可行的。但如果這些變元屬于不同智能體，則會(huì)泄漏相關(guān)智能體的隱私。在我們這篇工作中，我們提出了基于弧相容 (arc-consistency) 的求解方法，完全避開了這一問題。同時(shí)，我們的理論和實(shí)驗(yàn)結(jié)果表明，這一新方法更有效。