Neurosymbolic Programming with Scallop

  • 4 Replies
  • 2307 Views
*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1729
    • mind-child
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

  • Replicant
  • ********
  • 646
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
  • *
  • 1729
    • mind-child
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.

 


Will LLMs ever learn what is ... is?
by HS (Future of AI)
November 10, 2024, 06:28:10 pm
Who's the AI?
by frankinstien (Future of AI)
November 04, 2024, 05:45:05 am
Project Acuitas
by WriterOfMinds (General Project Discussion)
October 27, 2024, 09:17:10 pm
Ai improving AI
by infurl (AI Programming)
October 19, 2024, 03:43:29 am
Atronach's Eye
by WriterOfMinds (Home Made Robots)
October 13, 2024, 09:52:42 pm
Running local AI models
by spydaz (AI Programming)
October 07, 2024, 09:00:53 am
Hi IM BAA---AAACK!!
by MagnusWootton (Home Made Robots)
September 16, 2024, 09:49:10 pm
Attempting Hydraulics
by MagnusWootton (Home Made Robots)
August 19, 2024, 04:03:23 am
LLaMA2 Meta's chatbot released
by spydaz (AI News )
August 24, 2024, 02:58:36 pm
ollama and llama3
by spydaz (AI News )
August 24, 2024, 02:55:13 pm
AI controlled F-16, for real!
by frankinstien (AI News )
June 15, 2024, 05:40:28 am
Open AI GPT-4o - audio, vision, text combined reasoning
by MikeB (AI News )
May 14, 2024, 05:46:48 am
OpenAI Speech-to-Speech Reasoning Demo
by MikeB (AI News )
March 31, 2024, 01:00:53 pm
Say good-bye to GPUs...
by MikeB (AI News )
March 23, 2024, 09:23:52 am
Google Bard report
by ivan.moony (AI News )
February 14, 2024, 04:42:23 pm
Elon Musk's xAI Grok Chatbot
by MikeB (AI News )
December 11, 2023, 06:26:33 am

Users Online

353 Guests, 0 Users

Most Online Today: 375. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles