Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal logic programs via feedforward neural networks. We show that the immediate consequence operator associated with each logic program, which can be understood as implicitly determining its declarative semantics, can be appr...

A new form of cluster synchronization is explored in cellular arrays of chaotic oscillators. Previously it was shown in the literature that symmetries of the coupling topology with uniform interaction weights lead to several coexisting clusters of synchronized cells. In this study a new phenomenon is presented where highly asymmetric interaction weights can give rise to cluster synchronization ...

Let G = (V,E) be a locally finite graph, i.e. a graph in which every vertex has finitely many adjacent vertices. In this paper, we associate a topology to G, called graphic topology of G and we show that it is an Alexandroff topology, i.e. a topology in which intersec- tion of every family of open sets is open. Then we investigate some properties of this topology. Our motivation is to give an e...

Following a similar result of Uspenskij on the unitary group of a separable Hilbert space we show that with respect to the lower (or Roelcke) uniform structure the Polish group G = Aut(μ), of automorphisms of an atomless standard Borel probability space (X,μ), is precompact. We identify the corresponding compactification as the space of Markov operators on L2(μ) and deduce that the algebra of r...

We remark that the result presented here can be proved more simply using the closed graph theorem. However we believe that our results can be used to prove a more interesting result. Details to follow in a later paper. One of the remarkable features of the space of holomorphic functions (in either one or several variables) is that the standard Frechet space topologies— say, for example, the L o...

in this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them.  and we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. also, we prove that  right and product stabilizers are filters and if they are ...

We establish uniform continuity of the value for zero-sum games with differential information, when the distance between changing information fields of each player is measured by the Boylan pseudometric. We also show that the optimal strategy correspondence is upper semicontinuous when the information fields of players change (even with the weak topology on players’ strategy sets), and is appro...

This paper introduces a visibility relation v (and the strong visibility relation ⩕ v) on proximal Delaunay meshes. A main result in this paper is that the visibility relation v is equivalent to Wallman proximity. In addition, a Delaunay triangulation region endowed with the visibility relation v has a local Leader uniform topology.

This paper is about the topologies arising from statistical coincidence on locally finite point sets in locally compact Abelian groups G. The first part defines a uniform topology (autocorrelation topology) and proves that, in effect, the set of all locally finite subsets of G is complete in this topology. Notions of statistical relative denseness, statistical uniform discreteness, and statisti...

In this paper we prove uniform regularity estimates for the normalized Gauss curvature flow in higher dimensions. The convergence of solutions in C∞-topology to a smooth strictly convex soliton as t approaches to infinity is obtained as a consequence of these estimates together with an earlier result of Andrews. The estimates are established via the study of an entropy functional for convex bod...