Under det senaste årtiondet har outtröttliga argumenteringsramar utvecklats för att bli en sund miljö för att formalisera allmängiltigt, kvalitativt resonemang. Det logiska programmeringsparadigmet har visat sig vara särskilt användbart för att utveckla olika argumentbaserade ramar på grundval av olika varianter av logikprogrammering som innehåller avtrubbbara regler. De flesta av dessa ramar kan emellertid inte hantera explicit osäkerhet och inte heller vag kunskap, eftersom avmattbarheten är direkt kodad på objektspråket. I detta dokument presenteras Possibilistic Logic Programming (P-DeLP), ett nytt logiskt programmeringsspråk som kombinerar funktioner från argumentationsteori och logikprogrammering, vilket även inkluderar behandlingen av possibilistisk osäkerhet. Sådana egenskaper formaliseras på grundval av PGL, en possibilistisk logik baserad på Gödel fuzzy logik. En av tillämpningarna av P-DeLP är att ge en intelligent agent med icke-monotoniska, argumenterande inferens kapacitet. I detta dokument ger vi också en bättre förståelse av sådana förmågor genom att definiera två icke-monotoniska operatörer som modellerar utbyggnaden av ett givet program P genom att lägga till nya vägda fakta i samband med argument slutsatser respektive motiverade ordagranna, respektive. Olika logiska egenskaper för de föreslagna operatörerna studeras. Nyckelord: Possibilistisk logik, vag kunskap, obesegrad argumentation, intelligenta system 1 Detta dokument reviderar och utvidgar två tidigare författares papper [20] och [22].
Alsinet, m.fl. REF presenterar ett nytt logiskt programmeringsspråk, Possibilistic Defeasible Logic Programming, som kombinerar funktioner från argumentationsteori och logikprogrammering, vilket inkluderar behandlingen av possibilistisk osäkerhet.
A Logic Programming Framework for Possibilistic Argumentation: Formalization and Logical Properties 1
{'venue': 'Fuzzy Sets Syst.', 'journal': 'Fuzzy Sets Syst.', 'mag_field_of_study': ['Computer Science']}