Programming Goal-Driven Web Sites Using an Agent Logic Language

Authors:
Matteo Baldoni;Cristina Baroglio;Alessandro Chiarotto;Viviana Patti
Affiliations:
-;-;-;-
Venue:
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Year:
2001

Citing 9
Cited 1

User models in dialog systems

User models in dialog systems
Tailoring the interaction with users in electronic shops

UM '99 Proceedings of the seventh international conference on User modeling
A configurable system for the construction of adaptive virtual stores

World Wide Web
A Tableau for Multimodal Logics and Some (Un)Decidability Results

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Modal Tableaux for Reasoning About Actions and Plans

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction

ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
A Formal Specification of dMARS

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
PDL-based framework for reasoning about actions

AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming

NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we show how an agent programming language, based on a formal theory of actions, can be employed to implement adaptive web applications, where a personalized dynamical site generation is guided by the user's needs. For this purpose, we have developed an on-line computer seller in DyLOG, a modal logic programming language which allows one to specify agents acting, interacting, and planning in dynamic environments. Adaptation at the navigation level is realized by dynamically building a presentation plan for solving the problem to assemble a computer, being driven by goals generated by interacting with the user. The planning capabilities of DyLOG are exploited to implement the automated generation of a presentation plan to achieve the goals. The DyLOG agent is the "reasoning" component of a larger system, called WLog, which is described in this paper.