| dbo:abstract
|
- Horn-klóz a matematikai logikában, konkrétan a (vagy ítélet-) és az elsőrendű (vagy predikátum-) logikában olyan klóz, azaz negálatlan vagy negált zárt atomi formulából (literálból) diszjunkció által összetett formula, mely legfeljebb egy negálatlan, azaz pozitív atomot tartalmaz; a többi tagja viszont negált. Tehát egy Horn-klóz a következőképp fest: A ∨ ¬B1 ∨ ¬B2 ∨ … ∨ ¬Bn , ahol n∈ℕ (ideértve, hogy esetleg n=0), továbbá B1, B2, … , Bn zárt atomi formulák, és A pedig vagy szintén zárt atomi formula, vagy pedig az „üres klóz”. A Horn-klóz eszerint egy speciális alakú konjunktív normálforma. Definit Horn-klóz olyan Horn-klóz, mely pontosan egy pozitív literált tartalmaz (tehát A nem „üres klóz/literál”). Lásd még . A Horn-klózok fontos szerepet játszanak a és a logikában, illetve a számításelméletben. A fogalom megalkotója , aki 1951-es cikkében („On sentences which are true of direct unions of algebras”, Journal of Symbolic Logic, 16, 14-21.) először foglalkozott velük. (hu)
- Horn-klóz a matematikai logikában, konkrétan a (vagy ítélet-) és az elsőrendű (vagy predikátum-) logikában olyan klóz, azaz negálatlan vagy negált zárt atomi formulából (literálból) diszjunkció által összetett formula, mely legfeljebb egy negálatlan, azaz pozitív atomot tartalmaz; a többi tagja viszont negált. Tehát egy Horn-klóz a következőképp fest: A ∨ ¬B1 ∨ ¬B2 ∨ … ∨ ¬Bn , ahol n∈ℕ (ideértve, hogy esetleg n=0), továbbá B1, B2, … , Bn zárt atomi formulák, és A pedig vagy szintén zárt atomi formula, vagy pedig az „üres klóz”. A Horn-klóz eszerint egy speciális alakú konjunktív normálforma. Definit Horn-klóz olyan Horn-klóz, mely pontosan egy pozitív literált tartalmaz (tehát A nem „üres klóz/literál”). Lásd még . A Horn-klózok fontos szerepet játszanak a és a logikában, illetve a számításelméletben. A fogalom megalkotója , aki 1951-es cikkében („On sentences which are true of direct unions of algebras”, Journal of Symbolic Logic, 16, 14-21.) először foglalkozott velük. (hu)
|
