Grafo concettuale
Un grafo concettuale è una notazione logica basata sui grafi esistenziali di Charles Sanders Peirce e le reti semantiche usate in intelligenza artificiale. Nel primo articolo pubblicato sull'argomento, John F. Sowa usò i grafi concettuali per rappresentare gli schemi concettuali utilizzati nei sistemi di database. Il primo libro sui grafi concettuali (Sowa, 1984) fornì applicazioni a un'ampia gamma di argomenti in intelligenza artificiale, informatica e scienze cognitive.
Rami di ricerca
modificaInterfaccia grafica per la logica del primo ordine
modificaIn questo approccio, una formula nella logica del primo ordine (calcolo dei predicati) è rappresentata da un grafico etichettato.
Una notazione lineare, denominata CGIF (Conceptual Graph Interchange Format), è stata standardizzata nello standard ISO per la logica comune.
Il diagramma sopra è un esempio del modulo di visualizzazione per un grafico concettuale. Ogni box è chiamato nodo di concetto e ogni ovale è chiamato nodo di relazione. In CGIF, questo CG sarebbe rappresentato dalla seguente dichiarazione:
[Cat Elsie] [Sitting *x] [Mat *y] (agent ?x Elsie) (location ?x ?y)
In CGIF, le parentesi racchiudono le informazioni all'interno dei nodi del concetto e le parentesi racchiudono le informazioni all'interno dei nodi della relazione. Le lettere x e y, chiamate etichette di coreferenza, mostrano come sono collegati il concetto e i nodi di relazione. In CLIF, quelle lettere sono mappate su variabili, come nella seguente dichiarazione:
(exists ((x Sitting) (y Mat)) (and (Cat Elsie) (agent x Elsie) (location x y)))
Come mostra questo esempio, gli asterischi sulle etichette di coreferenza *x
e *y
in CGIF si associano a variabili quantificate esistenzialmente in CLIF, mentre i punti interrogativi su ?x
e ?y
mappano a variabili vincolate in CLIF. Un quantificatore universale, rappresentato @every*z
in CGIF, sarebbe rappresentato forall (z)
in CLIF.
Il ragionamento può essere fatto traducendo i grafici in formule logiche, quindi applicando un motore di inferenza logica.
Calcolo schematico della logica
modificaUn altro ramo di ricerca continua il lavoro sui grafi esistenziali di Charles Sanders Peirce, che furono una delle origini dei grafi concettuali proposti da Sowa. In questo approccio, sviluppato in particolare da Dau (2003), i grafi concettuali sono diagrammi concettuali piuttosto che grafici nel senso di teoria dei grafi, e le operazioni di ragionamento sono eseguite da operazioni su questi diagrammi.
Rappresentazione della conoscenza basata su grafici e modello di ragionamento
modificaLe caratteristiche chiave di GBKR, la rappresentazione della conoscenza basata su grafici e il modello di ragionamento sviluppato da Chein e Mugnier e dal gruppo di Montpellier (Chein & Mugnier - 2009), possono essere riassunte come segue:
- Tutti i tipi di conoscenza (ontologia, regole, vincoli e fatti) sono etichettati come grafici, che forniscono un mezzo intuitivo e facilmente comprensibile per rappresentare la conoscenza.
- I meccanismi di ragionamento si basano su nozioni di grafi, fondamentalmente la nozione classica di omomorfismo di grafi; ciò consente, in particolare, di collegare problemi di ragionamento di base ad altri problemi fondamentali in informatica (ad esempio, problemi riguardanti query congiuntive in database relazionali o problemi di soddisfazione dei vincoli).
- Il formalismo è logicamente fondato, cioè ha una semantica nella logica del primo ordine e i meccanismi di inferenza sono sani e completi rispetto alla deduzione nella logica del primo ordine.
- Da un punto di vista computazionale, la nozione di omomorfismo del grafo è stata riconosciuta negli anni '90 come nozione centrale, e sono stati ottenuti risultati di complessità e algoritmi efficienti in diversi domini.
COGITANT e COGUI sono strumenti che implementano il modello GBKR. COGITANT è una libreria di classi C ++ che implementa la maggior parte delle nozioni e dei meccanismi di ragionamento GBKR. COGUI è un'interfaccia utente grafica dedicata alla costruzione di una knowledge base GBKR (integra COGITANT e, tra le numerose funzionalità, contiene un traduttore da GBKR a RDF/S e viceversa).
Generalizzazione delle frasi e diagrammi di generalizzazione
modificaLa generalizzazione delle frasi e i diagrammi di generalizzazione possono essere definiti come un tipo speciale di grafici concettuali che possono essere costruiti automaticamente da alberi sintattici di analisi e supportano il compito di classificazione semantica. La misura di similarità tra alberi sintattici di analisi può essere eseguita come operazione di generalizzazione sugli elenchi di sotto-alberi di questi alberi. I diagrammi sono la rappresentazione della mappatura tra il livello di generalizzazione della sintassi e il livello di generalizzazione della semantica (anti-unificazione delle forme logiche). I diagrammi di generalizzazione sono destinati ad essere una rappresentazione semantica più accurata rispetto ai grafici concettuali convenzionali per le singole frasi perché solo le comunanze sintattiche sono rappresentate a livello semantico.
Bibliografia
modifica- John F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984.
Voci correlate
modificaCollegamenti esterni
modifica- Michel Chein e Marie-Laure Mugnier, Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, Springer, 2009, DOI:10.1007/978-1-84800-286-9, ISBN 978-1-84800-285-2.
- F. Dau, The Logic System of Concept Graphs with Negation and Its Relationship to Predicate Logic, in Lecture Notes in Computer Science, vol. 2892, Springer, 2003.
- John F. Sowa, Conceptual Graphs for a Data Base Interface (PDF), in IBM Journal of Research and Development, vol. 20, n. 4, luglio 1976, pp. 336–357, DOI:10.1147/rd.204.0336.
- John F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Reading, MA, Addison-Wesley, 1984, ISBN 978-0-201-14472-7.
- Boris Galitsky, Gabor Dobrocsi, Josep Lluis de la Rosa e Sergei O. Kuznetsov, From Generalization of Syntactic Parse Trees to Conceptual Graphs, in Lecture Notes in Computer Science, vol. 6208, Springer, 2010, pp. 185–190, DOI:10.1007/978-3-642-14197-3_19, ISBN 978-3-642-14196-6.
- Paola Velardi, Maria Teresa Pazienza e Mario De' Giovanetti, Conceptual graphs for the analysis and generation of sentences, in IBM Journal of Research and Development, vol. 32, n. 2, IBM Corp. Riverton, NJ, USA, marzo 1988, pp. 251–267, DOI:10.1147/rd.322.0251.
- Home Page di Strutture Concettuali. (Vecchio sito: Home Page Grafici Concettuali)
- Conferenze internazionali annuali (ICCS) presso DBLP
- Grafici concettuali sul sito web di John F. Sowa