A Logic-Based, Reactive Calculus of Events

• Autorzy: Chesani F. , Mello P. , Montali M. , Torroni P.
• Języki publikacji: EN

Abstrakty

EN

Since its introduction, the Event Calculus (EC) has been recognized for being an excellent framework to reason about time and events, and it has been applied to a variety of domains. However, its formalization inside logic-based frameworks has been mainly based on backward, goal-oriented reasoning: given a narrative (also called execution trace) and a goal, logic-based formalizations of EC focus on proving the goal, i.e., establishing if a property (called fluent) holds. These approaches are therefore unsuitable in dynamic environments, where the narrative typically evolves over time: indeed, each occurrence of a new event requires to restart the reasoning process from scratch. Ad-hoc, procedural methods and implementations have been then proposed to overcome this issue. However, they lack a strong formal basis and cannot guarantee formal properties. As a consequence, the applicability of EC has been somehow limited in large application domains such as run-time monitoring and event processing, which require at the same time reactivity features as well as formal properties to provide guarantees about the computed response. We overcome the highlighted issues by proposing a Reactive and logic-based axiomatization of EC, called REC, on top of the SCIFF Abductive Logic Programming framework. Our solution exhibits the features of a reactive verification facility, while maintaining a solid formal background.

Słowa kluczowe

EN

event calculus; reactive reasoning; monitoring; computational logic; Abductive Logic Programming (ALP)

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 105, nr 1/2
• Strony: 135--161
• Opis fizyczny: Bibliogr. 36 poz., wykr.

Twórcy

autor

Chesani F.

autor

Mello P.

autor

Montali M.

autor

Torroni P.

• University of Bologna – V.le Risorgimento, 2 – 40136 Bologna, Italy,

Bibliografia

• [1] van der Aalst, W. M. P., van Hee, K. M., Martijn E. M. van der Werf, J., Verdonk, M.: Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor, IEEE Computer, 43(3), 2010, 90-93.
• [2] Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The SCIFF framework, ACM Transactions on Computational Logic (TOCL), 9(4), 2008.
• [3] Apt, K. R., Bezem, M.: Acyclic Programs, in: Logic Programming (D. H. Warren, Ed.), MIT Press, 1990, 617-633.
• [4] Bürckert, H.-J.: A Resolution Principle for Constrained Logics, Artificial Intelligence, 66, 1994, 235-271.
• [5] Castelfranchi, C.: Commitments: From individual intentions to groups and organizations, Proceedings of the First International Conference on Multiagent Systems (ICMAS1995) (V. R. L. L. Gasser, Ed.), The MIT Press, 1995.
• [6] Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (C. Boutilier, Ed.), 2009.
• [7] Chesani, F., Mello, P., Montali, M., Torroni, P.: A REC-Based Commitment Tracking Tool, Demo at the 10th AI*IA/TABOO Italian Joint Workshop "From Objects to Agents" (WOA 2009), 2009.
• [8] Chesani, F., Montali, M., Mello, P., Torroni, P.: Monitoring Time-Aware Social Commitments with Reactive Event Calculus, Proceedings of the 7th International Symposium "From Agent Theory to Agent Implementation" (AT2AI-7), 2010.
• [9] Chittaro, L., Montanari, A.: Efficient Temporal Reasoning in the Cached Event Calculus, Computational Intelligence, 12, 1996, 359-382.
• [10] Chittaro, L., Montanari, A.: Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches, Annals of Mathematics and Artificial Intelligence, 28(1-4), 2000, 47-106.
• [11] Cicekli, N. K., Cicekli, I.: Formalizing the Specification and Execution of Workflows Using the Event Calculus, Information Sciences, 176(15), 2006, 2227-2267.
• [12] Clark, K. L.: Negation as Failure, in: Logic and Data Bases (H. Gallaire, J. Minker, Eds.), Plenum Press, 1978, 293-322.
• [13] Dincbas, M., Hentenryck, P. V., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The Constraint Logic Programming Language CHIP, Proceedings of the International Conference on Fifth Generation Computer Systems, 1988.
• [14] Eshghi, K.: Abductive Planning with Event Calculus, Proceedings of the Fifth International Conference and Symposium on Logic Programming (ILPS 1988), MIT Press, 1988, ISBN 0-262-61056-6.
• [15] Farrell, A. D. H., Sergot, M. J., Sallé, M., Bartolini, C.: Using the Event Calculus for Tracking the Normative State of Contracts, International Journal of Cooperative Information Systems, 14(2-3), 2005, 99-129.
• [16] Fernandes, A. A. A., Williams, M. H., Paton, N. W.: A Logic-Based Integration of Active and Deductive Databases, New Generation Computing, 15(2), 1997, 205-244.
• [17] Fung, T. H., Kowalski, R. A.: The Iff Proof Procedure for Abductive Logic Programming, Logic Programming, 33(2), 1997, 151-165.
• [18] Jaffar, J., Maher, M. J.: Constraint Logic Programming: a Survey, Logic Programming, 19-20, 1994, 503-582.
• [19] Jaffar, J., Michaylov, S., Stuckey, P. J., Yap, R. H. C.: The CLP(R) Language and System, ACM Transactions on Programming Languages and Systems, 14(3), 1992, 339-395.
• [20] Kowalski, R. A., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity, Proceedings of the International Workshop on Logic in Databases (LID'96), 1154, Springer, 1996, ISBN 3-540-61814-7.
• [21] Kowalski, R. A., Sergot, M.: A Logic-Based Calculus of Events, New Generation Computing, 4(1), 1986, 67-95.
• [22] Kunen, K.: Negation in Logic Programming, Logic Programming, 4, 1987.
• [23] Mahbub, K., Spanoudakis, G.: Run-Time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience, Proeedings of the 3rd IEEE International Conference on Web Services (ICWS 2005), IEEE Computer Society, 2005.
• [24] Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, Ph.D. Thesis, University of Bologna, 2009.
• [25] Montali, M., Chesani, F., Mello, P., Torroni, P.: Verification of Choreographies During Execution Using the Reactive Event Calculus, Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008) (R. Bruni, K. Wolf, Eds.), 5387, Springer Verlag, 2009.
• [26] Montali, M., Pesic, M., van der Aalst, W. M. P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies, ACM Transactions on the Web, 4(1), 2010.
• [27] Pesic, M., van der Aalst, W. M. P.: A Declarative Approach for Flexible Business Processes Management, Proceedings of the BPM 2006 Workshops, 4103, Springer Verlag, 2006.
• [28] Rouached, M., Fdhila, W., Godart, C.: A Semantical Framework to Engineering WSBPEL Processes, Information Systems and E-Business Management, 7(2), 2008, 223-250.
• [29] Sadri, F., Toni, F.: Abduction with Negation as Failure for Active and Reactive Rules, AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings (E. Lamma, P. Mello, Eds.), 1792, Springer, 1999.
• [30] Shanahan, M.: Robotics and the Common Sense Informatic Situation, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 1996) (W. Wahlster, Ed.), John Wiley and Sons, 1996.
• [31] Shanahan, M.: The Event Calculus Explained, in: Artificial Intelligence Today: Recent Trends and Developments (M. Wooldridge, M. M. Veloso, Eds.), vol. 1600 of Lecture Notes in Computer Science, Springer Verlag, 1999, ISBN 3-540-66428-9, 409-430.
• [32] Shanahan, M.: An Abductive Event Calculus Planner, Journal of Logic Programming, 44(1-3), 2000, 207-240.
• [33] Singh, M. P.: An Ontology for Commitments in Multiagent Systems: Toward a Unification of Normative Concepts, Artificial Intelligence and Law, 7, 1999, 97-113.
• [34] Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated, Declarative Agent Languages and Technologies VII (DALT 2009). Revised Selected and Invited Papers (M. Baldoni, J. Bentahar, M. B. van Riemsdijk, J. Lloyd, Eds.), 5948, Springer, 2009.
• [35] Xanthakos, I.: Semantic Integration of Information by Abduction, Ph.D. Thesis, Imperial College London, 2003.
• [36] Yolum, P., Singh, M. P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments, Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), ACM Press, 2002.