DLV (original) (raw)
DLV-система (від англ. DataLog with Disjunction, де використовується символ диз'юнкції V) є диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей. Система розширює мову datalog і дозволяє використання АБО в правилах. У підручнику наведено простий приклад моделювання сміху, коли розповідається про жарт. жарт сміятися: - жарт. Наступне означає ситуацію, коли жарту не було сказано. сміятися: - жарт. Оскільки значення жарту не вказується як істинне у другій програмі, то воно вважається хибним за умовчанням.
| Property | Value |
|---|---|
| dbo:abstract | The DLV (DataLog with Disjunction, where the logical disjunction symbol V is used) system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the use of OR in rules. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions may appear in the rule heads; advanced versions also allow for negation in the bodies, which can be handled according to a semantics for negation in disjunctive logic programming. A disjunctive Datalog rule is a clause of the form: A disjunctive Datalog constraint is a clause of the form: One of the most popular nonmonotonic logics is Reiter’s [1980] defaultlogic. This logic was developed as a knowledge representation formalism and was originally not conceived as a database query language. However, a suitable setting was defined in which default logic can be used as a query language for relational databases (Default Query Language, DQL). From a practical point of view, in the context of deductive databasesdisjunctive Datalog seems to be the more suitable extension of DATALOG~than DQL. Due to its plain syntax, DATALOGv,~ is amenable to automaticprogram analysis and optimization. These results are not only of theoretical interest; problems relevant in practice such as computing the optimal tour value in the Traveling Salesman Problem and eigenvector computations can be handled in disjunctive Datalog, but not Datalog with negation (unless the Polynomial Hierarchy collapses). Example Input: Datalog with Negation as Failure smoker(john).smoker(jack).jogger(jill).jogger(john).healthy(X) :- jogger(X), \+ smoker(X). Translation to DLV: Take Clark Completion and Clausal Form smoker(X) <- X=john.smoker(X) <- X=jack.X=john v X=jack <- smoker(X).jogger(X) <- X=jill.jogger(X) <- X=john.X=jill v X=john <- jogger(X).healthy(X) v smoker(X) <- jogger(X).jogger(X) <- healthy(X)<- healthy(X) & smoker(X). Example Run: Single Stable Model ?- healthy(X).X = jill ;No (en) DLV-система (від англ. DataLog with Disjunction, де використовується символ диз'юнкції V) є диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей. Система розширює мову datalog і дозволяє використання АБО в правилах. У підручнику наведено простий приклад моделювання сміху, коли розповідається про жарт. жарт сміятися: - жарт. Наступне означає ситуацію, коли жарту не було сказано. сміятися: - жарт. Оскільки значення жарту не вказується як істинне у другій програмі, то воно вважається хибним за умовчанням. (uk) |
| dbo:wikiPageExternalLink | http://www.dlvsystem.com/html/DLV_User_Manual.html http://www.dlvsystem.com/html/The_DLV_Tutorial.html |
| dbo:wikiPageID | 1209287 (xsd:integer) |
| dbo:wikiPageLength | 2900 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1043700885 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Answer_set_programming dbr:Deductive_database dbc:Logic_programming_languages dbc:Query_languages dbr:Logic_programming dbr:Datalog dbr:Logical_disjunction dbr:Stable_model_semantics |
| dbp:wikiPageUsesTemplate | dbt:Other_uses dbt:Reflist dbt:Compu-lang-stub |
| dcterms:subject | dbc:Logic_programming_languages dbc:Query_languages |
| gold:hypernym | dbr:System |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:Abstraction100002137 yago:CommandLanguage106899446 yago:Communication100033020 yago:Language106282651 dbo:ProgrammingLanguage yago:SourceLanguage106283912 yago:WikicatQueryLanguages |
| rdfs:comment | DLV-система (від англ. DataLog with Disjunction, де використовується символ диз'юнкції V) є диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей. Система розширює мову datalog і дозволяє використання АБО в правилах. У підручнику наведено простий приклад моделювання сміху, коли розповідається про жарт. жарт сміятися: - жарт. Наступне означає ситуацію, коли жарту не було сказано. сміятися: - жарт. Оскільки значення жарту не вказується як істинне у другій програмі, то воно вважається хибним за умовчанням. (uk) The DLV (DataLog with Disjunction, where the logical disjunction symbol V is used) system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the use of OR in rules. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions may appear in the rule heads; advanced versions also allow for negation in the bodies, which can be handled according to a semantics for negation in disjunctive logic programming. A disjunctive Datalog rule is a clause of the form: (en) |
| rdfs:label | DLV (en) DLV (uk) |
| owl:sameAs | freebase:DLV yago-res:DLV wikidata:DLV dbpedia-uk:DLV https://global.dbpedia.org/id/4iWGg |
| prov:wasDerivedFrom | wikipedia-en:DLV?oldid=1043700885&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:DLV |
| is dbo:award of | dbr:Ilka_Groenewold |
| is dbo:wikiPageDisambiguates of | dbr:DLV_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Dlv |
| is dbo:wikiPageWikiLink of | dbr:Answer_set_programming dbr:DLV_(disambiguation) dbr:Datalog dbr:Nicola_Leone dbr:Dlv dbr:Ilka_Groenewold |
| is foaf:primaryTopic of | wikipedia-en:DLV |