Next: Yannis Dimopoulos
Up: Statements of the panelists
Previous: Torsten Schaub
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