Premium
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory
Author(s) -
Son Tran Cao,
Pontelli Enrico
Publication year - 2004
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.0824-7935.2004.00242.x
Subject(s) - computer science , action (physics) , extension (predicate logic) , set (abstract data type) , natural (archaeology) , artificial intelligence , mathematical economics , mathematics , archaeology , history , physics , quantum mechanics , programming language
This paper shows how action theories, expressed in an extended version of the language , can be naturally encoded using Prioritized Default Theory . We also show how prioritized default theory can be extended to express preferences between rules . This extension provides a natural framework to introduce different types of preferences in action theories— preferences between actions and preferences between final states . In particular, we demonstrate how these preferences can be expressed within extended prioritized default theory. We also discuss how this framework can be implemented in terms of answer set programming.