Bounded situation calculus action theories and decidable verification

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2012, Pages 467-477

  De Giacomo, Giuseppe ^a   Lespérance, Yves ^b   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; KNOWLEDGE REPRESENTATION; TEMPORAL LOGIC;

ACTION THEORY; FIRST ORDER; INFINITE DOMAINS; MU-CALCULUS; SITUATION CALCULUS; TEMPORAL PROPERTY;

CALCULATIONS;

EID: 84878343613     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995. Foundations of Databases. Addison Wesley.
2. Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, R.; and Felli, P. 2011. Foundations of relational artifacts verification. In Proc. of BPM'11, 379-395.
3. Baier, C.; Katoen, J.-P.; and Guldstrand Larsen, K. 2008. Principles of Model Checking. The MIT Press.
4. Belardinelli, F.; Lomuscio, A.; and Patrizi, F. 2011. Verification of deployed artifact systems via data abstraction. In Proc. of ICSOC'11, 142-156.
5. Bienvenu, M.; Fritz, C.; and McIlraith, S. A. 2006. Planning with qualitative temporal preferences. In Proc. of KR'06, 134-144.
6. Boutilier, C.; Reiter, R.; Soutchanski, M.; and Thrun, S. 2000. Decision-theoretic, high-level agent programming in the situation calculus. In Proc. of AAAI'00/IAAI'00, 355-362.
7. Claßen, J., and Lakemeyer, G. 2008. A logic for non-terminating Golog programs. In Proc. of KR'08, 589-599.
8. De Giacomo, G., and Levesque, H. J. 1999. Projection using regression and sensors. In Proc. of IJCAI'99, 160-165.
9. De Giacomo, G.; Lespérance, Y.; and Levesque, H. J. 2000. ConGolog, a concurrent programming language based on the situation calculus. AIJ 121(1-2):109-169.
10. De Giacomo, G.; Lespérance, Y.; and Pearce, A. R. 2010. Situation calculus based programs for representing and reasoning about game structures. In Proc. of KR'10, 445-455.
11. Demolombe, R., and del Pilar Pozos Parra, M. 2000. A simple and tractable extension of situation calculus to epistemic logic. In Proc. of ISMIS'00, 515-524.
12. Deutsch, A.; Hull, R.; Patrizi, F.; and Vianu, V. 2009. Automatic verification of data-centric business processes. In Proc. of ICDT'09, 252-267.
13. Dumas, M.; van der Aalst, W. M. P.; and ter Hofstede, A. H. M. 2005. Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons.
14. Emerson, E. A. 1996. Model checking and the mu-calculus. In Descriptive Complexity and Finite Models, 185-214.
15. Gerede, C. E., and Su, J. 2007. Specification and verification of artifact behaviors in business process models. In Proc. of ICSOC'07, 181-192.
16. Gu, Y., and Soutchanski, M. 2007. Decidable reasoning in a modified situation calculus. In Proc. of IJCAI'07, 1891-1897.
17. Hull, R. 2008. Artifact-centric business process models: Brief survey of research results and challenges. In OTM 2008 Confederated International Conferences, Volume 5332 of LNCS, 1152-1163.
18. Levesque, H. J.; Reiter, R.; Lespérance, Y.; Lin, F.; and Scherl, R. B. 1997. GOLOG: A logic programming language for dynamic domains. JLP 31:59-84.
19. Libkin, L. 2007. Embedded finite models and constraint databases. In Finite Model Theory and Its Applications. Springer.
20. Lin, F., and Levesque, H. J. 1998. What robots can do: Robot programs and effective achievability. Artif. Intell. 101(1-2):201-226.
21. McCarthy, J., and Hayes, P. J. 1969. Some Philosophical Problems From the Stand Point of Artificial Intelligence. Machine Intelligence 4:463-502.
22. Pirri, F., and Reiter, R. 1999. Some contributions to the metatheory of the situation calculus. J. ACM 46(3):261-325.
23. Reiter, R. 1982. Towards a logical reconstruction of relational database theory. In On Conceptual Modeling, 191-233.
24. Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V., ed., Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press. 359-380.
25. Reiter, R. 2001. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press.
26. Scherl, R. B., and Levesque, H. J. 2003. Knowledge, action, and the frame problem. Artif. Intell. 144(1-2):1-39.
27. Shapiro, S.; Pagnucco, M.; Lespérance, Y.; and Levesque, H. J. 2011. Iterated belief change in the situation calculus. Artif. Intell. 175(1):165-192.
28. Stirling, C. 2001. Modal and Temporal Properties of Processes. Springer.
29. Ternovskaia, E. 1999. Automata theory for reasoning about actions. In Proc. of IJCAI'99, 153-159.
30. van Ditmarsch, H.; van der Hoek, W.; and Kooi, B. 2007. Dynamic Epistemic Logic. Springer.