Overview of Unification
Surveys generally focus on a problem and examine various techniques for dealing with the problem.) is really unification.In all, 4 of the 13 sections of the survey deal with implementation.Much rarer, and requiring much greater erudition, is a survey that focuses on a technique and examines its uses in various application areas.One of the remaining two sections examines unification in the framework of lattice theory, with generalization introduced as a dual of unification.Seven sections consider applications.The author puts most emphasis on the use of unification in natural language processing (NLP), however.The bibliography is extensive (168 items) and, since most sections contain a discussion of current research, the survey can serve not only a novice, but also somebody experienced in one of the application domains who wants a broader appreciation of the topic.The other section contains a list of the properties of unification and indicates research trends.The reader will be particularly helped by the author’s gift for exposition—he provides easily understood intuitive explanations for many of the harder aspects of unification.The standard applications in theorem proving and logic programming are, of course, covered.The successful application of the resolution principle requires a fast unification algorithm, and the first part of the survey deals with the history of unification algorithms, in which their complexity was reduced from exponential to linear time.The survey contains version of an early exponential algorithm and an almost linear algorithm.This emphasis is understandable because NLP is the author’s research area, but one can question whether the merging of concept structures (view integration in database terminology, see Batini et al.This survey is of the latter type, and it can be taken as a model for such surveys.
Had Gorbachev not accepted this in the summer of 1990, the course of history could have been very different.President George Bush was, in contrast to Margaret Thatcher and François Mitterrand, immensely supportive of unification, but he was insistent that a unified Germany had to be part of NATO.
Was German Unification Inevitable?
In January 1871 Bismarck declared the German nation united.Following a tragic 20th century, Germany reunified once more in 1990.Four historians offer their perspectives on both events.
Why register for an account?
The official model of explanation proposed by the logical empiricists, the covering law model, is subject to familiar objections.The goal of the present paper is to explore an unofficial view of explanation which logical empiricists have sometimes suggested, the view of explanation as unification.I try to show that this view can be developed so as to provide insight into major episodes in the history of science, and that it can overcome some of the most serious difficulties besetting the covering law model.
History of Unification
Empire was dissolved, and when the Congress of Vienna met in 1814-15, a
major question was what to do with Central Europe.
North German Confederation, a union of the northern German states under the
hegemony of Prussia.