Indice
18 relazioni: Assunzione del mondo chiuso, Assunzione di unicità del nome, Base di conoscenza, Certain answer, Completezza (rappresentazione della conoscenza), FrancoAngeli, Lingua inglese, Modello relazionale, Monotonia dell'implicazione, Negazione come fallimento, NULL, Peter Norvig, Prolog, Rappresentazione della conoscenza, Structured Query Language, Valore di verità, Web Ontology Language, Web semantico.
Assunzione del mondo chiuso
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lassunzione del mondo chiuso (dall'inglese closed-world assumption, o CWA, talvolta tradotta come ipotesi del mondo chiuso) è l'assunzione secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa.
Vedere Assunzione del mondo aperto e Assunzione del mondo chiuso
Assunzione di unicità del nome
L'assunzione di unicità del nome (in inglese abbreviato UNA, Unique Name Assumption) è un'assunzione semplificativa che viene fatta durante la definizione di alcuni linguaggi per ontologie e logiche descrittive.
Vedere Assunzione del mondo aperto e Assunzione di unicità del nome
Base di conoscenza
Una base di conoscenza (individuata anche con il termine inglese knowledge base e con l'acronimo KB) è un tipo speciale di banca dati per la gestione della conoscenza per scopi aziendali, culturali o didattici.
Vedere Assunzione del mondo aperto e Base di conoscenza
Certain answer
Nella rappresentazione della conoscenza, quello delle certain answer (traducibile letteralmente dall'inglese come "risposta certa") è l'insieme delle risposte a una certa query formato dall'intersezione di tutti i database completi coerenti con una certa base di conoscenza incompleta di riferimento.
Vedere Assunzione del mondo aperto e Certain answer
Completezza (rappresentazione della conoscenza)
Nell'ambito della rappresentazione della conoscenza, una base di conoscenza KB si dice completa se non esiste alcuna formula alpha tale che KB nvDash alpha land KB nvDash negalpha.
Vedere Assunzione del mondo aperto e Completezza (rappresentazione della conoscenza)
FrancoAngeli
FrancoAngeli è una casa editrice italiana specializzata nella pubblicazione di libri e riviste per l'aggiornamento di professionisti e studiosi, per la formazione universitaria e quella postuniversitaria.
Vedere Assunzione del mondo aperto e FrancoAngeli
Lingua inglese
Linglese (nome nativo: English) è una lingua indoeuropea, parlata da circa 1,452 miliardi di persone al 2022. Secondo Ethnologue 2022 (25ª edizione), è la lingua più parlata al mondo per numero di parlanti totali (nativi e stranieri) ed è la terza per numero di parlanti madrelingua (L1) (la prima è il cinese e la seconda è lo spagnolo).
Vedere Assunzione del mondo aperto e Lingua inglese
Modello relazionale
In informatica il modello relazionale è un modello matematico che offre gli strumenti concettuali per strutturare una base di dati in termini di valori atomici e relazioni tra di essi.
Vedere Assunzione del mondo aperto e Modello relazionale
Monotonia dell'implicazione
La monotonia è la proprietà di un connettivo di implicazione logica di conservare un valore di verità positivo trasformando l'antecedente "a" nella congiunzione dello stesso antecedente "a" con una qualsiasi altra formula.
Vedere Assunzione del mondo aperto e Monotonia dell'implicazione
Negazione come fallimento
La negazione come fallimento (nota anche come NaF, dall'inglese negation as failure, o negation by default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare mathrm~p dal fallimento nel derivare ~p, dove ~p è un atomo che non si può dedurre automaticamente dal programma (poiché non è conseguenza logica dei fatti e delle regole contenute nel programma).
Vedere Assunzione del mondo aperto e Negazione come fallimento
NULL
In diversi contesti dell'informatica e della matematica, la parola null o anche meno frequentemente nil viene usata per indicare un particolare elemento di un insieme che svolge, in qualche senso, una funzione simile a quella dello zero matematico.
Vedere Assunzione del mondo aperto e NULL
Peter Norvig
Co-autore di Artificial Intelligence: A Modern Approach, dal 2001 lavora presso Google.
Vedere Assunzione del mondo aperto e Peter Norvig
Prolog
Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica.
Vedere Assunzione del mondo aperto e Prolog
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.
Vedere Assunzione del mondo aperto e Rappresentazione della conoscenza
Structured Query Language
Structured Query Language o in breve SQL è un linguaggio standardizzato per database basati sul modello relazionale (RDBMS), progettato per le seguenti operazioni.
Vedere Assunzione del mondo aperto e Structured Query Language
Valore di verità
In logica matematica, un valore di verità (o valore logico) è un valore che stabilisce il limite entro cui una proposizione risulta vera. In logica classica, gli unici possibili valori di verità sono vero e falso, e ogni proposizione assume necessariamente almeno uno dei due valori e nessun altro (un valore e uno solo), per denotare i quali si usano le lettere maiuscole V ed F, ovvero i due numeri 1 e 0, rispettivamente.
Vedere Assunzione del mondo aperto e Valore di verità
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.
Vedere Assunzione del mondo aperto e Web Ontology Language
Web semantico
Il web semantico è un'estensione del World Wide Web in cui 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 all'interpretazione (es.
Vedere Assunzione del mondo aperto e Web semantico
Conosciuto come Assunzione di mondo aperto, Ipotesi del mondo aperto, Open-world assumption.