A general problem in qualitative physics is determining the consequences of assumptions about the behavior of a system. If the space of behaviors is represented by an envisionment, many such consequences can be represented by pruning states from the envisionment. This paper provides a formal logic of occurrence which justi es the algorithms involved and provides a language for relating speci c ...

In this paper we present our approach of improving the traditional alpha-beta search process for strategic board games by modifying the method in two ways: 1) forgoing the evaluation of leaf nodes that are not terminal states and 2) employing a utility table that stores the utility for subsets of board configurations. In this paper we concentrate our efforts on the game of Connect Four. Our res...

In this paper we show that the move pruning method we presented at SoCS last year sometimes prunes all the least-cost paths from one state to another. We present two examples exhibiting this erroneous behaviour–a simple, artificial example and a slightly more complex example that arose in last year’s experiments. We then formally prove that a simple modification to our move pruning method makes...

Korf, R.E., Multi-player alpha-beta pruning (Research Note), Artificial Intelligence 48 (1991) 99-111. We consider the generalization of minimax search with alpha-beta pruning to non-cooperative, perfect-information games with more than two players. The minimax algorithm was generalized in [2] to the maxn algorithm applied to vectors of n-tuples representing the evaluations for each of the play...

Radial Basis Function Neural Networks are well suited for learning the system dynamics of a robot manipulator and implementation of these networks in the control scheme for a manipulator is a good way to deal with the system uncertainties and modeling errors which often occur. The problem with RBF networks however is to find a network with suitable size, not too computational demanding and able...

The feasibility of inducing classification rules for Landtype Associations (LTAs) from instances of human-expert classifications was tested by evaluating the accuracy of 3 rule-induction algorithms on data drawn from a GIS coverage of Southeast Wyoming. In 10-fold cross-validation tests, the accuracy of rules using precipitation, vegetation, geology, elevation, slope, and aspect as features ach...

Although the classical Blum skeleton has long been considered unstable, many have attempted to alleviate this defect through pruning. Unfortunately, these methods have an arbitrary basis, and, more importantly, they do not prevent internal structural alterations due to slight changes in an object’s boundary. The result is a relative lack of development of skeleton representations for indexing o...

Although the classical Blum skeleton has long been considered unstable, many have attempted to alleviate this defect through pruning. Unfortunately, these methods have an arbitrary basis, and, more importantly, they do not prevent internal structural alterations due to slight changes in an object’s boundary. The result is a relative lack of development of skeleton representations for indexing o...

the high quality and quantity seed production in old saxual shrubs are essential for regeneration and sustainable development of saxual forests in desert areas. the objective of this study was to determine the effects of different pruning height on saxual seed production. the study was carried out in an obviously wilted saxual forest located in ashkezar desert in yazd in 1994. the experiment wa...

Besides accuracy, the model size of convolutional neural networks (CNN) models is another important factor considering limited hardware resources in practical applications. For example, employing deep on mobile systems requires design accurate yet fast CNN for low latency classification and object detection. To fulfill need, we aim at obtaining with both high testing accuracy small to address r...