Brendan Zabarauskas on Twitter: "@topoillogical Wondering if there's any connection with probablistic grammars and stuff like fuzzy logic? I don't know much about either though so could be mistaken." / Twitter

Eli

@topoillogical

Aug 1

I'm trying to formalize the rewrite system we use to generate these plants in Idu, which I would describe as a probabilistic grammar. I will also have to use some type theory to do this, but what are some good resources on all types of rewrite systems?

Quote Tweet

Eli

making Idu, a plant sim

@logicsoup

· Sep 30, 2021

Playable alpha demo of Idu is out!

Every plant is continuously formed by the simulation

Unique response to its surroundings and your care

Simulated leaves and shoots grow into plants with a mind of their own Join our Discord to play and more!

discord.gg/PR3GgYYkym

Show this thread

0:33

7.9K views

Brendan Zabarauskas

@brendanzab

Replying to

@topoillogical

Wondering if there's any connection with probablistic grammars and stuff like fuzzy logic? I don't know much about either though so could be mistaken.

1:02 PM · Aug 1, 2022Twitter Web App

Replying to

and

Ooooh what kind of type theory this seems cool

Eli

@topoillogical

Aug 1

I don't know enough type theory to answer this question (just started learning it on the side), but I would expect I need it for the formalization of the rewrite rules and axioms using judgements, etc from type theory.

Conversation