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