raționamentul automatizat

Principia Mathematica a fost o lucrare de hotar în logica formală scrisă de Alfred North Whitehead și Bertrand Russell. Principia Mathematica – adică Principii ale matematicii – a fost scrisă cu scopul de a deriva toate sau unele dintre expresiile … Citeşte mai mult

În informatică, în special în reprezentarea cunoștințelor și raționamentul și metalogică, zona raționamentului automatizat este dedicată înțelegerii diferitelor aspecte ale raționamentului. Studiul raționamentului automatizat ajută la producerea de programe de calculator care permit computerelor să raționeze complet sau aproape automat. … Citeşte mai mult