BriefGPT.xyz
Jul, 2010
基于程序级方法的回答集语义下逻辑程序修订
A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics
HTML
PDF
James P. Delgrande
TL;DR
本文提出了一种基于答案集语义下的逻辑程序修订方法,通过三种评价方式确定用程序P修订后的答案集,同时满足了 AGM 修订原则和更新逻辑程序的特征。
Abstract
An approach to the
revision
of
logic programs
under the
answer set semantics
is presented. For programs P and Q, the goal is to determine
→