next up previous
Next: Yannis Dimopoulos Up: Statements of the panelists Previous: Torsten Schaub

Ken Satoh

first presented his general view on ASP. Its key issue is to provide declarative and concise specifications, but no (explicit) control. Therefore, we have:
+ people not wanting a search algorithm are happy;
- no direct influence and control.
Programming is different than for standard logic programming, but somewhat similar to linear/integer programming. Satoh's answers to the concrete questions are:

Ad Q1.
A candidate for a killer application could be from the area of linear/integer programming, where modeling using numbers is hard.

Ad Q2.
Not suitable for interactive systems.

Ad Q3.
Use ASP as a batch system, combined with standard (procedural) languages. E.g., Quake as in the presentation by Alessandro Provetti in the JELIA'04 system-demonstration session.

Ad Q5.
Missing: declarative control mechanism, combination methods with procedural methods.

Ad Q6.
``Work hard!''



Stefan Woltran 2005-08-22