Reaching Out ad interim

This archive has the full Sunday Service, bulletin and sermon. See also the following related biblical verses:John 3: 1-17 (http://bible.oremus.org/?ql=356329240)Genesis 12: 1-4a (http://bible.oremus.org/?ql=356329164)Psalm 121 (http://bible.oremus.org/?ql=356329203

Temporalising OWL 2 QL

We design a temporal description logic, TQL, that extends the standard ontology language OWL2QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with validity time

On the first place antitonicity in QL-implications

To obtain a demanded fuzzy implication in fuzzy systems, a number of desired properties have been proposed, among which the first place antitonicity, the second place isotonicity and the boundary conditions are the most important ones. The three classes of fuzzy implications derived from the implication in binary logic, S-, R- and QL-implications all satisfy the second place isotonicity and the boundary conditions. However, not all the QL-implications satisfy the first place antitonicity as S- and R-implications do. In this paper we study the QL-implications satisfying the first place antitonicity. First we establish the relationship between the first place antitonicity and other required properties of QL-implications. Second we work on the conditions under which a QL-implication generated by different combinations of a t-conorm S, a t-norm T and a strong fuzzy negation N satisfy the first place antitonicity, especially in the cases that both S and T are continuous. We further investigate the interrelationships between S- and R-implications generated by left-continuous t-norms on one hand and QL-implications satisfying the first place antitonicity on the other

Satisfiability is quasilinear complete in NQL

Considered are the classes QL (quasilinear) and NQL (nondet quasllmear) of all those problems that can be solved by deterministic (nondetermlnlsttc, respectively) Turmg machines in time O(n(log n) ~) for some k Effloent algorithms have time bounds of th~s type, it is argued. Many of the "exhausUve search" type problems such as satlsflablhty and colorabdlty are complete in NQL with respect to reductions that take O(n(log n) k) steps This lmphes that QL = NQL iff satisfiabdlty is m QL CR CATEGORIES: 5.2

Quantum-like Representation of Extensive Form Games: Wine Testing Game

We consider an application of the mathematical formalism of quantum mechanics (QM) outside physics, namely, to game theory. We present a simple game between macroscopic players, say Alice and Bob (or in a more complex form - Alice, Bob and Cecilia), which can be represented in the quantum-like (QL) way -- by using a complex probability amplitude (game's ``wave function'') and noncommutative operators. The crucial point is that games under consideration are so called extensive form games. Here the order of actions of players is important, such a game can be represented by the tree of actions. The QL probabilistic behavior of players is a consequence of incomplete information which is available to e.g. Bob about the previous action of Alice. In general one could not construct a classical probability space underlying a QL-game. This can happen even in a QL-game with two players. In a QL-game with three players Bell's inequality can be violated. The most natural probabilistic description is given by so called contextual probability theory completed by the frequency definition of probability

Shortcomings of the Bond Orientational Order Parameters for the Analysis of Disordered Particulate Matter

Local structure characterization with the bond-orientational order parameters q4, q6, ... introduced by Steinhardt et al. has become a standard tool in condensed matter physics, with applications including glass, jamming, melting or crystallization transitions and cluster formation. Here we discuss two fundamental flaws in the definition of these parameters that significantly affect their interpretation for studies of disordered systems, and offer a remedy. First, the definition of the bond-orientational order parameters considers the geometrical arrangement of a set of neighboring spheres NN(p) around a given central particle p; we show that procedure to select the spheres constituting the neighborhood NN(p) can have greater influence on both the numerical values and qualitative trend of ql than a change of the physical parameters, such as packing fraction. Second, the discrete nature of neighborhood implies that NN(p) is not a continuous function of the particle coordinates; this discontinuity, inherited by ql, leads to a lack of robustness of the ql as structure metrics. Both issues can be avoided by a morphometric approach leading to the robust Minkowski structure metrics ql'. These ql' are of a similar mathematical form as the conventional bond-orientational order parameters and are mathematically equivalent to the recently introduced Minkowski tensors [Europhys. Lett. 90, 34001 (2010); Phys. Rev. E. 85, 030301 (2012)]