: Simulations of the evolution of populations of diploid organisms showed that mate selection strategies which selected for "good genes" and strategies based on assortati...
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
Abstract. Autonomous agents decide for themselves, on the basis of their beliefs, goals, etc., how to act in an environment. However, it is often the case that an agent is motivate...
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...