On 7/31/21 3:06 AM, immortal.discover...@gmail.com wrote:
I'd finance you all I could if you give me a good theory.


I strongly believe there cannot be any good single theory of AI systems. What should be developed is a set of AI software systems, and several of them.

Probably, in Europe, what is needed are several HorizonEurope submissions related to AI software development.


You (or our students, friends, or colleagues) 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/ <http://refpersys.org/> for details. (It is in july 2021 a hobby/unfunded 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 <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 <http://www-list.cea.fr/> 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 <https://github.com/bstarynk/bismon> and funding happens thru the DECODER <https://www.decoder-project.eu/> and CHARIOT <https://www.chariotproject.eu/> projects. They could end quickly.

/RefPerSys/ is currently (july 2021) a pet or hobby project (coded with others in C++), 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++ code. The insight is to generate a lot more and more 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 *fut**_ure_* HorizonEurope <https://ec.europa.eu/info/horizon-europe_en> submission, or ITEA <https://itea4.org/> proposal....?

Please forward this email to interested persons.

If you (or your students) have programming skills (on Linux), consider downloading, contributing to, improving RefPerSys

(The current work on RefPerSys is to add -painfully- a web interface to it, and before that a Qt interface; the major theme is metaprogramming with metarules, but so far we have too few generated C++ code and we are actively working on increasing it; and the current state of RefPerSys is shamefully unpleasant - only a few objects, and a non-working user interface)


I am sure that /RefPerSys/ could interest some partners in the European Union and even outside of it. And without funding, I am not authorized to work on it from office at CEA LIST <https://www-list.cea.fr/>. Of course, I spend a lot of time (at home) working on RefPerSys since several years.

I also believe that RefPerSys could interest some of your students familiar with Linux, or some SME in Europe needing symbolic artificial intelligence tools. After all, there are about 68KLOC of C++ code, and that is better than nothing.

If you are able to understand a French talk I have given, see the talks on https://afia.asso.fr/journee-hommage-j-pitrat/ <https://afia.asso.fr/journee-hommage-j-pitrat/>

My constraints are: RefPerSys <http://refpersys.org/> is for Linux /only/, and I am only capable of producing PDF documents with LaTeX <https://www.latex-project.org//> (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.

Regards

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


------------------------------------------
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/Tfaee106f616454ab-M6b1dc98e6a0d5fb9efb1882a
Delivery options: https://agi.topicbox.com/groups/agi/subscription

Reply via email to