Semantics for dynamic logic programming: A principle-based approach
| Autor: | José Júlio Alferes, Antonio Brogi, Federico Banti, João Leite |
|---|---|
| Předmět: |
Knowledge representation and reasoning
Game semantics Computer science Formal semantics (linguistics) Logic model Semantics computer.software_genre Higher-order logic Operational semantics Denotational semantics Logical programming Failure semantics Logic programming Programming language business.industry Classical logic Multimodal logic Type erasure Axiomatic semantics Action semantics Well-founded semantics Computational semantics Semantics of logic Proof-theoretic semantics Artificial intelligence business computer Stable model semantics |
| Zdroj: | CIÊNCIAVITAE Scopus-Elsevier Logic Programming and Nonmonotonic Reasoning ISBN: 9783540207214 LPNMR |
| Popis: | Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle – the refined extension principle – which is complied with by the stable model semantics for (single) logic programs. It turns out that none of the existing semantics for logic program updates, even though based on stable models, complies with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|