Scalar actions in Lean's mathlib.

Published in: CoRR (2021)

Keyphrases

real world
reasoning about actions
vector valued
action selection
human activities
artificial intelligence
genetic algorithm
search engine
multi agent systems
state space
information retrieval
situation calculus
decision theoretic
goal directed
machine learning
data mining
world model
database