Communication publiée dans un périodique (Colloques, congrès, conférences scientifiques et actes)
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity
Zhou, Yi; VAN DER TORRE, Leon; Zhang, Yan
2008 • In Abstract book of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1, p. 413–420
[en] Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2009-283
Auteur, co-auteur :
Zhou, Yi
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Zhang, Yan
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity
Date de publication/diffusion :
2008
Nom de la manifestation :
7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1
Date de la manifestation :
2008
Manifestation à portée :
International
Titre du périodique :
Abstract book of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1
