search

opencog / rocca

Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.
GNU Affero General Public License v3.0
30 stars 18 forks source link

Improve cogscm syntax #56

Closed ngeiswei closed 2 years ago

ngeiswei commented 2 years ago

Move do(Action) to the right when possible, so that

do(Eat) ∧ AgentPosition(RightSquare) ↝ Reward(1)

becomes

AgentPosition(RightSquare) ∧ do(Eat) ↝ Reward(1)

which is easier to read and search.