Cohesion, coupling and the meta-theory of actions

In this work we recast some design principles commonly used in software engineering and adapt them to the design and analysis of domain descriptions in reasoning about actions. We show how the informal requirements of cohesion and coupling can be turned into consistency tests of several different arrangements of modules. This gives us new criteria for domain description evaluation and clarifies the link between software and knowledge engineering in what concerns the meta-theory of actions.

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

[2]  J. Finger,et al.  Exploiting constraints in design synthesis , 1987 .

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

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

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

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

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

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

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

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

[11]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[12]  Servicio Geológico Colombiano Sgc.  Volume 4 , 2013, Journal of Diabetes Investigation.

[13]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[14]  David E. Smith,et al.  Reasoning About Action II: The Qualification Problem , 1988, Artif. Intell..

[15]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

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

[17]  Andreas Herzig,et al.  Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.

[18]  Roger S. Pressman,et al.  Software engineering (3rd ed.): a practitioner's approach , 1992 .

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