Next: Panel ``Potential Areas for
Up: Panel ``Methodology of Answer
Previous: Discussion and remarks from
In summary, the statements of the panelists and the general discussion
have raised the following impressions and observations:
- Language extensions of ASP, and function symbols in
particular, seem to be an issue, and should be further
explored.
- There is an interest in formal building-block results
like splitting set theorem, equality testing, etc which allow to
``engineer'' Answer Set Programs.
- Some researchers, including Michael Gelfond and Hudson Tuner,
point out that problem encodings without complete/total information tend
to be incorrect. This, of course, challenges common-sense
reasoning, and has to be seen in connection with elaboration
tolerance.
- The view of ASP as a ``logic'' and formalization of common-sense
reasoning is a predominant issue for some researchers, while
the full power of ASP as a problem solving paradigm (in the
computational sense) is of lesser interest to them.
- Interaction between ASP-Solvers and Prolog systems might be
promising, as well as interacting applications.
Stefan Woltran
2005-08-22