Vi presenterar en ny semantik för utökade logiska program med regelprioritering (EP P ). Semantiken, som kallas pålitlig semantik (RS), generaliserar de välgrundade semantikerna som definieras för normala program [34]. Den generaliserar också de utvidgade väl underbyggda semantikerna som definieras för icke-kontradiktoriska utökade program [24]. På grund av den klassiska negationen i regelhuvudet kan den välgrundade modellen för ett program vara motsägelsefull. RS är motsägelsefri och definierad för alla EP P s. För att undvika motsägelser används endast tillförlitliga regler och tillförlitliga slutna antaganden i världen vid fixpoint beräkning av RS. En sluten värld antagande (CW A) anses tillförlitlig om det inte är "misstänkt" för någon begränsning överträdelse. En regel r anses tillförlitlig om det inte är "misstänkt" för någon restriktion överträdelse orsakad av regler med prioritet inte lägre än r. Vi definierar stabila r-modeller av en EP P och vi visar att RS i ett program sammanfaller med dess minst stabila r-modell. RS av en EP P, P, representerar den skeptiska "mening" av P medan stabila r-modeller av P representerar de möjliga "meningar" av P.
Analyti och Pramanik. Ännu en semantik för utökade logiska program, kallad pålitlig semantik (RS), har föreslagits av Analyti och Pramanik i REF.
Reliable Semantics for Extended Logic Programs with Rule Prioritization
{'venue': 'JOURNAL OF LOGIC AND COMPUTATION', 'journal': None, 'mag_field_of_study': ['Computer Science']}