Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...

Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...

TEITOK is a web-based framework for corpus creation, annotation, and distribution, that combines textual and linguistic annotation within a single TEI based XML document. TEITOK provides several built-in NLP tools to automatically (pre)process texts, and is highly customizable. It features multiple orthographic transcription layers, and a wide range of user-defined token-based annotations. For ...

Let E be an extraspecial-type group and V a faithful, absolutely irreducible k[E]-module, where k is a finite field. Let G be the normalizer in GL(V ) of E. We show that, with few exceptions, there exists a v ∈ V such that the restriction of V to CH(v) is self-dual whenever H ≤ G and (|H|, |V |) = 1. Let G be a finite group and let V be a faithful irreducible finite G-module such that (|G| , |V...

in this paper, we nd the relationships between module contractibility of abanach algebra and its ideals. we also prove that module contractibility ofa banach algebra is equivalent to module contractibility of its module uniti-zation. finally, we show that when a maximal group homomorphic image ofan inverse semigroup s with the set of idempotents e is nite, the moduleprojective tensor product ...

Over an algebraically closed field k of characteristic zero, the Drinfeld double Dn Taft algebra that is defined using a primitive nth root unity q?k for n?2 quasitriangular Hopf algebra. Kauffman and Radford have shown has ribbon element if only n odd, unique; however there been no explicit description this element. In work, we determine explicitly. For any n?2, use R-matrix to construct actio...

A conceptual foundation for approximation of belief functions is proposed and investi­ gated. It is based on the requirements of consistency and closeness. An optimal ap­ proximation is studied. Unfortunately, the computation of the optimal approximation turns out to be intractable. Hence, various heuristic methods are proposed and exper­ imantally evaluated both in terms of their accuracy and ...

Given a poset P , the set Γ(P ) of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Posd (the category of posets and Scott-continuous maps) is said to be Γ-faithful if for any posets P and Q in C, Γ(P ) ∼= Γ(Q) implies P ∼= Q. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are Γ-faithful, while Posd is not....

Given a poset P , the set, Γ(P), of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Pos d (the category of posets and Scott-continuous maps) is said to be Γ-faithful if for any posets P and Q in C, Γ(P) ∼ = Γ(Q) implies P ∼ = Q. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are Γ-faithful, while Pos d is ...