Abstract
In a previous work we introduced a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs) that allow one to assign a measure of strength to the knowledge relationships represented by the edges. In this paper we present the declarative and operational semantics of such a framework, and give results of correctness. We illustrate the usage of the framework by formalizing social agent structures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alferes, J.J., Dell’Acqua, P., Moniz Pereira, L.: A compilation of updates plus preferences. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS, vol. 2424, pp. 62–74. Springer, Heidelberg (2002)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The J. of Logic Programming 45(1–3), 43–70 (2000); Appeared in A short version title, Dynamic updates of non-monotonic knowledge bases. In: Cohn, A., Schubert, L. (eds.) KR 1998. Morgan Kaufmann, San Francisco (2000)
Artikis, A., Pitt, G.: A formal model of open agent societies. In: Proc. of Autonomous Agents (2001)
Castelfranchi, C.: Engineering social order. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS, vol. 1972, pp. 1–18. Springer, Heidelberg (2000)
Dell’Acqua, P., Leite, J. A., Moniz Pereira, L.: Evolving multi-agent viewpoints - an architecture. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS, vol. 2258, pp. 169–182. Springer, Heidelberg (2001)
Dell’Acqua, P., Nilsson, U., Pereira, L.M.: A logic based asynchronous multi-agent system. In: Computational Logic in Multi-Agent Systems (CLIMA 2002). Electronic Notes in Theoretical Computer Science (ENTCS), vol. 70(5) (2002)
Dell’Acqua, P., Moniz Pereira, L.: Preferring and updating in abductive multi-agent systems. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol. 2203, pp. 57–73. Springer, Heidelberg (2002)
Dell’Acqua, P., Moniz Pereira, L.: A Logical Framework for Modelling eMAS. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 241–255. Springer, Berlin (2002)
Dell’Acqua, P., Moniz Pereira, L.: Preferring and updating in logic-based agents. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS, vol. 2543, pp. 70–85. Springer, Heidelberg (2003)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) ICLP 1988, pp. 1070–1080. MIT Press, Cambridge (1988)
Kakas, A.C., Moraitis, P.: Argumentative agent deliberation, roles and context. Electronic Notes in Theoretical Computer Science (ENTCS) 70(5) (2002)
Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic logic programming. In: Sadri, F., Satoh, K. (eds.) Procs. of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2000), pp. 17–26 (2000)
Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Morgan Kaufmann, San Francisco (1992)
Lindemann, G., Munch, I.: The role concept for agents in multi-agent systems. In: Lindemann, G., Jonker, C., Castelfranchi, C. (eds.) Proceedings of the KI 2001 Workshop on Modelling Artificial Societies and Hybrid Organizations MASHO 2001 (2001)
Zambonelli, F.: Abstractions and infrastructures for the design and development of mobile agent organizations. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 245–262. Springer, Heidelberg (2002)
Zambonelli, F., Jennings, N.R., Wooldridge, M.: Organizational abstractions for the analysis and design of multi-agent systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 235–251. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dell’Acqua, P. (2004). Weighted Multi Dimensional Logic Programs. In: Dix, J., Leite, J. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30200-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-30200-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24010-5
Online ISBN: 978-3-540-30200-1
eBook Packages: Computer ScienceComputer Science (R0)