×

Intention as commitment toward time. (English) Zbl 1435.03038

Summary: In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by preconditions of intended actions. Intentions and beliefs are coherent as long as these assumptions are not violated, i.e. as long as intended actions can be performed such that their preconditions hold as well. The second contribution is the formalization of what-if scenarios: what happens with intentions and beliefs if a new (possibly conflicting) intention is adopted, or a new fact is learned? An agent is committed to its intended actions as long as its belief-intention database is coherent. We conceptualize intention as commitment toward time and we develop AGM-based postulates for the iterated revision of belief-intention databases, and we prove a Katsuno-Mendelzon-style representation theorem.

MSC:

03B42 Logics of knowledge and belief (including belief change)
03B70 Logic in computer science
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Alchourrón, C. E.; Gärdenfors, P.; Makinson, D., On the logic of theory change: partial meet contraction and revision functions, J. Symb. Log., 50, 2, 510-530 (1985) · Zbl 0578.03011
[2] Alur, R.; Dill, D. L., A theory of timed automata, Theor. Comput. Sci., 126, 183-235 (1994) · Zbl 0803.68071
[3] Alur, R.; Feder, T.; Henzinger, T. A., The benefits of relaxing punctuality, J. ACM, 43, 1, 116-146 (Jan. 1996) · Zbl 0882.68021
[4] Alur, R.; Henzinger, T. A., Real-time logics: complexity and expressiveness, Inf. Comput., 104, 390-401 (1990)
[5] Alur, R.; Henzinger, T. A.; Kupferman, O., Alternating-time temporal logic, (Revised Lectures from the International Symposium on Compositionality: The Significant Difference. Revised Lectures from the International Symposium on Compositionality: The Significant Difference, COMPOS’97 (1998), Springer-Verlag, London, UK: Springer-Verlag, London, UK UK), 23-60
[6] Baier, C.; Katoen, J.-P., Principles of Model Checking, Representation and Mind Series (2008), The MIT Press · Zbl 1179.68076
[7] Bellini, P.; Mattolini, R.; Nesi, P., Temporal logics for real-time system specification, ACM Comput. Surv., 32, 1, 12-42 (Mar. 2000)
[8] Bratman, M. E., Intention, Plans, and Practical Reason (1987), Harvard University Press: Harvard University Press Cambridge, MA
[9] Bratman, M. E., Shared Agency: A Planning Theory of Acting Together (2014), Oxford University Press
[10] Bratman, M. E.; Israel, D. J.; Pollack, M. E., Plans and resource-bounded practical reasoning, Comput. Intell., 4, 3, 349-355 (1988)
[11] Bulling, N.; Goranko, V., How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games, (Mogavero, F.; Murano, A.; Vardi, M. Y., SR. SR, EPTCS, vol. 112 (2013)), 33-41, (extended abstract) · Zbl 1464.68408
[12] Clark, K. L., Negation as failure, (Logic and Data Bases (1978), Springer), 293-322
[13] Cohen, P. R.; Levesque, H. J., Intention is choice with commitment, Artif. Intell., 42, 2-3, 213-261 (1990) · Zbl 0721.03017
[14] Cohen, P. R.; Levesque, H. J., Teamwork, Noûs, 25, 4, 487-512 (1991)
[15] Darwiche, A.; Pearl, J., On the logic of iterated belief revision, Artif. Intell., 89, 1-2, 1-29 (1997) · Zbl 1018.03012
[16] Davidson, D., Actions, reasons, and causes, J. Philos., 60, 23, 685-700 (1963)
[17] Dean, T. L.; McDermott, D. V., Temporal data base management, Artif. Intell., 32, 1, 1-55 (1987)
[18] Dunin-Keplicz, B.; Verbrugge, R., Collective intentions, Fundam. Inform., 51, 3, 271-295 (2002) · Zbl 1018.68077
[19] Emerson, E. A.; Trefler, R. J., Parametric quantitative temporal reasoning, (LICS (1999), IEEE Computer Society), 336-343
[20] Gilbert, M., Walking together: a paradigmatic social phenomenon, Midwest Stud. Philos., 15, 1, 1-14 (1990)
[21] Grant, J.; Kraus, S.; Perlis, D.; Wooldridge, M., Postulates for revising BDI structures, Synthese, 175, 1, 39-62 (2010) · Zbl 1215.03012
[22] Hansson, S. O., A Textbook of Belief Dynamics. Theory Change and Database Updating (1999), Kluwer Academic · Zbl 0947.03023
[23] Herzig, A.; Lorini, E.; Perrussel, L.; Xiao, Z., BDI Logics for BDI Architectures: Old Problems, New Perspectives, KI - Künstliche Intelligenz, 1-11 (2016)
[24] Holton, R., Partial belief, partial intention, Mind, 117, 465, 27-58 (2008)
[25] Icard, T.; Pacuit, E.; Shoham, Y., Joint revision of belief and intention, (Proc. of the 12th International Conference on Knowledge Representation (2010)), 572-574
[26] Katsuno, H.; Mendelzon, A. O., Propositional knowledge base revision and minimal change, Artif. Intell., 52, 3, 263-294 (Dec. 1991) · Zbl 0792.68182
[27] Koymans, R., Specifying real-time properties with metric temporal logic, Real-Time Syst., 2, 4, 255-299 (Oct. 1990)
[28] Kvarnström, J., TALplanner and other extensions to Temporal Action Logic (2005), Linköpings universitet, Ph.D. thesis
[29] Leitgeb, H., The stability theory of belief, Philos. Rev., 123, 2, 131-171 (2014)
[30] Lorini, E.; Herzig, A., A logic of intention and attempt, Synthese, 163, 1, 45-77 (2008) · Zbl 1152.03008
[31] McDermott, D., A temporal logic for reasoning about processes and plans, Cogn. Sci., 6, 2, 101-155 (1982)
[32] Meier, A.; Mundhenk, M.; Thomas, M.; Vollmer, H., The complexity of satisfiability for fragments of ctl and ctl*, Electron. Notes Theor. Comput. Sci., 223, 201-213 (2008) · Zbl 1337.68134
[33] Meyer, J.-J.; van der Hoek, W.; van Linder, B., A logical approach to the dynamics of commitments, Artif. Intell., 113, 1-2, 1-40 (Sep. 1999) · Zbl 0939.68831
[34] Mierzewski, K., Probabilistic stability: dynamics, nonmonotonic logics, and stable revision (2018), Universiteit van Amsterdam, Master’s thesis
[35] Mueller, E. T., Commonsense Reasoning: An Event Calculus Based Approach (2014), Morgan Kaufmann: Morgan Kaufmann Amsterdam
[36] Ostroff, J., Temporal Logic for Real-Time Systems, Advanced Software Development Series (1989), Research Studies Press
[37] Papadakis, N.; Plexousakis, D., Actions with duration and constraints: the ramification problem in temporal databases, Int. J. Artif. Intell. Tools, 12, 3, 315-353 (2003)
[38] Patkos, T., A formal theory for reasoning about action, knowledge and time (2010), University of Crete-Heraklion, Ph.D. thesis
[39] Rao, A. S.; Georgeff, M. P., Modeling rational agents within a BDI-architecture, (Principles of Knowledge Representation and Reasoning, Proceedings of the Second International Conference (1991), Morgan Kaufmann: Morgan Kaufmann San Mateo), 473-484 · Zbl 0765.68194
[40] Reiter, R., A logic for default reasoning, Artif. Intell., 13, 1-2, 81-132 (1980) · Zbl 0435.68069
[41] Reynolds, M., An axiomatization of full computation tree logic, J. Symb. Log., 66, 3, 1011-1057 (2002) · Zbl 1002.03015
[42] Savage, L., The Foundations of Statistics (1954), Wiley: Wiley New York · Zbl 0055.12604
[43] Searle, J., Intentionality. An Essay in the Philosophy of Mind (1983), Cambridge University Press
[44] Searle, J., The Construction of Social Reality (1995), Free Press
[45] Shapiro, S.; Sardina, S.; Thangarajah, J.; Cavedon, L., Revising conflicting intention sets in BDI agents, (Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012). Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012), Valencia, Spain (June 2012)), 1081-1088
[46] Shoham, Y., Logical theories of intention and the database perspective, J. Philos. Log., 38, 633-647 (2009) · Zbl 1211.03030
[47] Shoham, Y., Why knowledge representation matters, Commun. ACM, 59, 1, 47-49 (Jan. 2016)
[48] Shoham, Y.; Leyton-Brown, K., Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (2008), Cambridge University Press · Zbl 1163.91006
[49] Singh, M. P., A critical examination of the Cohen-Levesque theory of intentions, (Proceedings of the 10th European Conference on Artificial Intelligence. Proceedings of the 10th European Conference on Artificial Intelligence, ECAI ’92 (1992), John Wiley & Sons, Inc.: John Wiley & Sons, Inc. New York, NY, USA), 364-368
[50] Tambe, M., Tracking dynamic team activity, (AAAI/IAAI, vol. 1 (1996)), 80-87
[51] Thielscher, M., The concurrent, continuous fluent calculus, Stud. Log., 67, 3, 315-331 (2001) · Zbl 0981.03036
[52] Tuomela, R.; Miller, K., We-intentions, Philos. Stud., 53, 3, 367-389 (1988)
[53] van der Hoek, W.; Jamroga, W.; Wooldridge, M., Towards a theory of intention revision, Synthese, 155, 2, 265-290 (2007) · Zbl 1120.03013
[54] Van der Hoek, W.; Wooldridge, M., Towards a logic of rational agency, Log. J. IGPL, 11, 2, 135-159 (2003) · Zbl 1029.03014
[55] van Zee, M., Rational architecture = architecture from a recommender perspective, (Proceedings of the International Joint Conference on Artificial Intelligence (2015))
[56] van Zee, M.; Dastani, M.; Doder, D.; van der Torre, L., Consistency conditions for beliefs and intentions, (Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning (2015))
[57] van Zee, M.; Dastani, M.; Shoham, Y.; van der Torre, L., Collective intention revision from a database perspective, (Collective Intentionality Conference (July 2014))
[58] van Zee, M.; Doder, D., AGM-style revision of beliefs and intentions, (Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI’16) (September 2016)) · Zbl 1403.68278
[59] van Zee, M.; Doder, D., AGM-style revision of beliefs and intentions from a database perspective, (Proceedings of the 16th International Workshop on Non-monotonic Reasoning (NMR’16) (April 2016)), (preliminary version) · Zbl 1403.68278
[60] van Zee, M.; Doder, D.; Dastani, M.; van der Torre, L., AGM revision of beliefs about action and time, (Proceedings of the International Joint Conference on Artificial Intelligence (2015))
[61] Velleman, J. D., How to share an intention, Philos. Phenomenol. Res., 57, 1, 29-50 (1997)
[62] Wooldridge, M., Reasoning about Rational Agents (2000), MIT Press · Zbl 0998.68094
[63] Wooldridge, M.; Jennings, N. R., Agent theories, architectures, and languages: a survey, (Intelligent Agents (1995), Springer), 1-39
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.