Revising Z : Part II - logical developmentMartin
نویسندگان
چکیده
This is the second of two related papers. In \Revising Z: Part I-logic and semantics" (this journal) we introduced a simple speciication logic Z C comprising a logic and a semantics (in ZF set theory). We then provided an interpretation for (a rational reconstruction of) the speciication language Z within Z C. As a result we obtained a sound logic for Z, including the basic schema calculus. In this paper we extend the basic framework with more sophisticated features (including schema operations) and we mount a critique of a number of concepts used in Z. We further demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility.
منابع مشابه
A Kernel Revision Operator for Terminologies
In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision operator in belief revision. We first define our revision operator for terminologies in terms of MIPS (minimal incoherence-preserving sub-terminologies), and we show that it satisfies some desirable logical properties. Second, two...
متن کاملA new method for ranking of Z-numbers
In this paper we propose a new method for ranking Z- numbers and generalizations. This method is based on the internal structure of the artificial neural network, which suggests that the structure of this network consists of inputs weights and the transfer function linear, nonlinear and sometimes linear and nonlinear. It is shown that the proposed method while possessing the ranking properties ...
متن کاملThe Ontology Revision
An ontology consists of a set of concepts, a set of constraints imposing on instances of concepts, and the subsumption relation. It is assumed that an ontology is a tree under the subsumption relation between concepts. To preserve structural properties of ontologies, the ontology revision is not only contracting ontologies by discarding statements inconsistent with a revising statement, but als...
متن کاملA formal study on legal compliance and interpretation
This paper proposes a logical framework to capture the norm change power and the limitations of the judicial system in revising the set of constitutive rules defining the concepts on which the applicability of norms is based. In particular, we reconstruct the legal arguments leading to an extensive or restrictive interpretation of norms.
متن کاملA Three{tiered Conndence Model for Revising Logical Theories
The task of theory revision in Inductive Logic Programming is to correct the current theory when contradictions with new examples arise. Conndence models are used to assess and compare the diierent alternatives of revising a theory in order to choose the best revision. In this paper, we propose an augmentation of the two{tiered conndence model of MOBAL/KRT that allows to combine diierent heuris...
متن کامل