Abstrakt. Nyligen, möjliggör modularitet aspekter i Svarsset programmering (ASP) har ökat intresset för att underlätta sammansättningen av programdelar till ett övergripande program. I detta dokument fokuserar vi på modulära icke-monotoniska logiska program (MLP) under svarsuppsättningen semantik, vars moduler kan ha kontextuellt beroende indata från andra moduler. Dessutom är (ömsesidigt) rekursiva modulsamtal tillåtna. Vi definierar en modell-teoretisk semantik för denna utökade inställning, visar att många önskade egenskaper hos vanlig logik programmering generaliseras till vår modulära ASP, och bestämmer den nya formalismens beräkningskomplexitet. Vi undersöker relationen mellan modulprogram och diskonterande logiska program med väldefinierat input/output-gränssnitt (DLP-funktioner) och visar att de kan inbäddas i MLP.
Vi nämner också REF ) där rekursiva modulära icke-monotoniska logiska program (MLP) under ASP semantik beaktas.
T.: Modular nonmonotonic logic programming revisited
{'venue': 'In: Proceedings of the ICLP’09. LNCS 5649', 'journal': None, 'mag_field_of_study': ['Computer Science']}