Clingo Answer Set Programming
This is a case study of Answer Set Programming which integrates both research and application for modeling a
domain. The following are essential requirements for your work:
1. You need to create a problem domain which contains various objects and domain rules, for instance, think of the
Copyright By PowCoder代写 加微信 powcoder
student enrollment system, the blocks worlds, etc.;
2. Your problem domain should be general enough and dynamic, that is, the domain contains at least 10 different
objects and two different actions executable by a robot;
3. Provide your domain problem in clear English description;
4. Formalize your domain using AL language and therefore to form a “System Description (SD)” under AL syntax;
5. Translate your System Description (SD) into a proper ASP program (note: inertia rules, closed world assumptions
should be taken into account);
6. Evaluate at least 3 different queries by computing your ASP program using clingo.
About your submission and presentation:
1. You need to submit your work by 6:00pm on the due date;
2. Your submission should include: (a) A complete English description about your problem domain scenario, including
the general domain information, domain objects, domain rules, actions, etc.; (b) A complete System Description
which represents your domain in AL syntax; (c) A complete clingo program which encodes your AL System
Description; and (d) relevant screen shots of running your ASP program for query evaluations;
3. You need to give a 10-15 min presentation during 3:00pm -5:00pm on the due date.
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com