Stable model semantics (original) (raw)
The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis ofanswer set programming.
| Property | Value |
|---|---|
| dbo:abstract | The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis ofanswer set programming. (en) La sémantique des modèles stables est une sémantique déclarative en programmation logique utilisant la négation par l'échec. C'est l'une des nombreuses approches standard pour la signification de la négation dans la programmation logique, au côté de la terminaison de programme et de la sémantique bien fondée. La sémantique du modèle stable est à la base du langage de programmation déclarative Answer Set Programming (ASP). (fr) Il modello stabile (stable model), o answer set, è un concetto utilizzato per definire una semantica dichiarativa nella programmazione logica con negazione. Il concetto di modello stabile, introdotto da Gelfond e Lifschitz nel 1988, è alla base dell'answer set programming. (it) O conceito de modelo estável, ou conjunto de respostas, é usado para definir uma semântica declarativa em programas lógicos com negação por falha. Esta é uma das várias abordagens para o significado da negação na lógica de programação, juntamente com a completude do programa e a semântica bem formada. A semântica de modelo estável é a base da programação de conjunto de resposta. (pt) Поняття стійко́ї моде́лі (англ. stable model), або набору відповідей, застосовується для визначення декларативних семантик для логічних програм із запереченням як відмовою. Це один із декількох стандартних підходів до значення заперечення в логічному програмуванні, поряд із повнотою програми та . Семантики стійких моделей є основою програмування наборами відповідей. (uk) |
| dbo:wikiPageExternalLink | http://www.cs.utexas.edu/users/vl/papers/clnegdd.ps http://www.cs.utexas.edu/users/vl/papers/mfasp.ps http://www.cs.utexas.edu/users/vl/papers/stable.ps https://dx.doi.org/10.1016/0004-3702%2887%2990043-9 http://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ilps93.ps.gz http://www.cs.ust.hk/faculty/flin/papers/assat-aij-revised.pdf http://ai2-s2-pdfs.s3.amazonaws.com/37f3/19f2f8af842631ff9972e1bfd91b99f93511.pdf https://link.springer.com/chapter/10.1007/11546207_10 https://www.researchgate.net/publication/220492237 http://www.umiacs.umd.edu/~horty/courses/readings/reiter-default-1980.pdf https://www.aaai.org/Papers/AAAI/1987/AAAI87-037.pdf |
| dbo:wikiPageID | 4224978 (xsd:integer) |
| dbo:wikiPageLength | 31709 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1117628313 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prolog dbr:Propositional_formula dbr:Model_theory dbr:Negation_as_failure dbr:Answer_set_programming dbr:Antecedent_(logic) dbr:Antichain dbr:Default_logic dbr:Consequent dbr:Negation dbr:Open_world_assumption dbr:Modal_operator dbr:NP-complete dbr:Closed_world_assumption dbr:Kripke_semantics dbr:Propositional_logic dbr:Truth_value dbr:Logic_programming dbr:Michael_Gelfond dbr:Knowledge_representation dbr:Tautology_(logic) dbc:Logic_programming dbc:Model_theory dbr:John_McCarthy_(computer_scientist) dbr:Eight_queens_puzzle dbr:Autoepistemic_logic dbr:Polynomial_hierarchy dbr:Ground_expression dbr:SLD_resolution dbr:Semantics_(computer_science) dbr:Well-founded_semantics dbr:Nonmonotonic_logic dbr:Literal_(mathematical_logic) dbr:Truth_tables dbr:Inference_rule |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Cite_journal dbt:Mvar dbt:Reflist dbt:Tmath |
| dct:subject | dbc:Logic_programming dbc:Model_theory |
| rdfs:comment | The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis ofanswer set programming. (en) La sémantique des modèles stables est une sémantique déclarative en programmation logique utilisant la négation par l'échec. C'est l'une des nombreuses approches standard pour la signification de la négation dans la programmation logique, au côté de la terminaison de programme et de la sémantique bien fondée. La sémantique du modèle stable est à la base du langage de programmation déclarative Answer Set Programming (ASP). (fr) Il modello stabile (stable model), o answer set, è un concetto utilizzato per definire una semantica dichiarativa nella programmazione logica con negazione. Il concetto di modello stabile, introdotto da Gelfond e Lifschitz nel 1988, è alla base dell'answer set programming. (it) O conceito de modelo estável, ou conjunto de respostas, é usado para definir uma semântica declarativa em programas lógicos com negação por falha. Esta é uma das várias abordagens para o significado da negação na lógica de programação, juntamente com a completude do programa e a semântica bem formada. A semântica de modelo estável é a base da programação de conjunto de resposta. (pt) Поняття стійко́ї моде́лі (англ. stable model), або набору відповідей, застосовується для визначення декларативних семантик для логічних програм із запереченням як відмовою. Це один із декількох стандартних підходів до значення заперечення в логічному програмуванні, поряд із повнотою програми та . Семантики стійких моделей є основою програмування наборами відповідей. (uk) |
| rdfs:label | Sémantique des modèles stables (fr) Semantica del modello stabile (it) Stable model semantics (en) Semântica de modelo estável (pt) Семантика стійких моделей (uk) |
| owl:sameAs | freebase:Stable model semantics wikidata:Stable model semantics dbpedia-fr:Stable model semantics dbpedia-it:Stable model semantics dbpedia-pt:Stable model semantics dbpedia-uk:Stable model semantics https://global.dbpedia.org/id/4va3q |
| prov:wasDerivedFrom | wikipedia-en:Stable_model_semantics?oldid=1117628313&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Stable_model_semantics |
| is dbo:wikiPageRedirects of | dbr:Answer_set dbr:Answer_set_semantics dbr:Stable_model |
| is dbo:wikiPageWikiLink of | dbr:Negation_as_failure dbr:Answer_set_programming dbr:DLV dbr:Vladimir_Lifschitz dbr:François_Fages dbr:Glossary_of_artificial_intelligence dbr:Closed-world_assumption dbr:Horn_clause dbr:Logic_programming dbr:Non-monotonic_logic dbr:Frame_problem dbr:Michael_Gelfond dbr:Rule_Interchange_Format dbr:Autoepistemic_logic dbr:Open-world_assumption dbr:Well-founded_semantics dbr:Answer_set dbr:Answer_set_semantics dbr:Stable_model |
| is foaf:primaryTopic of | wikipedia-en:Stable_model_semantics |