On modularity of theories

In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose algorithms to check whether a given action theory is modular and that also make it modular, if needed. Completeness, correctness and termination results are demonstrated.

[1]  John McCarthy,et al.  Mathematical logic in artificial intelligence , 1989 .

[2]  Norman Y. Foo,et al.  EPDL: A Logic for Causal Reasoning , 2001, IJCAI.

[3]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[4]  Norman Y. Foo,et al.  Consistency of Action Descriptions , 2002, PRICAI.

[5]  Abhaya C. Nayak,et al.  Coherence of Laws , 2003, IJCAI.

[6]  J. Davenport Editor , 1960 .

[7]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[8]  Michael Thielscher Computing Ramifications by Postprocessing , 1995, IJCAI.

[9]  Lenhart K. Schubert Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[10]  Patrick Doherty,et al.  Explaining Explanation Closure , 1996, ISMIS.

[11]  Andreas Herzig,et al.  Domain descriptions should be modular , 2004, NMR.

[12]  Eyal Amir,et al.  (De)Composition of Situation Calculus Theories , 2000, AAAI/IAAI.

[13]  Marcus Kracht,et al.  Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

[14]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[15]  Zbigniew W. Ras,et al.  Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems , 1993 .

[16]  Fangzhen Lin,et al.  Causal Theories of Action: A Computational Core , 2003, IJCAI.

[17]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

[18]  Marcus Kracht,et al.  Simulation and Transfer Results in Modal Logic – A Survey , 1997, Stud Logica.