Neurosymbolic Programming with Scallop

  • 4 Replies
  • 190 Views
*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1631
    • contrast-zone
Neurosymbolic Programming with Scallop
« on: April 19, 2022, 06:45:37 am »
Scallop: a new neurosymbolic programming language, solver, and framework based on Datalog - link.

*

Zero

  • Eve
  • ***********
  • 1287
Re: Neurosymbolic Programming with Scallop
« Reply #1 on: April 19, 2022, 04:42:55 pm »
What a fancy name.
 O0

*

MagnusWootton

  • Starship Trooper
  • *******
  • 467
Re: Neurosymbolic Programming with Scallop
« Reply #2 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?

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1631
    • contrast-zone
Re: Neurosymbolic Programming with Scallop
« Reply #3 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".

*

Zero

  • Eve
  • ***********
  • 1287
Re: Neurosymbolic Programming with Scallop
« Reply #4 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 would have been cool.