導(dǎo)讀：PRICAI 2016是環(huán)太平洋國(guó)際人工智能會(huì)議 ，每?jī)赡昱e行一次，大會(huì)專(zhuān)注于人工智能的理論，技術(shù)及其在社會(huì)領(lǐng)域的應(yīng)用，和其對(duì)于太平洋沿岸國(guó)家經(jīng)濟(jì)的重要性。

 用于回答集編程的約束四值語(yǔ)義（Restricted Four-Valued Semantics for Answer Set Programming）

 

摘要：在回答集編程中，一個(gè)擴(kuò)展的邏輯程序可能沒(méi)有答案集，或只有一個(gè)簡(jiǎn)單的答案集。本文中，我們提出了一種基于約束四值邏輯的新型穩(wěn)定模型語(yǔ)義，以克服回答集編程中的不一致和不連貫問(wèn)題。在推理一致性和連貫性問(wèn)題時(shí)，我們的穩(wěn)定模型與經(jīng)典的回答集相同，而且可以通過(guò)轉(zhuǎn)換到現(xiàn)有的ASP解答器得到解答。我們還展示了穩(wěn)定模型和缺省邏輯擴(kuò)展之間的聯(lián)系。

第一作者簡(jiǎn)介

Zuoquan Lin

職位：清華大學(xué)信息科學(xué)系教授

研究方向：人工智能，電腦軟件，數(shù)學(xué)邏輯

Via：PRICAI 2016

PS : 本文由雷鋒網(wǎng)獨(dú)家編譯，未經(jīng)許可拒絕轉(zhuǎn)載！

論文原文下載

雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見(jiàn)轉(zhuǎn)載須知。