Answer set programming: Difference between revisions

Revision as of 23:05, 9 September 2021

Revision as of 16:54, 8 October 2021

Line 8:

==History==

The [[Automated planning and scheduling|planning]] method proposed in 1993 by Dimopoulos, Nebel and Köhler<ref>

{{cite book |first1=Y. |last1=Dimopoulos |author2-link=Bernhard Nebel |first2=B. |last2=Nebel |first3=J. |last3=Köhler |chapter=Encoding planning problems in non-monotonic logic programs |pages=273–285 |editor1-first=Sam |editor1-last=Steel |editor2-first=Rachid |editor2-last=Alami |title=Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97, Toulouse, France, September 24–26, 1997, Proceedings |url=https://books.google.com/books?id=QSBoQgAACAAJ |year=1997 |publisher=Springer |isbn=978-3-540-63912-1 |volume=1348 |series=Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence}} [https://web.archive.org/web/20170705062155/ftp://ftp.informatik.uni-freiburg.de/documents/papers/ki/dimopoulos-etal-ecp97.ps.gz as Postscript]</ref>

is an early example of answer set programming. Their approach is based on the relationship between plans and stable models.<ref>

{{cite book |first1=V.S. |last1=Subrahmanian |first2=C. |last2=Zaniolo |chapter=Relating stable models and AI planning domains |editor-first=Leon |editor-last=Sterling |title=Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming |chapter-url=https://books.google.com/books?id=vpGEyZWP1dYC&pg=PA233 |year=1995 |publisher=MIT Press |isbn=978-0-262-69177-2 |pages=233–247}} [http://www.cs.ucla.edu/%7Ezaniolo/papers/iclp95.ps as Postscript]</ref>

Line 216:

===Dependency parsing===

In [[natural language processing]], [[parsing|dependency-based parsing]] can be formulated as an ASP problem.<ref>{{Cite web |url=http://loqtek.com/?id=course_pars&sec=1 |title=Dependency parsing |access-date=2015-04-15 |archive-url=https://archive.istoday/20150415155632/http://loqtek.com/?id=course_pars&sec=1 |archive-date=2015-04-15 |url-status=dead }}</ref>

The following code parses the Latin sentence "Puella pulchra in villa linguam latinam discit", "the pretty girl is learning Latin in the villa".

The syntax tree is expressed by the ''arc'' predicates which represent the dependencies between the words of the sentence.