Relationell logik

Från Wikipedia
Version från den 19 april 2013 kl. 22.12 av Essin (Diskussion | Bidrag) (mer specifik kat)
Logik, Formellt system
Logiska system

Relationell logik är logik med regelsystem för att logiskt hantera relationer mellan ord och begrepp. Sådana relationer är till exempel likheter med avseende på någon aspekt, rangordning inbördes, klasstillhörighet mm. Den relationella logiken har framför utvecklats och fått sin tillämpning inom AI-forskningen.