[en] This article extends Defeasible Logic to deal with the contextual de-
liberation process of cognitive agents. First, we introduce meta-rules to reason
with rules. Meta-rules are rules that have as a consequent rules for motivational
components, such as obligations, intentions and desires. In other words, they in-
clude nested rules. Second, we introduce explicit preferences among rules. They
deal with complex structures where nested rules can be involved.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2010-290
Auteur, co-auteur :
DASTANI, Mehdi ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
GOVERNATORI, Guido ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
ROTOLO, Antonino ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
SONG, Insu ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Antoniou, G., Billington, D., Governatori, G., Mahe, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255-287 (2001)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding Defeasible Logic in Logic Programming. Theory and Practice of Logic Programming 6(6), 703-735 (2006)
Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cog. Sc. Quart. 2(3-4), 428-447 (2002)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42(2-3), 213-261 (1990) (Pubitemid 20673783)
Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.3835, pp. 621-636. Springer, Heidelberg (2005) (Pubitemid 43955343)
Governatori, G., Padmanabhan, V., Rotolo, A.: Rule-based agents in temporalised defeasible logic. In: Yang, Q., Webb, G. (eds.) PRICAI 2006. LNCS (LNAI), vol.4099, pp. 31-40. Springer, Heidelberg (2006)
Governatori,G.,Rotolo,A.:Defeasible logic:Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.3065, pp. 114-128. Springer, Heidelberg (2004)
Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193-215 (2006)
Governatori, G., Rotolo, A., Padmanabhan, V.: The cost of social agents. In: Proc. AAMAS 2006, pp. 513-520 (2006) (Pubitemid 46609512)
Rao, A.S.,Georgeff, M.P.: Decision procedures for bdi logics. J. Log. Comput. 8(3), 293-342 (1998) (Pubitemid 128637748)
Song, I., Governatori, G.: Nested rules in defeasible logic. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.3791, pp. 204-208. Springer, Heidelberg (2005) (Pubitemid 43774512)
