Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

the Refpersys open source symbolic artificial intelligence system (and future collaboration?)

6 views
Skip to first unread message

Basile Starynkevitch

unread,
May 26, 2022, 9:48:30 AM5/26/22
to conda...@googlegroups.com


I am living near Paris in France and got my PhD in 1990 at Paris LIP6, on symbolic artificial intelligence.

On github I am https://github.com/bstarynk

On SoftwareEngineering I am  https://softwareengineering.stackexchange.com/users/40065/basile-starynkevitch

You (or colleagues in computer science or software engineering) could be interested by the RefPerSys -a reflexive& persistent system- open source symbolic artificial intelligence system (GPLv3+ licensed, for Linux) - work in progress

See http://refpersys.org/ for details. (It is in july 2021 - May. 2022 an informal project)

It is related to the work of the late Jacques Pitrat (1934 - oct. 2019) who was the director of my PhD jury, defended in Paris in 1990.

You probably would enjoy reading both Pitrat's blog, still on http://bootstrappingartificialintelligence.fr/WordPress3/ and his last book:

Artificial Beings: the Conscience of a Conscious Machine

ISBN-13: 978-1848211018

(that book also contains something relevant to machine learning with metarules)


My professional work at CEA LIST in France is on cybersecurity on Bismon, a static source code analyzer above GCC for C and C++ code : code is on https://github.com/bstarynk/bismon and funding happens thru the DECODER projects. They could end quickly. My professional email is basile.sta...@cea.fr.
RefPerSys is currently (2020 to mid 2022) an unofficial project (coded with others in C++, and we are rewriting it in C for non-technical reasons), but I am trying to find some contributors (some of them are in India), maybe funds and applications for it (and dream of being able to work on, it part time in a few months). It is (as a Linux application) orthogonally persistent and generates C++ (and hopefully soon C) code. The insight is to generate a lot more and more C or C++ code from a more declarative description, as advocated by the late Jacques Pitrat.
Perhaps you could be interested in contributing to RefPerSys?

Perhaps you have students or colleagues interested in actively contributing to RefPerSys?

Perhaps RefPerSys could be useful to some students or become a starting point for some future HorizonEurope submission, or ITEA proposal....? Or any kind of project which could partly fund  or contribute code to RefPerSys? In such case email me also at work: basile.sta...@cea.fr


Difference between RefPerSys and Ocaml: RefPerSys has introspection, is dynamically typed, and multi-threaded. It is alpha quality.


My constraints are: RefPerSys is for Linux only, and I am only capable of producing PDF documents with LaTeX (but not with Microsoft software) I never used in my life any Microsoft Windows operating system (only Linux), and at the age of 62 I don't have the time -or the motivation- to learn how to use a Microsoft Windows operating system. But I am using Linux both at home and at work since 1993.

Some contributors to RefPerSys are living in India, near Kolkotta. In particular Abhishek Chakravarti abhi...@taranjali.org

A mailing list for RefPerSys also exists, archived on https://framalistes.org/sympa/arc/refpersys-forum

Regards


    
-- 
Basile Starynkevitch                  <bas...@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/

Reply all
Reply to author
Forward
0 new messages