pricai 2016是環太平洋國際人工智能會議 ，每兩年舉行一次，大會專注于人工智能的理論，技術及其在社會領域的應用，和其對于太平洋沿岸國家經濟的重要性。
摘要：在回答集程式設計中，一個擴充的邏輯程式可能沒有答案集，或隻有一個簡單的答案集。本文中，我們提出了一種基于限制四值邏輯的新型穩定模型語義，以克服回答集程式設計中的不一緻和不連貫問題。在推理一緻性和連貫性問題時，我們的穩定模型與經典的回答集相同，而且可以通過轉換到現有的asp解答器得到解答。我們還展示了穩定模型和預設邏輯擴充之間的聯系。
zuoquan lin
職位：清華大學資訊科學系教授 研究方向：人工智能，電腦軟體，數學邏輯
via：pricai 2016
本文作者：章敏