Обложка Predicate Answer Set Programming with Coinduction
Название книги:

Predicate Answer Set Programming with Coinduction

Coinductive SLDNF and its applcation to Predicate Answer Set Programming

LAP LAMBERT Academic Publishing (2010-12-20 )

Books loader

Omni badge имеющий право на ваучер
ISBN-13:

978-3-8433-6582-6

ISBN-10:
3843365822
EAN:
9783843365826
Язык Книги:
Английский
Краткое описание:
We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF) resolution. We present declarative and operational semantics of co-SLDNF resolution and present their equivalence under the restriction of rationality and its applications to Answer Set Programming (ASP). ASP is a powerful programming paradigm for performing non-monotonic reasoning within logic programming. The current state of ASP solvers has been restricted to "grounded range- restricted function-free normal programs", with a "bottom-up" evaluation strategy (that is, not goal- driven) until now. The introduction of co-LP with co-SLDNF resolution has enabled the development of top-down goal evaluation strategies for ASP. We present a novel and innovative approach to solving ASP programs with co-LP. Our method eliminates the need for grounding, allows functions, and effectively handles a large class of predicate ASP programs including possibly infinite ASP programs. Moreover, it is goal-directed and top-down execution method that provides an innovative and attractive alternative to current ASP solver technology.
Издательский Дом:
LAP LAMBERT Academic Publishing
Веб-сайт:
https://www.lap-publishing.com/
By (author) :
Richard Min
Количество страниц:
180
Опубликовано:
2010-12-20
Акции:
В наличии
Категория:
Язык программирования
Цена:
68.00 €
Ключевые слова:
Logic, Coinductive Logic, Coinduction, Answer Set Programming, co-SLDNF, Coinductive SLDNF, artificial intelligence, Negation as Failure, Coinductive Logic Programming, Modal Reasoning

Books loader

Рассылка

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Банковский перевод

  0 продуктов в корзине
Редактировать корзину
Loading frontend
LOADING