You are viewing archived messages.
Go here to search the history.

Jean-Louis Villecroze 2020-07-01 17:55:00

Just released the latest version of my side project (5 years and counting). Linux build first: https://f1zz.org/

Garth Goldwater 2020-07-01 21:12:56

this looks cool! do you have any suggestions for stuff I should look at before digging in? or a document or link talking more about motivations for the project?

Garth Goldwater 2020-07-01 21:13:24

the user manual looks like a good introduction to the syntax and semantics, but Iā€™d love to know more about the goals of the project

Jean-Louis Villecroze 2020-07-01 23:04:12

Hi Garth Goldwater, well if you are new to logic programming I would suggest checking out this book by Hector Levesque. I actually went thru most of the example it contains and converted them to fizz (they are in etc/samples/tasc )

Jean-Louis Villecroze 2020-07-01 23:09:57

As for the "motivation of the project" ... the goal was to have a platform for experimenting with building cognitive architectures (that combines ML with GOFAI) ... haven't done much of that so far :(

Garth Goldwater 2020-07-01 23:49:00

thanks for the book recommendation!

Garth Goldwater 2020-07-01 23:49:55

what kind of experiments do you want to do with ML & GOFAI? where do you think the approach would be particularly interesting? why the combination?

Eli Mellen 2020-07-02 13:53:23

The website for this is gorgeous!

Jean-Louis Villecroze 2020-07-02 16:47:41

FYI: Just uploaded the OSX build to the web site.

Jean-Louis Villecroze 2020-07-02 16:48:31

Thanks Eli Mellen. I was strongly inspired by http://musicforprogramming.net/

Jean-Louis Villecroze 2020-07-02 16:53:40

Garth Goldwater Mixing both allows to build AI systems that may go beyond the limitation of Machine Learning and Symbolic AI. Even classification task, which are a staple of ML would benefits by the addition of a "common sense" layer implemented in Symbolic AI. There has been many call to hybrid systems in the past few years and many Cognitive Architectures have been build to try to answer these calls.

Jean-Louis Villecroze 2020-07-03 17:56:38

Fun with ConceptNet (probably should have included this sample before the last release .... ah well):

```jlv@korok:~/Code/okb/apps/fizz$ ./fizz.x64 ./etc/samples/cnet.json fizz 0.7.0-X (20200701.0757) [lnx.x64|4|l] Press the ESC key at anytime for input prompt

load : loading ./etc/samples/cnet.json ... load : loaded ./mod/lnx/x64/modWWW.so in 0.002s load : loading ./etc/samples/cnet.fizz ... load : loaded ./etc/samples/cnet.fizz in 0.023s load : loading completed in 0.028s ?- #cnet.query(at.location,kitchen,:l) -> ( [[food, 7.211103], [corner_cupboard, 6.928203], [knife, 6.928203], [potato, 6.928203], [sink, 6.928203], [fork, 5.291503], [mouse, 5.291503], [table, 5.291503], [plate, 5.291503], [linoleum, 4.898979]] ) := 1.00 (0.428) 1 ?- #cnet.query(where,knife,:l) -> ( [[kitchen, 6.928203], [drawer, 4.472136], [pocket, 3.464102], [kitchen_drawer, 3.464102], [backpack, 1], [back, 1], [stabbing_victim, 1], [silverware_drawer, 1], [ex_husbands_back, 1], [fishing_boat, 1]] ) := 1.00 (0.270) 1 ?- #cnet.query(cause,hunger,:l) -> ( [[discomfort, 1]] ) := 1.00 (0.322) 1``` The questions are:

  • what can one find in a kitchen?
  • where can one find a knife?
  • what can hunger cause?
šŸ—’ļø cnet.fizz
šŸ—’ļø cnet.json
Shubhadeep Roychowdhury 2020-07-03 18:17:35

Very interesting. Thanks for sharing

Steve Peak 2020-07-03 18:22:27

Thanks for sharing!

Unknown User 2020-06-16 07:46:48

MSG NOT FOUND

Dan Cook 2020-07-04 04:57:08

That was the first compiler tutorial I ever read, and it was awesome! That was my introduction to recursive decent parsing. Have you read "the dragon book", by chance?

Kartik Agaram 2020-07-04 06:27:39

Indeed. Or at least some part of it. It was a long time ago.