Back to 2014-proposals
Title: Say what you want not how you want it done - logic programming with answer sets
Proposer: Marina De Vos
Proposer: Willem van den Ende
Type: Presentation
Duration: 90 mins
Description:
If you’ve ever struggled with programming a solution for a problem that
had easy to describe constraints, but is difficult to implement, this
session may be for you. Good programmers are lazy - so why waste your
time implementing a solution when the computer can do it for you?
In this session you will learn how to let the computer solve your
problems with declarative programming. It is a programming paradigm that
allows the programmer to describe a problem and the requirements on the
solutions in an intuitive way, rather than describing the algorithm to
find the solutions to the problem. ASP (Answer Set Programming) is a
declarative programming paradigm with its roots in knowledge
representation and reasoning, a subset of artificial intelligence. In
this session we’ll introduce you to the basic principles of this
programming paradigm through guided exercises. You will get acquainted
with concepts like negation as failure, closed world assumption and
model generation.
Join us for some hands-on fun! Learn how describing your problems is
sometimes enough to get them solved.
Practical notes:
If you have a laptop, please bring it. We'll be programming in pairs, so
if you don't have a laptop you can work with someone else. We will be
using the clingo program. You can install it on your own machine, or log
in to our server with ssh. Installation on windows (easy) and mac (may
be difficult): you can find the download link at
http://potassco.sourceforge.net/ . Debian and Ubuntu: apt-get install
gringo
2014:an_introduction_to_declarative_logic_programming_with_answer_set_programming
2014/an_introduction_to_declarative_logic_programming_with_answer_set_programming.txt · Last modified: 2016/06/11 14:05 by 127.0.0.1