Linus

Kapcsolódó fogalmak: 
ítéletkalkulus
Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
A Linus rendszert Lavrac és Dzeroski alkotta meg 1994-ben. A Linus egy ítéletlogikai állításokkal dolgozó, következtető és tanuló rendszer volt. A rendszer egy átmenetet is megvalósított az elsőrendű logika és az ítéletlogika között. Erre azért volt szükség, mert a legtöbb valós feladatban az állításokat elsőrendű logikában fogalmazzák meg, azonban a következtetés néhány esetben sokkal hatékonyabb az ítéletlogika segítségével. Tehát a rendszer először áttranszformálta a feladatot ítéletlogikai leírásra, majd elvégezte a feladatot és az eredményt visszatranszformálta elsőrendű logikára.