A Logic for Reasoning about Persuasion

• Autorzy: Budzyńska K. , Kacprzak M.
• Języki publikacji: EN

Abstrakty

EN

In the article, we introduce a sound and complete deductive system (AGn) which can be used to reason about persuasion process performed in distributed systems of agents in circumstances of uncertain and incomplete information. In order to express degrees of beliefs of these agents, we adopt methods of Logic of Graded Modalities. To represent degrees' changes resulting from the persuasion, we apply tools of Algorithmic Logic and Dynamic Logic. As a result, we interpret arguments as actions which lead to change of grades of agents' beliefs.

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 85, nr 1-4
• Strony: 51--65
• Opis fizyczny: bibliogr. 27 poz.

Twórcy

autor

Budzyńska K.

autor

Kacprzak M.

• Institute of Philosophy, Cardinal Stefan Wyszyński University in Warsaw, Dewajtis 5, 01-815 Warsaw, Poland,

Bibliografia

• [1] Alchourron, C., Gardenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic, 50, 1985, 510-530.
• [2] Baltag, A., Moss, L.: Logics for epistemic programs, Knowledge, Rationality & Action (Synthese), 139, 2004, 165-224.
• [3] van Benthem, J.: Logics for information update, Proc. of TARK VIII (J. van Benthem, Ed.), Morgan Kaufmann, Los Altos, 2001.
• [4] Budzyńska, K., Kacprzak, M.: Towards a Multi-Valued Logic for Argumentation, Proc. of Concurrency, Specification and Programming, 2, 2006.
• [5] Budzyńska, K., Kacprzak, M.: Logical Model of Graded Beliefs for a Persuasion Theory, Annales of University of Bucharest. Series in Mathematics and Computer Science, LVI, 2007.
• [6] Budzyńska, K., Kacprzak, M., Rembelski, P.: Modeling Persuasiveness: change of uncertainty through agents' interactions, Proc. of COMMA, Frontiers in Artificial Intelligence and Applications, IOS Press, 2008.
• [7] de Caro, F.: Graded Modalities II (Canonical Models), Studia Logica, 47, 1988, 1-10.
• [8] Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Creating collective intention through dialogue, Logic Journal of the IGPL, 9(1), 2001, 289-303.
• [9] van Ditmarsch, H., van der Hoek,W., Kooi, B.: Playing Cards with Hintikka, Australasian Journal of Logic, 3, 2005, 108-134.
• [10] Fagin, R., Halpern, J. Y., Moses, Y., Vardi, M. Y.: Reasoning about Knowledge, MIT Press, Cambridge, 1995.
• [11] Fattorosi-Barnaba,M., de Caro, F.: Graded Modalities I, Studia Logica, 44, 1985, 197-221.
• [12] Fattorosi-Barnaba, M., Cerrato, C.: Graded Modalities III (the Completeness and Compactness of S40), Studia Logica, 47, 1988, 99-110.
• [13] Hansson, S.: A Textbook of Belief Dynamics. Theory Change and Database Updating, Dordrecht: Kluwer, 1999.
• [14] Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic, MIT Press, 2000.
• [15] van der Hoek,W.: Modalities for Reasoning about Knowledge and Quantities, Elinkwijk, Utrecht, 1992.
• [16] Lindström, S., Rabinowicz,W.: DDL unlimited: dynamic doxastic logic for introspective agents, Erkenntnis, 50, 1999, 353-385.
• [17] Maudet, N., Parsons, S., Rahwan, I.: Argumentation in Multi-Agent Systems: Third InternationalWorkshop, ArgMAS 2006, LNAI, 4766, 2007.
• [18] Meyer, J.-J. C., van der Hoek,W.: Epistemic logic for AI and computer science, Cambridge University Press, 1995.
• [19] Mirkowska, G., Salwicki, A.: Algorithmic Logic, Polish Scientific Publishers, Warsaw, 1987.
• [20] Moore, R.: A Formal Theory of Knowledge and Action, Formal Theories of the Commonsense World (J. Hoobs, R. Moore, Eds.), Ablex, Norwood, New Jersey, 1985.
• [21] Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing, Journal of Logic and Computation, 8(3), 1998, 261 - 292.
• [22] Plaza, J.: Logics of public communications, Proc. of the 4th International Symposium on Methodologies for Intelligent Systems (M. Emrich, M. Pfeifer, M. Hadzikadic, Z. Ras, Eds.), 1989.
• [23] Prakken, H., Vreeswijk, G.: Logics for Defeasible Argumentation, Handbook of Philosophical Logic (D. Gabbay, F. Guenthner, Eds.), 4, Kluwer Academic Publishers, Dordrecht, 2002.
• [24] Rott, H.: Change, choice and inference. A study of belief revision and nonmonotonic reasoning, Clarendon Press, Oxford, 2001.
• [25] Segerberg, K.: Two traditions in the logic of belief: bringing them together, Uppsala Prints and Preprints in Philosophy, 9, 1999.
• [26] Walton, D. N., Krabbe, E. C. W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, State University of N.Y. Press, 1995.
• [27] Wooldridge, M.: Reasoning About Rational Agents, MIT Press, 2000.