Matches in SemOpenAlex for { <https://semopenalex.org/work/W3157588172> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3157588172 abstract "Non-monotonic reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via answer set programming. Describing complex objects as the composition of elementary ones is a common strategy in computer science and science in general. This paper contributes to the foundations of answer set programming and artificial intelligence by introducing and studying the sequential composition of answer set programs. Specifically, we show that the notion of composition gives rise to a family of finite monoids and seminearrings, baptized {em ASP monoids} and {em ASP seminearrings} in this paper. Particularly, we show that the combination of composition and union yields the structure of a finite idempotent seminearring. We also show that the restricted class of proper Krom-Horn programs, which only contain rules with exactly one body atom, yields a finite idempotent semiring. On the semantic side, we show that the van Emden-Kowalski immediate consequence operator of a program can be represented via composition, which allows us to compute the least model semantics of Horn programs without any explicit reference to operators. As a result, we characterize answer sets algebraically, which bridges the conceptual gap between the syntax and semantics of an answer set program in a mathematically satisfactory way, and which provides an algebraic characterization of strong and uniform equivalence. Moreover, it gives rise to an algebraic meta-calculus for answer set programs. In a broader sense, this paper is a further step towards an algebra of rule-based logical theories and in the future we plan to adapt and generalize the methods of this paper to wider classes of formalisms, most importantly to first-order and disjunctive answer set programs and extensions thereof." @default.
- W3157588172 created "2021-05-10" @default.
- W3157588172 creator A5065858470 @default.
- W3157588172 date "2021-04-25" @default.
- W3157588172 modified "2023-09-27" @default.
- W3157588172 title "Algebraic answer set programming." @default.
- W3157588172 hasPublicationYear "2021" @default.
- W3157588172 type Work @default.
- W3157588172 sameAs 3157588172 @default.
- W3157588172 citedByCount "0" @default.
- W3157588172 crossrefType "posted-content" @default.
- W3157588172 hasAuthorship W3157588172A5065858470 @default.
- W3157588172 hasConcept C118615104 @default.
- W3157588172 hasConcept C127001435 @default.
- W3157588172 hasConcept C128838566 @default.
- W3157588172 hasConcept C134306372 @default.
- W3157588172 hasConcept C136119220 @default.
- W3157588172 hasConcept C154945302 @default.
- W3157588172 hasConcept C156325763 @default.
- W3157588172 hasConcept C172252984 @default.
- W3157588172 hasConcept C177264268 @default.
- W3157588172 hasConcept C182620335 @default.
- W3157588172 hasConcept C184337299 @default.
- W3157588172 hasConcept C189790780 @default.
- W3157588172 hasConcept C199360897 @default.
- W3157588172 hasConcept C202444582 @default.
- W3157588172 hasConcept C33923547 @default.
- W3157588172 hasConcept C41008148 @default.
- W3157588172 hasConcept C60048249 @default.
- W3157588172 hasConcept C80444323 @default.
- W3157588172 hasConcept C9376300 @default.
- W3157588172 hasConceptScore W3157588172C118615104 @default.
- W3157588172 hasConceptScore W3157588172C127001435 @default.
- W3157588172 hasConceptScore W3157588172C128838566 @default.
- W3157588172 hasConceptScore W3157588172C134306372 @default.
- W3157588172 hasConceptScore W3157588172C136119220 @default.
- W3157588172 hasConceptScore W3157588172C154945302 @default.
- W3157588172 hasConceptScore W3157588172C156325763 @default.
- W3157588172 hasConceptScore W3157588172C172252984 @default.
- W3157588172 hasConceptScore W3157588172C177264268 @default.
- W3157588172 hasConceptScore W3157588172C182620335 @default.
- W3157588172 hasConceptScore W3157588172C184337299 @default.
- W3157588172 hasConceptScore W3157588172C189790780 @default.
- W3157588172 hasConceptScore W3157588172C199360897 @default.
- W3157588172 hasConceptScore W3157588172C202444582 @default.
- W3157588172 hasConceptScore W3157588172C33923547 @default.
- W3157588172 hasConceptScore W3157588172C41008148 @default.
- W3157588172 hasConceptScore W3157588172C60048249 @default.
- W3157588172 hasConceptScore W3157588172C80444323 @default.
- W3157588172 hasConceptScore W3157588172C9376300 @default.
- W3157588172 hasLocation W31575881721 @default.
- W3157588172 hasOpenAccess W3157588172 @default.
- W3157588172 hasPrimaryLocation W31575881721 @default.
- W3157588172 hasRelatedWork W1550158525 @default.
- W3157588172 hasRelatedWork W1585658672 @default.
- W3157588172 hasRelatedWork W1593086612 @default.
- W3157588172 hasRelatedWork W183449466 @default.
- W3157588172 hasRelatedWork W1970554275 @default.
- W3157588172 hasRelatedWork W2030283734 @default.
- W3157588172 hasRelatedWork W2050077054 @default.
- W3157588172 hasRelatedWork W2097344379 @default.
- W3157588172 hasRelatedWork W2104606980 @default.
- W3157588172 hasRelatedWork W2110717496 @default.
- W3157588172 hasRelatedWork W2125680560 @default.
- W3157588172 hasRelatedWork W2138121155 @default.
- W3157588172 hasRelatedWork W2154929064 @default.
- W3157588172 hasRelatedWork W2162418869 @default.
- W3157588172 hasRelatedWork W2246016348 @default.
- W3157588172 hasRelatedWork W2676423245 @default.
- W3157588172 hasRelatedWork W2726171540 @default.
- W3157588172 hasRelatedWork W3124244266 @default.
- W3157588172 hasRelatedWork W75921630 @default.
- W3157588172 hasRelatedWork W2000243767 @default.
- W3157588172 isParatext "false" @default.
- W3157588172 isRetracted "false" @default.
- W3157588172 magId "3157588172" @default.
- W3157588172 workType "article" @default.