On modularity of theories
نویسندگان
چکیده
We call these subtheories modules. Examples of such theories can be found in reasoning about actions, where each T αi contains descriptions of the atomic action αi in terms of preconditions and effects, and T ∅ is the set of static laws (alias domain constraints, alias integrity constraints), i.e. those formulas that hold in every possible state of a dynamic system. For example, T marry = {¬married → 〈marry〉>, [marry]married}, and T ∅ = ∗Supported by a fellowship from the government of the Federative Republic of Brazil. Grant: CAPES BEX 1389/01-7.
منابع مشابه
Mining Overlapping Communities in Real-world Networks Based on Extended Modularity Gain
Detecting communities plays a vital role in studying group level patterns of a social network and it can be helpful in developing several recommendation systems such as movie recommendation, book recommendation, friend recommendation and so on. Most of the community detection algorithms can detect disjoint communities only, but in the real time scenario, a node can be a member of more than one ...
متن کاملMaximum Maintainability of Complex Systems via Modulation Based on DSM and Module Layout.Case Study:Laser Range Finder
The present paper aims to investigate the effects of modularity and the layout of subsystems and parts of a complex system on its maintainability. For this purpose, four objective functions have been considered simultaneously: I) maximizing the level of accordance between system design and optimum modularity design,II) maximizing the level of accessibility and the maintenance space required,III...
متن کاملModular architectures and informational encapsulation: A dilemma
Amongst philosophers and cognitive scientists, modularity remains a popular choice for an architecture of the human mind, primarily because of the supposed explanatory value of this approach. Modular architectures can vary both with respect to the strength of the notion of modularity and the scope of the modularity of mind. We propose a dilemma for modular architectures, no matter how these arc...
متن کاملOn the 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.
متن کاملContents the Modular Architecture of the Mind: How It Modularity Chapter 1 Introduction: the Relative Absence of Modularity in Interface Thinking
The following text is a piece of my forthcoming book (updated with respect to the first version that was posted on the EGG site) Scheer, Tobias forth. How morpho-syntax talks to phonology. A survey of extra-phonological information in phonology since Trubetzkoy's Grenzsignale. Berlin: Mouton de Gruyter. The text is "wild" in the sense that cross-references to other pieces of the book are not re...
متن کاملMODULARITY OF AJMAL FOR THE LATTICES OF FUZZY IDEALS OF A RING
In this paper, we construct two fuzzy sets using the notions of level subsets and strong level subsets of a given fuzzy set in a ring R. These fuzzy sets turn out to be identical and provide a universal construction of a fuzzy ideal generated by a given fuzzy set in a ring. Using this construction and employing the technique of strong level subsets, we provide the shortest and direct fuzzy set ...
متن کامل