Oppimateriaalin copyright © 2007 Arto Wikla. Tämän oppimateriaalin käyttö on sallittu vain yksityishenkilöille opiskelutarkoituksissa. Materiaalin käyttö muihin tarkoituksiin, kuten kaupallisilla tai muilla kursseilla, on kielletty.
(Muutettu viimeksi 14.2.2007)

Hornin lause

[Hornin kaava, Hornin klausuuli, ... (engl. Horn clause)]

Hornin lause on muotoa: H <-- B1, B2, ..., Bn
H on kärki (head) ja B1, B2, ..., Bn on runko (body).

Ilmauksen semantiikka on "Jos jokainen Bi on tosi, kun i=1, ...n, myös H on tosi.

Jos Hornin lause on pelkkä kärki ilman runkoa, kyseessä on "fakta". Jos Hornin lause on pelkkä runko ilman kärkeä, kyseessä on on kysely tai tavoite, "query", "top-level goal". Kun Hornin lauseessa on molemmat osat, kyseessä on sääntö, "rule".

Päättelysääntö

Päättelysääntöjä voidaan Hornin lauseita käyttäen kirjoittaa tyyliin: 
  C <-- A, B
  D <-- C
  -----------
  D <-- A, B
Kärki ja rungon ilmaukset voivat olla predikaatteja sovellettuina vakioihin tai muuttujiin ihminen(Sokrates), ihminen(X). Esim: 
  kuolevainen(X) <-- ihminen(X)
  ihminen(Sokrates)
  -----------------------------
  kuolevainen(Sokrates)

Takaisin sisältösivulle.