imported>Cewbot: Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer science}}.

2024-01-25T02:48:36Z

Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer science}}.

New page

{{Talk header}}
{{WikiProject banner shell|class=Start|
{{WikiProject Computer science|importance=low}}
}}
== Article is completely opaque for anyone who isn't already an expert ==
Can someone attempt to rewrite this article for benefit of people who aren't already 100% aware of answer set programming is? Relevant examples would be a huge help. — Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/38.99.133.121|38.99.133.121]] ([[User talk:38.99.133.121|talk]]) 18:56, 3 October 2012 (UTC) 

== tail/body ==

"An answer set program is composed of a set of rules, each rules being composed of an head and a tail: 'head <-- body'" is that supposed to be "head <-- tail"?
:Actually, it's "body" the correct term; "tail" was my mistake. Changed. - [[User:Paolo Liberatore|Liberatore]]([[User talk:Paolo Liberatore|T]]) 23:03, 12 May 2006 (UTC)

Afaik there are no negations allowed in the head, so my guess is that these examples are wrong [[User:Kermesbeere|Kermesbeere]] 16:05, 8 January 2007 (UTC)

:V. Lifschitz (2002) disagrees with you: "The negation as failure symbol is allowed to occur in the head of a rule, and not only in the body as in traditional logic programming." (page 41, lines 8-9). If don't have access to that article see [http://citeseer.ist.psu.edu/inoue98negation.html]. [[User talk:Tizio|Tizio]] 17:00, 8 January 2007 (UTC)
:: Negation as failure in the head may well be permissible in the language discussed in that paper, but that should be considered as an extension -- and not part of the usual syntax for answer set programs [[User:Zootalures|Zootalures]] 17:59, 18 February 2007 (UTC)

Either way, negation as failure is currently not defined in the article at all. The "not" symbol is used in some of the examples, but is nowhere defined. See [[Stable model semantics]]. [[Special:Contributions/141.157.47.37|141.157.47.37]] ([[User talk:141.157.47.37|talk]]) 11:59, 26 May 2009 (UTC)

== Start of Clean up ==

I've made a go at cleaning up the article a bit, although it's still not perfect. The Math sections which were in the syntax section before looked messy (and IMHO the example rules given were not representative of the "standard" ASP syntax (see for instance [http://portal.acm.org/citation.cfm?id=582493&dl=] for a good overview of the "basic" syntax and a number of extensions).

I'd prefer it if the rule sections that i've added were in math blocks using the "formal" syntax (i.e. <math>\neg</math> and <math>\leftarrow</math>instead of <code>-</code> and <code>:-</code> , but the latex converter was a bit fickle and it was hard to get a given program to look consistent (parts seemed to be translated to png, and others to HTML, which looked ugly).

It would be nice to see some coverage of disjunction and choice in the head (i.e. dlv head choice and smodels choice rules), also something about variable expansion, and function symbols (and possibly how they are considered in relation to predicates in prolog)

Also there should probably be some context and history relating to [[Datalog]] but I'm not well enough versed to provide this.

There should also be a link to or merge with [[Stable model semantics]].

[[User:Zootalures|Zootalures]] 00:41, 19 February 2007 (UTC)

From stable model semantics you get both ASP (credulous reasoning) and Well-founded Semantics as implemented e.g. by [[XSB]] using the SLG-WAM which are two competing ways to represent knowledge. ASP is not synonymous with stable models. --anon user

Hello!
[[User:Ricardo.6ik|Ricardo.6ik]] 01:39, 19 June 2007 (UTC)

I have significantly extended [[Stable model semantics]], and I plan to add a few more sections about constructs used in ASP -- classical negation, constraints, disjunctive rules, choice rules and aggregates. Then that article will completely supersede the current version of [[Answer set programming]]. Here is my proposal: let's rewrite [[Answer set programming]] from scratch, with a different emphasis. It will be about ASP as a ''programming methodology'', about applications of stable models and answer set solvers, such as smodels, to knowledge representation and search. For theoretical background related to stable models, the reader will be referred to [[Stable model semantics]].

That would require that we replace the current version of [[Answer set programming]] by a new stub. If there are no objections then I'll try to do that. [[User:Vlifschitz|Vlifschitz]] 20:54, 7 September 2007 (UTC)

The earlier version is replaced by a new stub, with apologies to the editors who have invested their time in cleaning up the original text.
[[User:Vlifschitz|Vlifschitz]] 19:03, 3 October 2007 (UTC)

can this be disambiguated vs. asp.net? Thanks![[User:Highland8410|Highland8410]] ([[User talk:Highland8410|talk]]) 19:51, 2 June 2016 (UTC)

== Merge with answer set programming ==

The recent edit by Vladimir Lifschitz confirms that stable models have an independent significance from answer set programming. This article is worth keeping separate. —Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Logperson|Logperson]] ([[User talk:Logperson|talk]] • [[Special:Contributions/Logperson|contribs]]) 20:25, August 29, 2007 (UTC) 

== The computational process ==

It would be useful to have more information in the article about the computational process. Otherwise, it is hard to be sure that answer set programs are really declarative. The link to the DPLL algorithm does not give enough information about the treatment of negation.[[Special:Contributions/136.187.112.90|136.187.112.90]] ([[User talk:136.187.112.90|talk]]) 02:22, 25 March 2008 (UTC)

== confused! ==
The article says:
<pre>
1{p,q,r}2.
</pre>

This rule says: choose at least 1 of the atoms <math>p,q,r</math>, but not more than 2. The meaning of this rule under the stable model semantics is represented by the [[propositional formula]]

:<math>(p\lor\neg p)\land(q\lor\neg q)\land(r\lor\neg r)</math>

::<math>\land\,(p\lor q\lor r)\land\neg(p\land q\land r).</math>

Yet the answer contains p,q, and r in at least 2 of the clauses! Please clarify. Perhaps an example of 1{p,q,r}3 or something would help.

[[Special:Contributions/72.48.91.117|72.48.91.117]] ([[User talk:72.48.91.117|talk]]) 15:32, 21 April 2010 (UTC)

:It is not the number or size of clauses that matters but the assignment of true or false to p, q and r such that the formula is satisfied. Let's consider satisfying none of p, q and r: for the first three clauses, that works but then we can't satisfy the fourth clause. Let's consider each of p, q and r: for the first four clauses, that works but then we can't satisfy the last clause. Satisfying the formula with 1 or 2 of p, q and r is possible however. - [[User:Simeon|Simeon]] ([[User talk:Simeon|talk]]) 01:45, 9 June 2010 (UTC)

::Another remark on this example: the first line of the formula does not make any difference, since that part is a tautology, i.e. it evaluates always to true. Only the second part is needed:

::<math>(p\lor q\lor r)\land\neg(p\land q\land r).</math>

::[[User:Eray|Eray]] ([[User talk:Eray|talk]]) 08:22, 16 July 2013 (UTC)

== Relationship to [[QBF]] ? ==

This is a naive or stupid question or both: but what exactly is the relationship to [[QBF]]? I noticed, just from hands-on experience writing some ASP programs, that most clauses/sentences that one writes are of the form "there exists" (i.e. if this is true(i.e. exists) then that is true (i.e. exists)), while aggregates tend to have a "for-all" flavor to them. Now, one can't nest these arbitrarily (clasp/clingo spews an error about "unstratified predicates" or something like that), but still, ASP seems to somehow have a there-exists/for-all-like structure, nested to (no more than) one level. Can this be expressed formally? Or perhaps in the [[stable model semantics]] article? [[User:Linas|linas]] ([[User talk:Linas|talk]]) 04:38, 25 April 2012 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified {{plural:1|one external link|1 external links}} on [[Answer set programming]]. Please take a moment to review [https://en.wikipedia.org/w/index.php?diff=prev&oldid=744429569 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20080223132705/http://asparagus.cs.uni-potsdam.de:80/contest/ to http://asparagus.cs.uni-potsdam.de/contest/

When you have finished reviewing my changes, please set the ''checked'' parameter below to '''true''' or '''failed''' to let others know (documentation at {{tlx|Sourcecheck}}).

{{sourcecheck|checked=false}}

Cheers.—[[User:InternetArchiveBot|'''InternetArchiveBot''']] ([[User talk:InternetArchiveBot|Report bug]]) 04:42, 15 October 2016 (UTC)

== Plagiarism? ==

I notice the opening to this article and the History section are taken almost verbatim from an unreferenced AAAI 2008 research paper due to Vladimir Lifschitz:
https://www.aaai.org/Papers/AAAI/2008/AAAI08-270.pdf

I suggest a cleanup. — Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/49.127.106.93|49.127.106.93]] ([[User talk:49.127.106.93#top|talk]]) 00:55, 20 September 2019 (UTC) 

== What is the correct case for "Lparse"? ==

What is the correct case for the language "Lparse", note that it is a specific word. Is the correct case "Lparse" as in "[[Python (programming language)|Python]]"? or the correct case is "lparse" as in [[eC (programming language)|eC]] or [[occam]]. It is sometimes written as "lparse". Thanks, [[User:Hooman Mallahzadeh|Hooman Mallahzadeh]] ([[User talk:Hooman Mallahzadeh|talk]]) 13:15, 29 May 2021 (UTC)

: Apparently, the authors of Lparse themselves are inconsistent in their own usage.
: Look at the papers that mention lparse, when you type lparse into Google Scholar.[[User:Logperson|Logperson]] ([[User talk:Logperson|talk]]) 21:05, 29 May 2021 (UTC)

Talk:Answer set programming - Revision history

imported>Cewbot: Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer science}}.