References of "Governatori, Guido 30000248"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailContextual Agent Deliberation in Defeasible Logic
Dastani, Mehdi UL; Governatori, Guido UL; Rotolo, Antonino UL et al

in PRIMA (2007)

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 ... [more ▼]

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. [less ▲]

Detailed reference viewed: 32 (0 UL)
Full Text
Peer Reviewed
See detailFIPA Communicative Acts in Defeasible Logic
Boella, Guido UL; Hulstijn, Joris UL; Governatori, Guido UL et al

in Proceedings of NRAC'07 (2007)

In agent communication languages, the inferences that can be made on the basis of a communicative action are inherently conditional, and non-monotonic. For exam- ple, a proposal only leads to a commitment ... [more ▼]

In agent communication languages, the inferences that can be made on the basis of a communicative action are inherently conditional, and non-monotonic. For exam- ple, a proposal only leads to a commitment, on the con- dition that it is accepted. And in a persuasion dialogue, assertions may later be retracted. In this paper we there- fore present a defeasible logic that can be used to express a semantics for agent communication languages, and to efficiently make inferences on the basis of communica- tive actions. The logic is non-monotonic, allows nested rules and mental attitudes as the content of communica- tive actions, and has an explicit way of expressing per- sistence over time. Moreover, it expresses that mental attitudes are publicly attributed to agents playing roles in the dialogue. To illustrate the usefulness of the logic, we reformalize the meta-theory underlying the FIPA se- mantics for agent communication, focusing on inform and propose. We show how composed speech acts can be formalized, and extend the semantics with an account of persuasion [less ▲]

Detailed reference viewed: 15 (0 UL)