Possibilistiska svar uppsättning programmering (PASP) utökar svar uppsättning programmering (ASP) genom att bifoga till varje regel en viss grad av säkerhet. Även om en sådan förlängning är viktig ur tillämpningssynpunkt, är befintliga semantik inte välmotiverade, och ger inte alltid intuitiva resultat. För att utveckla en mer lämplig semantik, introducerar vi först en karakterisering av svar uppsättningar av klassiska ASP-program i termer av possibilistisk logik där ett ASP-program anger en uppsättning begränsningar av möjligheten distributioner. Denna karakterisering generaliseras sedan naturligt för att definiera svarsuppsättningar av PASP-program. Vi tillhandahåller dessutom en syntaktisk motsvarighet, vilket leder till en possibilistisk generalisering av den välkända Gelfond-Lifschitz redukt, och vi visar hur vårt ramverk enkelt kan implementeras med hjälp av standard ASP-lösare.
Detta problem diskuterades i REF och en ny karakterisering av normala ASP-program etablerades baserat på begränsningar av möjligheten distributioner, som naturligtvis kan generaliseras för att täcka posibilistiska normala ASP-program.
Possibilistic Answer Set Programming Revisited
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}