L'interpretazione procedurale delle clausole di Horn, sviluppata da Robert Kowalski, fornisce la base operativa per il ragionamento all'indietro nella programmazione logica. Nato nel 1941 a Bridgeport, nel Connecticut, il matematico e informatico ha concentrato la sua carriera sull'intersezione tra la dimostrazione automatica di teoremi e i modelli computazionali orientati all'uomo, lavorando principalmente presso istituzioni accademiche nel Regno Unito.
Background accademico
Kowalski ha frequentato la Fairfield College Preparatory School prima di intraprendere gli studi superiori. Ha conseguito una laurea in matematica presso l'Università di Bridgeport nel 1963, seguita da un master in matematica presso l'Università di Stanford nel 1966. I suoi studi di dottorato lo hanno portato all'Università di Varsavia e infine all'Università di Edimburgo, dove ha conseguito un dottorato in informatica nel 1970.
Fondamenti della programmazione logica
La sua carriera di ricerca è iniziata come borsista all'Università di Edimburgo dal 1970 al 1975. Nel 1975 si è trasferito al Dipartimento di Informatica dell'Imperial College di Londra. Ha ottenuto una cattedra in logica computazionale nel 1982 e ha raggiunto lo status di emerito nel 1999. All'inizio di questo periodo, ha sviluppato la risoluzione SL insieme a Donald Kuehner e ha formulato la procedura di prova dei grafi di connessione. In collaborazione con Maarten van Emden, ha stabilito la semantica del punto fisso e il modello minimo delle clausole di Horn, che definiscono i fondamenti logici del campo.
Applicazioni nel diritto e nella logica
Kowalski ha esteso la portata della programmazione logica a domini complessi come il ragionamento giuridico. Con Marek Sergot, ha sviluppato il calcolo degli eventi e ha applicato la programmazione logica per creare i primi sistemi esperti legali. Il loro studio del 1986, The British Nationality Act as a Logic Program, rimane un'opera fondamentale nel diritto computazionale, facendo guadagnare al team il premio CodeX inaugurale nel 2021. Inoltre, il suo lavoro con Fariba Sadri ha portato alla creazione di sistemi di produzione logica e allo sviluppo del Logical English, una sintassi limitata progettata per migliorare la comunicazione e formalizzare i contratti legali.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Riconoscimenti professionali
I suoi contributi sono stati segnati da importanti onorificenze professionali. È stato eletto membro dell'Association for the Advancement of Artificial Intelligence nel 1991 e dell'Association for Computing Machinery nel 2001. Nel 2011 ha ricevuto il premio IJCAI per l'eccellenza nella ricerca. Tra il 2012 e il 2014, ha ricevuto un premio della Japan Society for the Promotion of Science per scienziati eminenti.
Fatti rapidi
- Nascita: 1941, Bridgeport - Campo: Logica e informatica - Dottorato: Università di Edimburgo, 1970 - Professore emerito: Imperial College di Londra - Affiliazioni: AAAI, ACM - Interesse principale: Logica computazionale - Libro notevole: Logic for Problem Solving, 1979 - Vincitore del premio CodeX: 2021
Domande frequenti
### Qual è la funzione principale del Logical English?
Serve come zucchero sintattico per linguaggi di programmazione come Prolog, destinato a consentire agli individui di leggere e comprendere le regole logiche utilizzando la sintassi inglese standard.
### In che modo Kowalski collega la logica al pensiero umano?
Sostiene che la logica computazionale agisce come un modello per la risoluzione dei problemi che, se combinato con la teoria delle decisioni, può migliorare la comunicazione in linguaggio naturale e le capacità di ragionamento pratico.
