Ragionamento automatico

Da Wikipedia, l'enciclopedia libera.

Il ragionamento automatico è un'area dell'informatica dedicata alla comprensione dei diversi aspetti del ragionamento al fine di creare dei programmi che permettano ai computer di ragionare in modo parzialmente o addirittura completamente automatico. L'area è considerata un sottocampo dell'intelligenza artificiale, sebbene abbia forti connessioni con l'informatica teorica e persino con la filosofia.

Le aree più sviluppate del ragionamento automatico sono la dimostrazione automatica di teoremi e il proof checking automatico, ma ulteriore lavoro è stato svolto nel ragionamento per abduzione e induzione, ragionamento incerto e non monotono.

Voci correlate[modifica | modifica sorgente]