Rewrite (rule based system)

  • 6 Replies
  • 298 Views
*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1649
    • contrast-zone
Rewrite (rule based system)
« on: June 24, 2022, 11:29:08 am »
After a lot of theorizing, finally something concrete from my lab: Exp-Log's little brother, "Rewrite" is marked ready for production use. While Exp-Log is aiming to optimize and tame the order of rule application, Rewrite practice more of a minimalist setup, where rules are applied in strict top-to-bottom order. In fact, I liked this minimalism so much that I decided to make a version of Rewrite ready for production use. Today, after two months of coding struggle, I finally uploaded the production version to dedicated GitHub project home page.

Rewrite may be used as a curiosity computing platform, formula application system, proof checker, problem solver, and pretty much anywhere where any kind of computation is required, as long as slower performance on intensive computations doesn't go beyond limits of user patience.

You can try it in online playground here: https://contrast-zone.github.io/rewrite/playground/index.html. Provided examples include some introductory material, equality predicate, branching choice, Boolean calculator, proof checking, SAT solver, and action planning, while users are invited to experiment with their own code designs (you may want to use an external editor with bracket matching for this purpose).

The project official home page with instructions is here: https://github.com/contrast-zone/rewrite.

Have fun!
« Last Edit: June 24, 2022, 12:12:24 pm by ivan.moony »

*

MagnusWootton

  • Replicant
  • ********
  • 535
Re: Rewrite (rule based system)
« Reply #1 on: June 24, 2022, 01:27:38 pm »
I'm more of a type to think to use the rules is greater than making the rules,  when it comes to symbolic a.i.

Thats why I should download it!! 

I went to your page,  and it uses s-expressions,   does s stand for string?

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1649
    • contrast-zone
Re: Rewrite (rule based system)
« Reply #2 on: June 24, 2022, 01:30:45 pm »
I went to your page,  and it uses s-expressions,   does s stand for string?

The s in s-expression stands for symbolic. See the wiki
« Last Edit: June 24, 2022, 03:08:51 pm by ivan.moony »

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1649
    • contrast-zone
Re: Rewrite (rule based system)
« Reply #3 on: June 24, 2022, 06:47:06 pm »
During writing examples for Rewrite, in wolf-goat-cabbage session, I found myself debugging the example, just like you do in any other programming language. That moment felt great!

*

MagnusWootton

  • Replicant
  • ********
  • 535
Re: Rewrite (rule based system)
« Reply #4 on: June 25, 2022, 01:34:14 pm »
I understand that,   a new paradigm is alot of fun.

So, is all your work a secret, cause I dont hear whats going on really with u?   unless Im being fully ignorant,  clouded by my pathetic small mind that wishes he was the one that did things that others couldnt.

The coolest thing I can think of to do, is some super optimization for super advanced neural network weight training.
If you get that going, it would possibly change all the world.    And would cause a singularity for sure.  (The singing banana.)
« Last Edit: June 25, 2022, 04:56:03 pm by MagnusWootton »

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1649
    • contrast-zone
Re: Rewrite (rule based system)
« Reply #5 on: June 25, 2022, 11:51:58 pm »
I'm more of a passive watcher. I don't really want to do big things. I want to do simple things, and see what happens.
« Last Edit: June 26, 2022, 10:45:10 am by ivan.moony »

*

MagnusWootton

  • Replicant
  • ********
  • 535
Re: Rewrite (rule based system)
« Reply #6 on: June 27, 2022, 07:13:35 am »
Why am I into AI???   I thought it would be a good thing to put on your resume'   (even tho its a little fancier than that even!!!)

 


Users Online

49 Guests, 0 Users

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

Articles