Ai Dreams Forum

Artificial Intelligence => AI News => Topic started by: ivan.moony on April 19, 2022, 06:45:37 am

Title: Neurosymbolic Programming with Scallop
Post by: ivan.moony on April 19, 2022, 06:45:37 am
Scallop: a new neurosymbolic programming language, solver, and framework based on Datalog - link (https://scallop-lang.github.io/).
Title: Re: Neurosymbolic Programming with Scallop
Post by: Zero on April 19, 2022, 04:42:55 pm
What a fancy name.
 O0
Title: Re: Neurosymbolic Programming with Scallop
Post by: MagnusWootton on April 19, 2022, 05:54:38 pm
Neurosymbolic, I think what WriterofMinds is doing is better at this than this.   Her project is the bomb.

Whats the big deal with this one-  whats the big feature?
Title: Re: Neurosymbolic Programming with Scallop
Post by: ivan.moony on April 19, 2022, 06:46:40 pm
Whats the big deal with this one-  whats the big feature?

Neural AI is often described as opposed to symbolic approach. Scallop seems to fuse those two. As a motivating example, there is an expression calculator on home page that calculates a value of math expression from bitmap where operations are written by hand. Expression is recognized by neural approach, and evaluated by symbolic approach. That's still a rare feature, though there are some attempts to support it (work in progress, wherever I look).

I'd describe the whole project as "a language for programming artificial intelligence".
Title: Re: Neurosymbolic Programming with Scallop
Post by: Zero on April 19, 2022, 10:37:31 pm
Quote
Neurosymbolic, I think what WriterofMinds is doing is better at this than this. Her project is the bomb.

Whats the big deal with this one-  whats the big feature?

It does look nice.
It's based on Datalog, which is a bit like Prolog (less expressive but guarantee to terminate), and it is supercharged with probabilistic reasoning and other goodies, so yes I'd say it's attractive. It seems to lack a real-time reactive mode though. Mixing it with LPS (http://lps.doc.ic.ac.uk/) would have been cool.