Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Forma logica

Indice Forma logica

Una forma logica è una rappresentazione in logica del prim'ordine di una frase in lingua naturale.

9 relazioni: Disambiguazione, Elaborazione del linguaggio naturale, Inferenza, Lingua (linguistica), Parola, Question answering, Rappresentazione della conoscenza, Significato, Teoria del primo ordine.

Disambiguazione

La disambiguazione (in inglese Word Sense Disambiguation o, abbreviato, WSD) è il processo con il quale si precisa il significato di una parola o di un insieme di parole (frase), che denotano significati diversi a seconda dei contesti e che quindi sono ambigue.

Nuovo!!: Forma logica e Disambiguazione · Mostra di più »

Elaborazione del linguaggio naturale

L'elaborazione del linguaggio naturale, detta anche NLP (dall'inglese Natural Language Processing, elaborazione lingua naturale), è il processo di trattamento automatico mediante un calcolatore elettronico delle informazioni scritte o parlate in una lingua naturale.

Nuovo!!: Forma logica e Elaborazione del linguaggio naturale · Mostra di più »

Inferenza

Nella logica l'inferenza (dal latino inferre, letteralmente portare dentro) è il processo, induttivo o deduttivo, attraverso il quale da una proposizione assunta come vera si passa a una seconda proposizione la cui verità è derivata dal contenuto della prima secondo opportune regole di inferenza.

Nuovo!!: Forma logica e Inferenza · Mostra di più »

Lingua (linguistica)

Una lingua è, in linguistica, un sistema di comunicazione parlato o segnato proprio di una comunità umana.

Nuovo!!: Forma logica e Lingua (linguistica) · Mostra di più »

Parola

La parola (dal greco παραβολή parabolè, attraverso il latino parabŏla, poi alterato in paràula nel volgare) è l'espressione orale o scritta di una informazione o di un concetto, ovvero la rappresentazione di una idea svolta a mezzo e nel presupposto di un riferimento convenzionale.

Nuovo!!: Forma logica e Parola · Mostra di più »

Question answering

Nell'information retrieval, il question answering (QA) consiste nel rispondere automaticamente a una domanda espressa in una lingua naturale.

Nuovo!!: Forma logica e Question answering · Mostra di più »

Rappresentazione della conoscenza

La rappresentazione della conoscenza è una branca dell'intelligenza artificiale che studia il modo in cui avviene il ragionamento umano, e si preoccupa di definire dei simbolismi o dei linguaggi che permettano di formalizzare la conoscenza al fine di renderla comprensibile alle macchine, per potervi fare dei ragionamenti automatici (inferendo le informazioni presenti) ed estrarre così nuova conoscenza.

Nuovo!!: Forma logica e Rappresentazione della conoscenza · Mostra di più »

Significato

Il significato è un concetto espresso mediante segni che possono essere grafici, verbali-orali, o mediante cenni e gesti.

Nuovo!!: Forma logica e Significato · Mostra di più »

Teoria del primo ordine

Nella logica matematica una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.

Nuovo!!: Forma logica e Teoria del primo ordine · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »