The logic of adaptive behavior knowledge representation and algorithms for the Markov decision process framework in first-order domains