A non-monotonic goal specification language for planning with preferences

Tran Cao Son, Enrico Pontelli, Chitta Baral

Research output: Contribution to journalArticle

Abstract

This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. The paper starts by presenting a basic goal specification language for planning with preferences. It then defines goal default theories (resp. with priorities) by embedding goal formulae into default logic (resp. prioritizing default logic). It is possible to show that the new language is general, as it can express several features of previously developed goal specification languages. The paper discusses how several other features can be subsumed by extending the basic goal specification language. Finally, we identify features that might be important in goal specification that cannot be expressed by our language.

Original languageEnglish (US)
Pages (from-to)202-217
Number of pages16
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9060
StatePublished - 2015

Fingerprint

Specification languages
Specification Languages
Default Logic
Planning
Specification
Specifications
Inconsistency
Express
Language

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

@article{1a2ff3281cab4e2db8dee74a8d0af597,
title = "A non-monotonic goal specification language for planning with preferences",
abstract = "This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. The paper starts by presenting a basic goal specification language for planning with preferences. It then defines goal default theories (resp. with priorities) by embedding goal formulae into default logic (resp. prioritizing default logic). It is possible to show that the new language is general, as it can express several features of previously developed goal specification languages. The paper discusses how several other features can be subsumed by extending the basic goal specification language. Finally, we identify features that might be important in goal specification that cannot be expressed by our language.",
author = "Son, {Tran Cao} and Enrico Pontelli and Chitta Baral",
year = "2015",
language = "English (US)",
volume = "9060",
pages = "202--217",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - A non-monotonic goal specification language for planning with preferences

AU - Son, Tran Cao

AU - Pontelli, Enrico

AU - Baral, Chitta

PY - 2015

Y1 - 2015

N2 - This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. The paper starts by presenting a basic goal specification language for planning with preferences. It then defines goal default theories (resp. with priorities) by embedding goal formulae into default logic (resp. prioritizing default logic). It is possible to show that the new language is general, as it can express several features of previously developed goal specification languages. The paper discusses how several other features can be subsumed by extending the basic goal specification language. Finally, we identify features that might be important in goal specification that cannot be expressed by our language.

AB - This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. The paper starts by presenting a basic goal specification language for planning with preferences. It then defines goal default theories (resp. with priorities) by embedding goal formulae into default logic (resp. prioritizing default logic). It is possible to show that the new language is general, as it can express several features of previously developed goal specification languages. The paper discusses how several other features can be subsumed by extending the basic goal specification language. Finally, we identify features that might be important in goal specification that cannot be expressed by our language.

UR - http://www.scopus.com/inward/record.url?scp=84921769169&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84921769169&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84921769169

VL - 9060

SP - 202

EP - 217

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -