Admissible Criteria
نویسندگان
چکیده
We introduce methods for identifying operator preconditions that need not be expanded further. The methods are proved to be admissible , that is, they will not cause a solution to be missed when one exists. In certain cases, the methods also identify operator reformulations that increase the number of nonexpandable preconditions. This approach provides effective loop control in common situations. Moreover, the computation required can be performed during a precompilation of the operators in a domain; thus, there is no significant additional run-time overhead during planning.
منابع مشابه
On The Admissible Rules of Intuitionistic Propositional Logic
We present a basis for the admissible rules of intuitionistic proposi-tional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.
متن کاملAdmissible vectors and traces on the commuting algebra
Given a representation of a unimodular locally compact group, we discuss criteria for associated coherent state expansions in terms of the commuting algebra. It turns out that for those representations that admit such expansions there exists a unique finite trace on the commuting algebra such that the admissible vectors are precisely the tracial vectors for that trace. This observation is immed...
متن کاملADMISSIBLE PARTITION FOR BL-GENERAL FUZZY AUTOMATON
In this note, we define the concepts of admissible relation and admissible partition for an arbitrary BL-general fuzzy automaton.In particular, a connection between the admissible partition and the quotient BL-general fuzzy automaton is presented.It is shown that if we use the maximal admissible partition, then we obtain a quotient BL-general fuzzy automaton and this quotient is minimal. Finall...
متن کاملThe study of relation between existence of admissible vectors and amenability and compactness of a locally compact group
The existence of admissible vectors for a locally compact group is closely related to the group's profile. In the compact groups, according to Peter-weyl theorem, every irreducible representation has admissible vector. In this paper, the conditions under which the inverse of this case is being investigated has been investigated. Conditions such as views that are admissible and stable will get c...
متن کاملAdmissible Estimators of ?r in the Gamma Distribution with Truncated Parameter Space
In this paper, we consider admissible estimation of the parameter ?r in the gamma distribution with truncated parameter space under entropy loss function. We obtain the classes of admissible estimators. The result can be applied to estimation of parameters in the normal, lognormal, pareto, generalized gamma, generalized Laplace and other distributions.
متن کامل