Abstrakt. Tillägget av aggregat har varit en av de mest relevanta förbättringarna av språket för svarsuppsättningen programmering (ASP). De stärker ASP:s modelleringskraft när det gäller koncisa problemrepresentationer. Medan många viktiga problem kan kodas med hjälp av icke-rekursiva aggregat, några relevanta exempel låna sig för användning av rekursiva aggregat. Tidigare semantiska definitioner stämmer vanligtvis överens i det icke-rekursiva fallet, men bilden är mindre tydlig för rekursion. Vissa förslag undviker uttryckligen rekursiva aggregat, de flesta andra skiljer sig åt, och många av dem uppfyller inte önskvärda kriterier, såsom minimalitet eller tillfälligheter med svarsuppsättningar i det aggregerade fria fallet. I denna artikel definierar vi en semantik för diskonterande program med godtyckliga aggregat (inklusive monotona, antimonotona och ickemonotona aggregat). Denna semantik är en fullständigt förklarande, genuin generalisering av svaret semantik för diskontiv logik programmering (DLP). Det definieras av en naturlig variant av Gelfond-Lifschitz omvandling, och behandlar aggregerade och icke-aggregerade bokstavliga på ett enhetligt sätt. Vi bevisar att våra semantik garanterar minimalitet (och därmed ojämförlighet) av svarsuppsättningar, och visar att det sammanfaller med standardsvaret semantik på aggregatfria program. Slutligen analyserar vi den beräkningsmässiga komplexiteten i detta språk, med särskild uppmärksamhet på effekten av syntaktiska begränsningar på program.
REF utvecklade teorin om diskonterande logiska program med aggregat.
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
{'venue': 'In Proceedings of European Conference on Logics in Artificial Intelligence (JELIA', 'journal': None, 'mag_field_of_study': ['Computer Science']}