Combining goal generation and planning in an argumentation framework (bibtex)
by Joris Hulstijn, Leendert W. N. van der Torre
Abstract:
We study conflicts between goals and plans in Dung's abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beliefs. Recently Amgoud has proposed to use it for conflicts between plans. Amgoud argues that Dung's argumentation theory has to be adjusted, because conflicts between plans are fundamentally different from conflicts between defaults. We agree with the fundamental difference, but we propose an alternative way to deal with conflicts between plans that stays within Dung's framework. Moreover, we extend Amgoud s argumentation framework for planning with goal generation procedures, that can deal with conflicts between goals. In the proposed framework goals are derived from desires by forward reasoning, and plans are derived from goals and planning rules by backward reasoning.
Reference:
Combining goal generation and planning in an argumentation framework (Joris Hulstijn, Leendert W. N. van der Torre), In NMR, 2004.
Bibtex Entry:
@InProceedings{Hulstijn2004,
  Title                    = {Combining goal generation and planning in an argumentation framework},
  Author                   = {Joris Hulstijn and Leendert W. N. van der Torre},
  Booktitle                = {NMR},
  Year                     = {2004},
  Pages                    = {212-218},

  Abstract                 = {We study conflicts between goals and plans in Dung's abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beliefs. Recently Amgoud has proposed to use it for conflicts between plans. Amgoud argues that Dung's argumentation theory has to be adjusted, because conflicts between plans are fundamentally different from conflicts between defaults. We agree with the fundamental difference, but we propose an alternative way to deal with conflicts between plans that stays within Dung's framework. Moreover, we extend Amgoud s argumentation framework for planning with goal generation procedures, that can deal with conflicts between goals. In the proposed framework goals are derived from desires by forward reasoning, and plans are derived from goals and planning rules by backward reasoning.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/nmr04.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/nmr/2004},
  Ee                       = {http://www.pims.math.ca/science/2004/NMR/papers/paper28.pdf},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/nmr04.pdf}
}
Powered by bibtexbrowser