×

zbMATH — the first resource for mathematics

Time and defeasibility in FIPA ACL semantics. (English) Zbl 1248.68470
Summary: Inferences about speech acts are often conditional, non-monotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in a single formalism. This paper addresses such issues in defeasible logic, and shows how to express a semantics for ACLs in order to make non-monotonic inferences on the basis of speech acts.
MSC:
68T27 Logic in artificial intelligence
68T42 Agent technology and artificial intelligence
Software:
DELORES
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Antoniou, G.; Billington, D.; Governatori, G.; Maher, M.J., Representation results for defeasible logic, ACM transactions on computational logic, 2, 2, 255-287, (2001) · Zbl 1171.68740
[2] Antoniou, G.; Billington, D.; Governatori, G.; Maher, M.J., Embedding defeasible logic into logic programming, Theory and practice of logic programming, 6, 6, 703-735, (2006) · Zbl 1108.68027
[3] Bassiliades, N.; Antoniou, G.; Vlahavas, I., A defeasible logic reasoner for the semantic web, International journal on semantic web and information systems, 2, 1-41, (2006)
[4] Boella, G.; Damiano, R.; Hulstijn, J.; van der Torre, L., Public mental attitudes for ACL semantics, (), 30-44
[5] G. Boella, R. Damiano, J. Hulstijn, L. van der Torre, Role-based semantics for agent communication: Embedding of the mental attitudes and social commitments semantics, in: Procs. AAMASʼ06, 2006, pp. 688-690.
[6] Boella, G.; Damiano, R.; Hulstijn, J.; van der Torre, L., A common ontology of agent communication languages: modelling mental attitudes and social commitments using roles, Applied ontology, 2, 3-4, 217-265, (2007)
[7] Broersen, J.; Dastani, M.; Hulstijn, J.; van der Torre, L., Goal generation in the BOID architecture, Cognitive science quarterly, 2, 3-4, 428-447, (2002)
[8] FIPA, FIPA ACL message structure specification, Tech. Rep. XC00061, Foundation for Intelligent Physical Agents, 2001.
[9] FIPA, FIPA ACL communicative act library specification, Tech. Rep. SC00037J, Foundation for Intelligent Physical Agents, 2002.
[10] Fornara, N.; Colombetti, M., A commitment-based approach to agent communication, Applied artificial intelligence, 18, 9-10, 853-866, (2004)
[11] B. Gaudou, A. Herzig, D. Longin, A logical framework for grounding-based dialogue analysis, in: Procs. of LCMASʼ05, 2006. · Zbl 1273.68373
[12] B. Gaudou, A. Herzig, D. Longin, M. Nickles, A new semantics for the FIPA agent communication language based on social attitudes, in: Procs. ECAIʼ06, 2006, pp. 245-249.
[13] ()
[14] Governatori, G.; Hulstijn, J.; Riveret, R.; Rotolo, A., Characterising deadlines in temporal modal defeasible logic, (), 486-496
[15] Governatori, G.; Palmirani, M.; Riveret, R.; Rotolo, A.; Sartor, G., Norm modifications in defeasible logic, (), 13-22
[16] Governatori, G.; Rotolo, A., A computational framework for institutional agency, Artificial intelligence and law, 16, 1, 25-52, (2008)
[17] Governatori, G.; Rotolo, A., BIO logical agents: norms, beliefs, intentions in defeasible logic, Journal of autonomous agents and multi agent systems, 17, 36-69, (2008)
[18] Governatori, G.; Rotolo, A., Changing legal systems: legal abrogations and annulments in defeasible logic, The logic journal of IGPL, 18, 1, 157-194, (2010) · Zbl 1197.68071
[19] G. Governatori, A. Rotolo, On the complexity of temporal defeasible logic, in: Procs. NMR 2010, 2010. · Zbl 1197.68071
[20] Governatori, G.; Rotolo, A.; Riveret, R.; Palmirani, M.; Sartor, G., Variations of temporal defeasible logic for modelling norm modifications, (), 155-159
[21] Governatori, G.; Rotolo, A.; Sartor, G., Temporalised normative positions in defeasible logic, (), 25-34
[22] Kontopoulos, E.; Bassiliades, N.; Governatori, G.; Antoniou, G., A modal defeasible reasoner of deontic logic for the semantic web, International journal of semantic web and information systems, 7, 1, 18-43, (2011)
[23] Kowalski, R.; Sergot, M., A logic-based calculus of events, New generation computing, 4, 67-95, (1986) · Zbl 1356.68221
[24] H.-P. Lam, G. Governatori, The making of SPINdle, in: Governatori et al. [13], pp. 315-322.
[25] Maher, M.J., Propositional defeasible logic has linear complexity, Theory and practice of logic programming, 1, 6, 691-711, (2001) · Zbl 1066.68530
[26] M. Nickles, F. Fischer, G. Weiss, Communication attitudes: A formal approach to ostensible intentions, and individual and group opinions, in: Procs. LCMASʼ05, 2006. · Zbl 1273.68384
[27] R. Rubino, Una implementazione della logica defeasible temporale per il ragionamento giuridico, PhD thesis, CIRSFID, University of Bologna, 2009.
[28] R. Rubino, A. Rotolo, A Java implementation of temporal defeasible logic, in: Governatori et al. [13], pp. 297-304.
[29] M.P. Singh, A social semantics for agent communication languages, in: Procs. IJCAI Workshop on ACLs, 2000.
[30] van Ditmarsch, H.; van der Hoek, W.; Kooi, B., Dynamic epistemic logic, (2007), Springer · Zbl 1156.03320
[31] M. Verdicchio, M. Colombetti, From message exchanges to communicative acts to commitments, in: Procs. LCMASʼ05, 2006. · Zbl 1273.68386
[32] D. Walton, E. Krabbe, Commitment in dialogue: basic concepts of interpersonal reasoning, 1995.
[33] Wooldridge, M.J., Semantic issues in the verification of agent communication languages, Journal of autonomous agents and multi agent systems, 3, 1, 9-31, (2000)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.