About: DLV     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Language106282651, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDLV

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:

AttributesValues
rdf:type
rdfs:label
  • DLV
  • DLV
rdfs:comment
  • DLV-система (від англ. DataLog with Disjunction, де використовується символ диз'юнкції V) є диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей. Система розширює мову datalog і дозволяє використання АБО в правилах. У підручнику наведено простий приклад моделювання сміху, коли розповідається про жарт. жарт сміятися: - жарт. Наступне означає ситуацію, коли жарту не було сказано. сміятися: - жарт. Оскільки значення жарту не вказується як істинне у другій програмі, то воно вважається хибним за умовчанням.
  • 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:
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has 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
  • DLV-система (від англ. DataLog with Disjunction, де використовується символ диз'юнкції V) є диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей. Система розширює мову datalog і дозволяє використання АБО в правилах. У підручнику наведено простий приклад моделювання сміху, коли розповідається про жарт. жарт сміятися: - жарт. Наступне означає ситуацію, коли жарту не було сказано. сміятися: - жарт. Оскільки значення жарту не вказується як істинне у другій програмі, то воно вважається хибним за умовчанням.
prov:wasDerivedFrom
page length (characters) of wiki page
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is Wikipage disambiguates of
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software