A Formalization of Kant's Second Formulation of the Categorical Imperative.

Martin Mose Bentzen

Published in: ISAIM (2018)

Keyphrases

neural network
knowledge representation
formal model
real time
genetic algorithm
artificial intelligence
numerical values
multi agent
mobile robot
attribute values
quadratic programming
convex relaxation
probabilistic formulation