资源论文An Argumentation-Based Interpreter for Golog Programs

An Argumentation-Based Interpreter for Golog Programs

2019-11-15 | |  70 |   36 |   0

Abstract This paper presents an argumentation-based interpreter for Golog programs. Traditional Golog interpreters are not designed to fifind the most preferred executions of a program from the perspective of an agent. Existing techniques developed to discover these executions are limited in terms of how the preferences of an agent can be expressed, and the variety of preference types that can be used to guide search for a solution. The presented work combines the use of argumentation to compare executions relative to a set of general comparison principles, and the theory behind best fifirst search to reduce the cost of the search process. To the best of our knowledge this is the fifirst work to integrate argumentation and the interpretation of Golog programs, and to use argumentation as a tool for best fifirst search

上一篇:Extending Decidable Cases for Rules with Existential Variables

下一篇:Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes

用户评价
全部评价

热门资源

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Rating-Boosted La...

    The performance of a recommendation system reli...

  • Hierarchical Task...

    We extend hierarchical task network planning wi...