Dimensions linguistiques de Prolog : le passé, le futur
Verónica Dahl1
1Simon Fraser University Computing Sciences Department 8888 University Road Burnaby, B.C. (Canada)
Revue Ouverte d'Intelligence Artificielle, Hommage à Alain Colmerauer, Volume 5 (2024) no. 2-3, pp. 65-93

Cet article examine l’influence durable de la linguistique et des langues naturelles sur Prolog ; il analyse l’utilisation de ces outils (ou leur manque d’utilisation) dans l’Intelligence Artificielle de nos jours, en précisant les limites du mot «  intelligence  » dans ce contexte. Il propose des manières de recentrer l’IA vers un monde plus équitable et respectueux de l’environnement, en nous servant de Prolog comme langage et de la langue naturelle comme baromètre, pour surmonter nos crises écologiques et sociales actuelles.

This article examines the enduring influence of linguistics and natural language on Prolog. It analyses the use of these tools (or the absence of use) in Artificial Intelligence nowadays while clarifying the limits of the word “intelligence” in this context. It proposes different ways of designing AI to create a more equitable and environmentally friendly world, with Prolog as a programming language and natural language as a barometer to overcome our present social and environmental crises.

Reçu le :
Accepté le :
Publié le :
DOI : 10.5802/roia.73
Mots-clés : Programmation logique, IA, linguistique computationnelle.
Keywords: Prolog, logic programming, natural language, linguistics, symbolic and subsymbolic AI, existential risks, Doughnut computing solutions, regenerative and redistributive AI.

Verónica Dahl  1

1 Simon Fraser University Computing Sciences Department 8888 University Road Burnaby, B.C. (Canada)
Licence : CC-BY 4.0
Droits d'auteur : Les auteurs conservent leurs droits
Verónica Dahl. Dimensions linguistiques de Prolog : le passé, le futur. Revue Ouverte d'Intelligence Artificielle, Hommage à Alain Colmerauer, Volume 5 (2024) no. 2-3, pp. 65-93. doi: 10.5802/roia.73
@article{ROIA_2024__5_2-3_65_0,
     author = {Ver\'onica Dahl},
     title = {Dimensions linguistiques de {Prolog~:} le pass\'e, le futur},
     journal = {Revue Ouverte d'Intelligence Artificielle},
     pages = {65--93},
     year = {2024},
     publisher = {Association pour la diffusion de la recherche francophone en intelligence artificielle},
     volume = {5},
     number = {2-3},
     doi = {10.5802/roia.73},
     language = {fr},
     url = {https://roia.centre-mersenne.org/articles/10.5802/roia.73/}
}
TY  - JOUR
AU  - Verónica Dahl
TI  - Dimensions linguistiques de Prolog : le passé, le futur
JO  - Revue Ouverte d'Intelligence Artificielle
PY  - 2024
SP  - 65
EP  - 93
VL  - 5
IS  - 2-3
PB  - Association pour la diffusion de la recherche francophone en intelligence artificielle
UR  - https://roia.centre-mersenne.org/articles/10.5802/roia.73/
DO  - 10.5802/roia.73
LA  - fr
ID  - ROIA_2024__5_2-3_65_0
ER  - 
%0 Journal Article
%A Verónica Dahl
%T Dimensions linguistiques de Prolog : le passé, le futur
%J Revue Ouverte d'Intelligence Artificielle
%D 2024
%P 65-93
%V 5
%N 2-3
%I Association pour la diffusion de la recherche francophone en intelligence artificielle
%U https://roia.centre-mersenne.org/articles/10.5802/roia.73/
%R 10.5802/roia.73
%G fr
%F ROIA_2024__5_2-3_65_0

[1] Harvey Abramson; Veronica Dahl Logic Grammars, Springer, 1989 | MR | DOI

[2] Ife Adebara; Veronica Dahl Grammar Induction as Automated Transformation between Constraint Solving Models of Language, Proceedings KnowProS (Roman Bartak; Thomas Leo McCluskey; Enrico Pontelli, eds.) (CEUR Workshop Proceedings), Volume 1648, CEUR (2016)

[3] A. Barranco-Mendoza; D. R. Persaoud; V. Dahl A property-based model for lung cancer diagnosis (poster), 8th Annual Int. Conf. on Computational Molecular Biology, RECOMB 2004 (2004)

[4] M. Bavarian; V. Dahl RNA Secondary Structure Design Using Constraint Handling Rules, Proceedings Workshop on Constraints for Bioinformatics, ICLP’05, Sitges, Spain (2005)

[5] Maryam Bavarian; Verónica Dahl Constraint Based Methods for Biological Sequence Analysis, Journal of Universal Computer Science, Volume 12 (2006), pp. 1500-1520 | DOI

[6] Wolfgang Behringer Witches and Witch-Hunts : A Global History, Cambridge : Polity P., 2004

[7] Emily M. Bender; Alexander Koller Climbing towards NLU : On Meaning, Form, and Understanding in the Age of Data, Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics (2020), pp. 5185-5198 | DOI

[8] Abeba Birhane Algorithmic injustice : a relational ethics approach, Patterns, Volume 2 (2021) no. 2, 100205 | DOI

[9] Adelaïde Bon; Sadrine Roudaut; Sandrine Rousseau Par-delà l’androcène, Editions du Seuil, 2022

[10] Aylin Caliskan; Joanna Bryson; Arvind Narayanan Semantics derived automatically from language corpora contain human-like biases, Science, Volume 356 (2017) no. 6334, pp. 183-186 | DOI

[11] Laura Cecchi; Jorge Rodriguez; Veronica Dahl Logic Programming at Elementary School : Why, What and How Should We Teach Logic Programming to Children ?, Prolog : The Next 50 Years (David S. Warren; Veronica Dahl; Thomas Eiter; Manuel Hermenegildo; Robert Kowalski; Francesca Rossi, eds.) (LNCS), Springer Nature Switzerland, Cham, 2023 no. 13900, pp. 131-143 | DOI

[12] Rumman Chowdhury; Dhanya Lakshmi La violence de genre facilitée par la technologie à l’ère de l’intelligence artificielle générative, UNESCO, 2023 no. 13900

[13] Henning Christiansen Logical Grammars Based on Constraint Handling Rules, Proceedings ICLP 2002 (Peter J. Stuckey, ed.) (Lecture Notes in Computer Science), Volume 2401, Springer (2002), p. 481 | MR | DOI | Zbl

[14] Henning Christiansen; Veronica Dahl HYPROLOG : A New Logic Programming Language with Assumptions and Abduction, Proceedings ICLP 2005 (Maurizio Gabbrielli; Gopal Gupta, eds.) (Lecture Notes in Computer Science), Volume 3668, Springer (2005), pp. 159-173 | DOI | Zbl

[15] A. Colmerauer; H. Kanoui; R. Pasero; P. Roussel Un systeme de communication Homme-Machine en Français (1972) (rapport de recherche)

[16] A. Colmerauer; J. F. Pique About Natural Logic, Advances in Data Base Theory : Volume 1 (Hervè Gallaire; Jack Minker; Jean Marie Nicolas, eds.), Springer US, Boston, MA, 1981, pp. 343-365 | DOI

[17] Alain Colmerauer Les systèmes Q ou un formalisme pour analyser et synthètiser des phrases sur ordinateur (1970) (Internal publication 43)

[18] Alain Colmerauer Les grammaires de métamorphose GIA (1975) English version, Metamorphosis grammars. In L. Bolc, (Ed.), Natural Language Communication with Computers, Lecture Notes in Computer Science 63, Springer, 1978, pp. 133–189

[19] Alain Colmerauer Un sous-ensemble intéressant du français, RAIRO. Informatique thèorique et Applications, Volume 13 (1979) no. 4, pp. 309-336 | Zbl | DOI | Numdam

[20] Veronica Dahl Un système déductif d’interrogation de banques de données en espagnol, Ph. D. Thesis, Université d’Aix-Marseille II (1977)

[21] Veronica Dahl Logical Design of Deductive, Natural Language Consultable Data Bases, Proc.V International Conference on Very Large Data Bases, Rio de Janeiro (1979), pp. 24-31 | DOI

[22] Veronica Dahl Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems, Proceedings IJCAI, Volume 1, William Kaufmann (1979), pp. 182-187

[23] Veronica Dahl A three-valued logic for natural language computer applications, Proc. International Symposium on Multiple Valued Logic, Illinois (1980), pp. 102-107

[24] Veronica Dahl Two Solutions for the Negation Problem, Proceedings Workshop on Logic Programming (1980)

[25] Veronica Dahl Translating Spanish into Logic through Logic, Comput. Linguist., Volume 7 (1981) no. 3, pp. 149-164

[26] Veronica Dahl On Database Systems Development Through Logic, ACM Trans. Database Syst., Volume 7 (1982) no. 1, pp. 102-123 | MR | DOI

[27] Veronica Dahl Doughnut computing : aiming at human and ecological well-being, Proceedings 6th International Conference on the History and Philosophy of Computing (HAPOC-6) (2021)

[28] Veronica Dahl; G. Bel-Enguix; E. Miralles; V. Tirado Grammar Induction for Under-resourced Languages : The Case of Ch’ol, Proceedings AVERTIS 2019. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (John Gallagher; Roberto Giacobazzi; Pedro Lopez-Garcia, eds.) (Lecture Notes in Computer Science), Springer (2021) (To appear)

[29] Veronica Dahl; Gemma Bel-Enguix; Velina Tirado; Emilio Miralles Grammar Induction for Under-Resourced Languages : The Case of Ch’ol, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Pedro Lopez-Garcia; John P. Gallagher; Roberto Giacobazzi, eds.) (LNCS), Volume 13160, Springer Nature Switzerland, Cham, 2023, pp. 113-132 | DOI

[30] Veronica Dahl; Philippe Blache Directly Executable Constraint Based Grammars, Proc. Journées Francophones de Programmation en Logique avec Contraintes (2004)

[31] Veronica Dahl; Philippe Blache Extracting Selected Phrases through Constraint Satisfaction, Proc. Constraint Satisfaction and Language Processing SLP’05 (2005)

[32] Veronica Dahl; Laura Cecchi Introducing Prolog in Language-Informed Ways, Prolog : The Next 50 Years (David S. Warren; Veronica Dahl; Thomas Eiter; Manuel Hermenegildo; Robert Kowalski; Francesca Rossi, eds.) (LNCS), Springer Nature Switzerland, Cham, 2023 no. 13900 | DOI

[33] Veronica Dahl; A. Fall; M.-C. Thomas Driving robots through natural language, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, Volume 2 (1995), pp. 1904-1908 | DOI

[34] Veronica Dahl; Michael McCord Treating Coordination in Logic Grammars, Computational Linguistics, Volume 9 (1983) no. 2, pp. 69-91

[35] Veronica Dahl; J.3 Emilio Miralles Womb Grammars : Constraint Solving for Grammar Induction, Proceedings CHR (Jon Sneyers; Thom Frühwirth, eds.) (Report CW), Volume 624, KU Leuven (2012), pp. 32-40

[36] Veronica Dahl; Juan José Moreno-Navarro Doughnut Computing in City Planning for Achieving Human and Planetary Rights, Bio-inspired Systems and Applications : from Robotics to Ambient Intelligence (Josè Manuel Ferrández Vicente; Josè Ramón Álvarez-Sánchez; Fèlix de la Paz López; Hojjat Adeli, eds.) (Lecture Notes in Computer Science), Springer International Publishing, Cham (2022), pp. 562-572 | DOI

[37] Veronica Dahl; R Sambuc Un système de banque de données en logique du premier ordre, en vue de sa consultation en langue naturelle (1976) (D.E.A. Report)

[38] Veronica Dahl; P. Tarau; R. Li Assumption Grammars for Processing Natural Language, Proceedings International Conference on Logic Programming’97 (Springer, ed.) (1997), pp. 256-270 | DOI

[39] Luc de Raedt; Sebastijan Dumancic; Robin Manhaeve; Giuseppe Marra From Statistical Relational to Neuro-Symbolic Artificial Intelligence, Proceedings IJCAI (Christian Bessiere, ed.), International Joint Conferences on Artificial Intelligence Organization (2020), pp. 4943-4950 | DOI

[40] Catherine D’Ignazio; Lauren F. Klein Data Feminism, Strong Ideas, MIT Press, Cambridge, MA, 2020

[41] Dorothée Dussy Le berceau des dominations. Anthropologie de l’inceste, Pocket, 2021, 402 pages | DOI

[42] R. Eisler The Chalice and the Blade : Our History, Our Future—Updated With a New Epilogue, HarperOne, 2011

[43] R. Eisler; Douglas P. Fry Nurturing Our Humanity : How Domination and Partnership Shape Our Brains, Lives, and Future, Oxford University Press, Oxford, 2019 | DOI

[44] E. W. Elcock Absys : The First Logic Programming Language, Journal of Logic Programming, Volume 9 (1990) no. 1, pp. 1-17 | DOI | Zbl

[45] Robert W. Floyd Nondeterministic Algorithms, Journal of the ACM, Volume 14 (1967) no. 4, pp. 636-644 | DOI | Zbl

[46] Mary L. Gray; S. Siddharth Ghost Work : How to Stop Silicon Valley from Building a New Global Underclass, Harper Business, 2019, 288 pages

[47] C. Cordell Green The Application of Theorem Proving to Question-Answering Systems, Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, 1969

[48] R. S. Hellberg; M. T. Morrissey QAdvances in DNA-based techniques for the detection of seafood species substitution on the commercial market, J Lab Autom., Volume 16 (2011) no. 4, pp. 308-321 | DOI

[49] Carl Hewitt PLANNER : A Language for Proving Theorems in Robots, Proceedings IJCAI (Donald E. Walker; Lewis M. Norton, eds.), William Kaufmann (1969), pp. 295-302

[50] Jason Hickel Less Is More : How Degrowth Will Save the World, Penguin Random House, 2020

[51] A. Jobin et al. The Global Landscape of AI Ethics Guidelines, Nat. Mach. Intell., Volume 1 (2019), pp. 389-399 | DOI

[52] E. L. Keenan On Semantically Based Grammars, Linguistic Inquiry, Volume 3 (1972) no. 4, pp. 413-461

[53] Robert Kowalski; Donald Kuehner Linear resolution with selection function, Artif. Intell., Volume 2 (1971) no. 3, pp. 227-260 | MR | DOI | Zbl

[54] Robert A. Kowalskic; Jacinto Dávila Quintero; Galileo Sartor; Miguel Calejo Logical English for Law and Education, Prolog : The Next 50 Years (David S. Warren; Veronica Dahl; Thomas Eiter; Manuel Hermenegildo; Robert Kowalski; Francesca Rossi, eds.) (LNCS), Springer Nature Switzerland, Cham, 2023 no. 13900 | DOI

[55] Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; Jose F. Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu; Giovanni Ciatto Fifty Years of Prolog and Beyond (2022) (https://arxiv.org/abs/2201.10816)

[56] G. Lakoff; J. R. Ross Es necesaria la estructura profunda ?, Semántica y Sintaxis en la Teoría Transfrmatoria, Alianza Editorial de Madrid, 1974, pp. 226-231

[57] Adam Lally; John M. Prager; Michael C. McCord; Branimir Boguraev; Siddharth Patwardhan; James Fan; Paul Fodor; Jennifer Chu-Carroll Question analysis : How Watson reads a clue, Journal of Research and Development, Volume 56 (2012) no. 3.4, p. 2 :1-2 :14 | DOI

[58] Luís C. Lamb; Artur S. d’Avila Garcez; Marco Gori; Marcelo O. R. Prates; Pedro H. C. Avelar; Moshe Y. Vardi Graph Neural Networks Meet Neural-Symbolic Computing : A Survey and Perspective, Proceedings IJCAI (Christian Bessiere, ed.), International Joint Conferences on Artificial Intelligence Organization (2020), pp. 4877-4884 | DOI

[59] Gary Marcus; Ernest Davis GPT-3, Bloviator : OpenAI’s language generator has no idea what it’s talking about, MIT Technology Review, 2020

[60] Michael McCord Using Slot Grammar (2010) (https://dominoweb.draco.res.ibm.com/reports/rc23978revised.pdf)

[61] Dan McQuillan Resisting AI : An Anti-fascist Approach to Artificial Intelligence, Policy Press, 2022 | DOI

[62] Richard Montague The Proper Treatment of Quantification in Ordinary English, Approaches to Natural Language (K. Jaakko J. Hintikka; Julius M. E. Moravcsik; P. Suppes, eds.), Springer Netherlands, Dordrecht, 1973, pp. 221-242 | DOI

[63] Thimotée Parrique Ralentir ou périr, Seuil, 2022 (Prix EcoloObs)

[64] Fernando C. N. Pereira; Stuart M. Shieber Prolog and natural-language analysis, CSLI Lect. Notes, 10, Stanford : Center for the Study of Language and Information, 1987 | Zbl

[65] Fernando Carlos Neves Pereira; David H. D. Warren Definite Clause Grammars for Language Analysis – A Survey of the Formalism and a Comparison with Augmented Transition Networks, Artif. Intell., Volume 13 (1980) no. 3, pp. 231-278 | MR | DOI | Zbl

[66] J. F. Pique Interrogation en Francais d’une Base de Donnée Relationnelle, Mémoire de DEA, Faculté des Sciences de Luminy, Université Aix-Marseille II (1978)

[67] Giuseppe Pisano; Giovanni Ciatto; Roberta Calegari; Andrea Omicini Neuro-symbolic Computation for XAI : Towards a Unified Model, Proceedings WOA (Roberta Calegari; Giovanni Ciatto; Enrico Denti; Andrea Omicini; Giovanni Sartor, eds.) (CEUR Workshop Proceedings), Volume 2706, CEUR (2020), pp. 101-117

[68] Kate Raworth Doughnut Economics : Seven Ways to Think Like a 21st-Century Economist, Chelsea Green Publishing, 2017

[69] Maria Ressa How to Stand Up to a Dictator- the Fight for our Future, Harper Collins publishers, 2022

[70] C. Riedl; Y. J. Kim; P. Gupta; T. W. Malone; A. W. Wooley Quantifying collective intelligence in human groups, PNAS, Volume 118 (2021) no. 21, e2005737118 | DOI

[71] J. A. Robinson A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM, Volume 12 (1965) no. 1, pp. 23-41 | DOI | Zbl

[72] Jon Sneyers; Peter Van Weert; Tom Schrijvers; Leslie De Koninck As time goes by : Constraint Handling Rules – A survey of CHR research from 1998 to 2007 (2009) (https://arxiv.org/abs/0906.4474)

[73] Will Steffen; Katherine Richardson; Johan Rockström; Sarah E. Cornell; Ingo Fetzer; Elena M. Bennett; Reinette Biggs; Stephen R. Carpenter; Wim de Vries; Cynthia A. de Wit; Carl Folke; Dieter Gerten; Jens Heinke; Georgina M. Mace; Linn M. Persson; Veerabhadran Ramanathan; Belinda Reyers; Sverker Sörlin Planetary boundaries : Guiding human development on a changing planet, Science, Volume 347 (2015) no. 6223, 1259855 | DOI

[74] Paul Tarau Natlog : a Lightweight Logic Programming Language with a Neuro-symbolic Touch, Proceedings 37th International Conference on Logic Programming (Technical Communications), Porto (virtual event), 20-27th September 2021 (Andrea Formisano; Yanhong Annie Liu; Bart Bogaerts; Alex Brik; Veronica Dahl; Carmine Dodaro; Paul Fodor; Gian Luca Pozzato; Joost Vennekens; Neng-Fa Zhou, eds.) (EPTCS), Volume 345 (2021), pp. 141-154 | MR | DOI

[75] Alvaro Videla Echoes of Intelligence : Textual interpretation and large language models, Communications of the ACM, Volume 21 (2023) no. 3, pp. 36-53 | DOI

[76] David H.D. Warren; Fernando C.N. Pereira An Efficient Easily Adaptable System for Interpreting Natural Language Queries, American Journal of Computational Linguistics, Volume 8 (1982) no. 3-4, pp. 110-122

[77] Prolog : The Next 50 Years (David S. Warren; Veronica Dahl; Thomas Eiter; Manuel Hermenegildo; Robert Kowalski; Francesca Rossi, eds.), LNCS, Springer Nature Switzerland, Cham, 2023 no. 13900 | MR | DOI | Zbl

[78] Shoshana Zuboff The Age of Surveillance Capitalism – The Fight for a Human Future at the New Frontier of Power, Profile Books, 2019

Cité par Sources :