Most applications of inductive logic programming focus on prediction or the discovery of new knowledge. We describe a less common application of ILP namely veri cation and validation of knowledge based systems and multi-agent systems. Using inductive logic programming, partial declarative speci cations of the software can be induced from the behavior of the software. These rules can be readily interpreted by the designers or users of the software, and can in turn result in changes to the software. The approach outlined was tested in the domain of multi-agent systems, more in particular the RoboCup domain.
An important ingredient in agentmediated Electronic Commerce is the presence of intelligent agents that assist Electronic Commerce participants (e.g., individual users, other agents, organisations). These mediating agents are in principle autonomous agents that will interact with their environments (e.g. other agents and webservers) on behalf of the participants who have delegated tasks to them. For mediating agents a (preference) model of these participants is indispensable. In this paper, a generic mediating agent architecture is introduced. Furthermore, we discuss our view of user preference modelling and its need in agentmediated electronic commerce. We survey the state of the art in the field of preference modelling and suggest that preferences of the involved participants can be modelled by learning from their behaviour. In particular, we employ an existing machine learning method called inductive logic programming (ILP). We argue that this method can be used by mediating agents to detect regularities in the behaviour of the involved participants and induce hypotheses about their preferences automatically and dynamically. Finally, we discuss some advantages and disadvantages of using inductive logic programming as a method for preference modelling and compare it with other approaches.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.