Indice
13 relazioni: Algoritmo Rete, Backward chaining, Base di dati, Dato, Deduzione, Fatti, Logica, Modus ponens, Motore inferenziale, Premessa, Ragionamento automatico, Regola di inferenza, Università degli Studi di Roma "La Sapienza".
Algoritmo Rete
Lalgoritmo Rete è un efficiente algoritmo di pattern matching che serve a implementare i sistemi di produzione a regole. È stato creato da Charles Forgy della Carnegie Mellon University.
Vedere Forward chaining e Algoritmo Rete
Backward chaining
Il backward chaining o backward reasoning (lett. risp. "incatenamento a ritroso" e "ragionamento a ritroso") è un metodo di ragionamento automatico che consiste, intuitivamente, nel ragionare partendo dall'obiettivo e procedere a ritroso verso i dati a disposizione.
Vedere Forward chaining e Backward chaining
Base di dati
In informatica una base di dati, detta anche, dall'inglese, database o data base, o anche banca dati, è una collezione di dati organizzati immagazzinata e accessibile per via elettronica.
Vedere Forward chaining e Base di dati
Dato
Un dato (dono, cosa data) è la manifestazione concreta di una certa quantità di informazione, per mezzo della sua codifica. Per estensione un dato è una possibile manifestazione di un qualsiasi concetto.
Vedere Forward chaining e Dato
Deduzione
Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita.
Vedere Forward chaining e Deduzione
Fatti
* Fatti – plurale di fatto, evento accaduto.
Vedere Forward chaining e Fatti
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio delle relazioni di inferenza tra proposizioni, cioè lo studio delle leggi del ragionamento e della dimostrazione, generalmente definita come una branca della filosofia e la scienza dell'argomentazione.
Vedere Forward chaining e Logica
Modus ponens
Nella logica, il modus ponens (MP), accorciamento del latino modus ponendo ponens ("modo che afferma"), è una semplice e valida regola d'inferenza, che afferma in parole: o in notazione con operatori logici: dove vdash rappresenta l'asserzione logica, nota anche come sequente.
Vedere Forward chaining e Modus ponens
Motore inferenziale
In informatica, un motore inferenziale è un algoritmo che simula le modalità con cui la mente umana trae delle conclusioni logiche attraverso il ragionamento.
Vedere Forward chaining e Motore inferenziale
Premessa
Una premessa è una dichiarazione preliminare ad un'altra dichiarazione o a un discorso, che ha lo scopo di introdurre o chiarire un concetto precedente rispetto al momento in cui si vuole affrontare un determinato argomento principale.
Vedere Forward chaining e Premessa
Ragionamento automatico
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.
Vedere Forward chaining e Ragionamento automatico
Regola di inferenza
Nella logica matematica una regola di inferenza è uno schema formale che si applica nell'eseguire un'inferenza. In altre parole, è una regola che permette di passare da un numero finito di proposizioni assunte come premesse a una proposizione che funge da conclusione.
Vedere Forward chaining e Regola di inferenza
Università degli Studi di Roma "La Sapienza"
LUniversità degli Studi di Roma "La Sapienza" (nota anche come Sapienza-Università di Roma, Sapienza o Uniroma1) è un'università statale italiana fondata nel 1303, tra le più antiche del mondo nonché la più antica della città romana.
Vedere Forward chaining e Università degli Studi di Roma "La Sapienza"
Conosciuto come Forward reasoning.