BenInq

Kapcsolódó fogalmak: 
nemmonoton logika
Rövid szöveges bemutatás: 
A BenInq egy nemmonoton logikát alkalmazó rendszer, melynek ipari alkalmazása sikeres. Egy biztosítási társaság részére készítették, azért hogy az ügyfelek kérdésére azonnal, real-time módon tudjanak reagálni, de a cég munkatársai is hasznosan tudják használni.