Jacques Pitrat was one of my intellectual masters, and the pioneer of French AI (his PhD thesis mentioned artificial intelligence in 1966). He was the president of the jury of my PhD defense (1990). I probably owe him my PhD title (at least partly). He has a page on French Wikipedia and a very interesting blog (in English) on http://bootstrappingartificialintelligence.fr/WordPress3/ and interacted in the mid 1960s with John Mc Carthy
I was in good relation with J.Pitrat, and visited him a few times each year, we spent delicious moments speaking of Artificial Intelligence. I believe to be respected by his family.
He spent nearly 30 years full time working on his CAIA system, a Quine artificial intelligence system in GPLv3+ license for Linux and Unix systems.
He gave me a tar sourceball of CAIA, and verbally the permission to publish it on my web page as http://starynkevitch.net/Basile/caia-su-24feb2016.tar.bz2 and he published a previous version of that software (as MALICE) on http://jacques.pitrat.pagesperso-orange.fr/MALICE.html
Jacques Pitrat passed away on October 14, 2019. I did attend his funerals
I believe to have kept his trust (even if we had some scientific disagreement: mostly I believe that artificial intelligence is part of computer science, he thought it is a different science).
I respect a lot Pitrat's vision and work. See http://refpersys.org/ for more.
Am I legally allowed to put the source code of that tarball on github.com ?
(obviously, under my name, but keeping the generated copyright notices mentioning his name).
The tarball contains many binary data files (e.g. _10527
, _11065
, _11603
, _14
) and many generated C files (such as dx.h
and ATOME84T0.c
, EQMPOSX0.c
, PLUSC2.c
, Z52Z0.c
) essential for operation. The C files carry a comment mentioning GPLv3+, but not the data files). There are 3833 generated *.c
files and 5972 generated binary files _*
. CAIA is able, in 30 minutes of CPU time, to regenerate all the 38 34 C files it is made of (totalizing 522586 lines of generated C), and all the 5966 data files (totalizing 32 megabytes, serializing objects) it needs to work.