Cohesion, coupling and the meta-theory of actions

Andreas Herzig (1, 2) , Ivan Varzinczak (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

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.

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Ivan Varzinczak. Cohesion, coupling and the meta-theory of actions. 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), The International Joint Conferences on Artificial Intelligence, Jul 2005, Edinburgh, United Kingdom. pp.442-447. ⟨hal-03519768⟩