Desires, norms and constraints

Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004

Volumn 2, Issue , 2004, Pages 724-731

  Cholvy, Laurence ^a   Garion, Christophe ^b  

^a ONERA   (France)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN CONSTRAINTS; FORMAL SYSTEMS; MULTI-AGENT CONTEXT; REQUIREMENT ENGINEERING;

CONSTRAINT THEORY; DECISION MAKING; INFORMATION ANALYSIS; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS;

MULTI AGENT SYSTEMS;

EID: 4544272632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. S. Benferhat, D. Dubois, S. Kaci, and H. Prade. Bipolar representation and fusion of preferences on the possibilistic logic framework. In D. Fensel, F. Giunchiglia, D. L. McGuinness, and M.-A. Williams, editors, Proceedings of the eight International Conference on Principles of Knowledge Representation and Reasoning (KR'02), pages 421-448. Morgan Kaufmann, 2002.
2. C. Boutilier. Conditional logics of normality : a modal approach. Artificial Intelligence, 68(1): 87-154, 1994.
3. C. Boutilier. Toward a logic for qualitative decision theory. In J. Doyle, E. Sandewall, and P. Torasso, editors, Principles of Knowledge Representation and Reasoning (KR'94), pages 75-86. Morgan Kaufmann, 1994.
4. C. Boutilier, R. Brafman, H. Hoos, and D. Poole. Reasoning with conditional ceteris paribus preference statements. In Proceedings of the fifteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI'99), pages 71-80, 1999.
5. J. Broersen, M. Dastani, and L. van der Torre. Resolving conflicts between beliefs, obligations, intentions and desires. In S. Benferhat and P. Besnard, editors, Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2001, volume 2143 of Lecture Notes in Computer Science, pages 568-579. Springer, 2001.
6. B. Chellas. Modal logic. An introduction. Cambridge University Press, 1980.
7. L. Cholvy and C. Garion. An attempt to adapt a logic of conditional preferences for reasoning with contrary-to-duties. Fundamenta Informaticae, 48(2,3):183-204, November 2001.
8. th International Workshop on Deontic Logic In Computer Science (ΔEON'02), pages 55-71, Londres, May 2002.
9. L. Cholvy and C. Garion. Deriving individual obligations from collective obligations. In J. S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors, Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, pages 962-964. ACM Press, July 2003.
10. L. Cholvy and A. Hunter. Merging requirements from different agents. Knowledge Based Systems, 16:113-126, 2003.
11. F. Dignum, D. Kinny, and L. Sonenberg. From desires, obligations and norms to goals. Cognitive Science Quartely, 2(3-4):407-430, 2002.
12. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. In IEEE Transactions on Software Engineering, volume 20, pages 569-578, August 1994.
13. C. Garion. Apports de la logique mathématique en ingeβnierie des exigences. PhD thesis, École Nationale Supérieure de l'Aéronautique et de l'Espace, 2002. In French.
14. A. Hunter and B. Nuseibeh. Managing inconsistent specifications : Reasoning, analysis and action. Transactions on Software Engineering and Methodology, 7(4):335-367, October 1998.
15. J. Lang. Conditional desires and utilities - an alternative logical approach to qualitative decision theory. In W. Wahlster, editor, Proceedings of the Twelth European Conference on Artificial Intelligence ECAI 96, pages 318-322. Jonh Wiley and Sons, Ltd., 1996.
16. A. Rao and M. Georgeff. Modeling rational agents within a BDI architecture. In Proceedings of the Second International Conference on Konwledge Representation and Reasoning (KR'91), pages 473-484. Morgan Kaufmann, 1991.
17. S.-W. Tan and J. Pearl. Specification and evaluation of preferences under uncertainty. In J. Doyle and al, editors, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), pages 530-539, Bonn, Germany, 1994. Morgan Kaufmann.
18. L. van der Torre and E. Weydert. Parameters for utilitarian desires in a qualitative decision theory. Applied Intelligence, 14:285-301, 2001.