search

kornai / 4lang

Concept dictionary
MIT License
37 stars 13 forks source link

4lang Definition "deformalization" - translation #165

Open HMRLKE opened 2 years ago

HMRLKE commented 2 years ago

I am wondering whether 4lang formal definitions (e.g. "=pat[, ], =agt cause =pat[hard]"_) can be deformalized or translated to e.g. english sentences (like "one can bake bread"+"one can bake cake"+"once the bread is baked it becomes hard"_, etc. ? (I hope for a solution where the developer must not write the rules by his own :) )

If so, which method/tool do you recommend for such deformalization/translation?

kornai commented 1 year ago

Dear HMRLKE the goal is the opposite, to provide formal definitions. For an informal definition, one can just look up "bake" in any traditional dictionary