Advertisement

Computing

, Volume 1, Issue 4, pp 293–308 | Cite as

The GUHA method of automatic hypotheses determination

  • P. Hájek
  • I. Havel
  • M. Chytil
Article

Summary

The presented method is an application of the mathematical logic and computer technique to the research problems of concrete sciences.

Let us assume a model (precisely a unary semantic model), i. e. a finite nonempty system of objects and a finite system of properties, to be given. It is known, for each object and each property, whether or not the object possesses the property. (E. g., objects are patients and properties are diseases or facts that some medicines were administered etc.) The research worker usually looks for the relations among the properties that hold true for all or almost all the objects. E. g. that, for each object, the following holds true: if the object possesses the propertyP1 and does not possess the propertyP2 then it possesses the propertyP3. If he finds this relation hold true in the model (of objects under consideration) then he is able to formulate and verify the hypothesis of validity of such a relation for all existing objects in general.

The mains of mathematical logic make possible to find a suitable class of formulas of the predicate calculus (i. e. a class of formalized statements) to which the investigation of the model can be confined. (They are some elementary disjunctions.) The means of computer technique make possible to generate and verify all these special formulas automatically in an suitable ordering. In the output device of the computer there will appear all the hypotheses true or almost true in model.

Hence the GUHA method (General Unary Hypotheses Automaton) can be considered as a substitution for an intuition in a certain phase of scientific research, say, as an “offering of hypotheses”.

In this paper, the main ideas, the needed logical theory and programme description are given. Some further related problems are solved. Finally the experience of practical applications of the GUHA method on IBM 7040-System is described.

Keywords

Computer Technique Semantic Model Output Device Suitable Class Automatic Hypothesis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Zusammenfassung

Die beschriebene Methode ist eine Anwendung der mathematischen Logik und der Rechenmaschinentechnik auf Forschungsprobleme konkreter Wissenschaften.

Es sei ein Modell (genauer, ein unäres semantisches Modell) gegeben, d. h. ein endliches (nicht leeres) System von Objekten und ein endliches System von Eigenschaften der Objekte, wobei es bekannt ist, welches Objekt welche Eigenschaften hat. (Die Objekte können z. B. Patienten sein und die Eigenschaften können verschiedene Krankheiten sein, oder die Tatsache, ob der Patient irgendein Medikament bekommen hat usw.) Der Forscher sucht gewöhnlich Zusammenhänge unter den Eigenschaften, die für alle (oder fast alle) Objekte gültig sind. Z. B. daß für jedes Objekt folgendes gilt: Wenn es die EigenschaftP1 hat undP2 nicht hat, dann hat esP3. Findet er einen solchen Zusammenhang, der im Modell (der betrachteten Objekte) wahr ist, so kann er die Hypothese formulieren und weiter verifizieren, daß dieser Zusammenhang für alle existierenden Objekte wahr ist.

Die Mittel der mathematischen Logik ermöglichen eine bestimmte geeignete Klasse von Formeln des Prädikatenkalküls (d. h. von formalisierten Sätzen) zu finden, auf die man sich beim Untersuchen des Modells beschränken kann (es handelt sich um bestimmte elementare Disjunktionen).

Alle Formeln dieser Art können automatisch, mit einer Rechenmaschine, erzeugt und verifiziert werden. Die Maschine druckt die Formeln, die im Modell wahr (oder fast wahr) sind. Die GUHA-Methode (General Unary Hypotheses Automaton) kann also als Ersatz der Intuition (in einer bestimmten Etappe der Forschung), sagen wir, als Hypothesen-Anbieten, angesehen werden.

In der vorliegenden Arbeit werden die Grundgedanken der Methode, die notwendige logische Theorie und die Beschreibung des Programms für die Rechenmaschine angeführt. Manche weitere zusammenhängende Probleme werden gelöst. Schließlich werden Angaben über die Realisierung auf der Maschine IBM 7040 (Wien) angeführt.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Carnap, R.: The Continum of Inductive Methods. The University of Chicago Press.Google Scholar
  2. [2]
    Glushkov, V. M.: Sintez cifrovyh avtomatov (The synthesis of digital automata, in russian). Fizmatgiz 1962.Google Scholar
  3. [3]
    Grzegorczyk, A.: Zarys logiki matematycznej (An outline of the Mathematical Logic, in polish). PWN, Warszawa 1961.Google Scholar
  4. [4]
    Hájek, P., I. Havel, M. Chytil: GUHA-metoda systematického vyhledávání hypotéz (GUHA — a method of automatic hypotheses determination, in czech). Kybernetika2 (1966), 31–47.MathSciNetGoogle Scholar
  5. [5]
    Hájek, P., I. Havel, M. Chytil: GUHA — metoda systematického vyhledávání hypotéz (GUHA — a method of automatic hypotheses determination, in czech). II, to appear in Kybernetika.Google Scholar

Copyright information

© Springer-Verlag 1966

Authors and Affiliations

  • P. Hájek
    • 1
    • 2
  • I. Havel
    • 1
    • 2
  • M. Chytil
    • 1
    • 2
  1. 1.Mathematical InstituteCzechoslovac Academy of SciencesPrague
  2. 2.Metodej Chytil, Mathematical Centre of the Physiological InstituteCzechoslovac Academy of SciencesPrague

Personalised recommendations