Abstract
Agents negotiate the meaning of terms in numerous real-life situations. When they behave so, they can be used as the basis for providing an emulation paradigm for software agents, habilitating therefore socio-technical systems to perform meaning negotiation. In this paper we focus upon two methods for meaning negotiation in defeasible logic and provide room for an analysis of how the proposed approaches perform the aforementioned process. Finally we also provide a computational analysis of the process automation problem.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50, 510–530 (1985)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory Pract. Logic Program. 6(6), 703–735 (2006)
Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. Int. J. Seman. Web Inf. Syst. 2(1), 1–41 (2006)
Boella, G., Pigozzi, G., van der Torre, L.: Agm contraction and revision of rules. J. Logic Lang. Inf. 25(3–4), 273–297 (2016)
Burato, E., Cristani, M.: Contract clause negotiation by game theory, pp. 71–80 (2007)
Burato, E., Cristani, M.: Learning as meaning negotiation: a model based on english auction. In: KES-AMSTA 2009 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications. LNCS, (LNBI, LNAI), vol. 5559, pp. 60–69 (2009)
Burato, E., Cristani, M.: The process of reaching agreement in meaning negotiation. In: Nguyen, N.T. (ed.) Transactions on Computational Collective Intelligence VII. LNCS, vol. 7270, pp. 1–42. Springer, Heidelberg (2012)
Burato, E., Cristani, M., Viganò, L.: A deduction system for meaning negotiation. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 78–95. Springer, Heidelberg (2011)
Burato, E., Cristani, M., Viganó, L.: Meaning negotiation as inference. arXiv preprint arXiv:1101.4356 (2011)
Giusto, P., Governatori, G.: A new approach to base revision. In: Barahona, P., Alferes, J.J. (eds.) EPIA 1999. LNCS (LNAI), vol. 1695, pp. 327–341. Springer, Heidelberg (1999)
Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. J. Logic Comput. 14(5), 675–702 (2004)
Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S., Cristani, M.: Picking up the best goal. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 99–113. Springer, Heidelberg (2013)
Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Superiority based revision of defeasible theories. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 104–118. Springer, Heidelberg (2010)
Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: Strategic argumentation is np-complete. Front. Artif. Intell. Appl. 263, 399–404 (2014)
Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rationale behind the concept of goal. Theory Pract. Logic Program. 16(3), 296–324 (2016)
Governatori, G., Rotolo, A.: Changing legal systems: abrogation and annulment Part I: revision of defeasible theories. In: Meyden, R., Torre, L. (eds.) DEON 2008. LNCS, vol. 5076, pp. 3–18. Springer, Heidelberg (2008)
Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. Logic J. IGPL 18(1), 157–194 (2010)
Maher, M.J.: Propositional defeasible logic has linear complexity. Theory Pract. Logic Program. 6(1), 691–711 (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Cristani, M., Rotolo, A. (2018). Meaning Negotiation with Defeasible Logic. In: Jezic, G., Kusek, M., Chen-Burger, YH., Howlett, R., Jain, L. (eds) Agent and Multi-Agent Systems: Technology and Applications. KES-AMSTA 2017. Smart Innovation, Systems and Technologies, vol 74. Springer, Cham. https://doi.org/10.1007/978-3-319-59394-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-59394-4_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-59393-7
Online ISBN: 978-3-319-59394-4
eBook Packages: EngineeringEngineering (R0)