l'accesso più veloce di browser!
14 relazioni: Frame, Funzione (informatica), Ipotesi del mondo aperto, Ipotesi del mondo chiuso, Logica, Ragionatore automatico, Rappresentazione della conoscenza, Resource Description Framework, Rete semantica, Struttura dati, Università di Oxford, Web Ontology Language, Web semantico, World Wide Web Consortium.
Frame
Frame in lingua inglese significa "cornice" o "struttura".
Nuovo!!: Logica descrittiva e Frame · Mostra di più »
Funzione (informatica)
Una funzione (detta anche routine, subroutine, procedura, sottoprogramma o metodo), in informatica e nell'ambito della programmazione, è un particolare costrutto sintattico di un determinato linguaggio di programmazione che permette di raggruppare, all'interno di un programma, una sequenza di istruzioni in un unico blocco, espletando così una specifica (e in generale più complessa) operazione, azione (o elaborazione) sui dati del programma stesso in modo tale che, a partire da determinati input, restituisca determinati output.
Nuovo!!: Logica descrittiva e Funzione (informatica) · Mostra di più »
Ipotesi del mondo aperto
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lipotesi del mondo aperto (nota anche in inglese come open-world assumption, o OWA) è l'ipotesi secondo cui il valore di verità di una dichiarazione può essere positivo indipendentemente dal fatto che la dichiarazione sia un fatto conosciuto essere vero.
Nuovo!!: Logica descrittiva e Ipotesi del mondo aperto · Mostra di più »
Ipotesi del mondo chiuso
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lipotesi del mondo chiuso (nota anche in inglese come closed-world assumption, o CWA) è l'ipotesi secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa.
Nuovo!!: Logica descrittiva e Ipotesi del mondo chiuso · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Logica descrittiva e Logica · Mostra di più »
Ragionatore automatico
Un ragionatore automatico è un software in grado di svolgere dei ragionamenti su delle basi di conoscenza adeguatamente formalizzate.
Nuovo!!: Logica descrittiva e Ragionatore automatico · 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!!: Logica descrittiva e Rappresentazione della conoscenza · Mostra di più »
Resource Description Framework
Il Resource Description Framework (RDF) è lo strumento base proposto da W3C per la codifica, lo scambio e il riutilizzo di metadati strutturati e consente l'interoperabilità semantica tra applicazioni che condividono le informazioni sul Web.
Nuovo!!: Logica descrittiva e Resource Description Framework · Mostra di più »
Rete semantica
Una rete semantica è una forma di rappresentazione della conoscenza.
Nuovo!!: Logica descrittiva e Rete semantica · Mostra di più »
Struttura dati
In informatica una struttura dati è un'entità usata per organizzare un insieme di dati all'interno della memoria del computer, ed eventualmente per memorizzarli in una memoria di massa.
Nuovo!!: Logica descrittiva e Struttura dati · Mostra di più »
Università di Oxford
L'Università di Oxford (in inglese: University of Oxford) è la più antica università del mondo anglosassone, la quarta università più antica d'Europa, dopo le tre antiche università italiane di Parma, Bologna e Padova.
Nuovo!!: Logica descrittiva e Università di Oxford · Mostra di più »
Web Ontology Language
Il Web Ontology Language (OWL) è un linguaggio di markup per rappresentare esplicitamente significato e semantica di termini con vocabolari e relazioni tra gli stessi.
Nuovo!!: Logica descrittiva e Web Ontology Language · Mostra di più »
Web semantico
Con il termine web semantico, termine coniato dal suo ideatore, Tim Berners-Lee, si intende la trasformazione del World Wide Web in un ambiente dove i documenti pubblicati (pagine HTML, file, immagini, e così via) sono associati ad informazioni e dati (metadati) che ne specificano il contesto semantico in un formato adatto all'interrogazione e l'interpretazione (es. tramite motori di ricerca) e, più in generale, all'elaborazione automatica.
Nuovo!!: Logica descrittiva e Web semantico · Mostra di più »
World Wide Web Consortium
Il World Wide Web Consortium, anche conosciuto come W3C, è un'organizzazione non governativa internazionale che ha come scopo quello di sviluppare tutte le potenzialità del World Wide Web.
Nuovo!!: Logica descrittiva e World Wide Web Consortium · Mostra di più »
