Some Issues in the Theory of Optimal Algorithms and Informational Complexity

The article presents the basic concepts and reviews the main results of the theory of optimal algorithms and informational complexity. Informational complexity bounds are provided for Lipschitzian multi-criterion problems that construct the approximate Pareto-optimal strategy set under different interpretations of approximation—approximation by the functional and approximation by the argument. The informational complexity is compared for the scalar global optimization problem and the problem of finding the roots of nonlinear equations by global search methods.     

An Algebraic Approach to Knowledge Base Models Informational Equivalence

In this paper we study the notion of knowledge from the positions of universal algebra and algebraic logic. We consider first order knowledge which is based on first order logic. We define categories of knowledge and knowledge base models. These notions are defined for the fixed subject of knowledge. The key notion of informational equivalence of two knowledge base models is introduced. We use the idea of equivalence of categories in this definition. We prove that for finite models there is a clear way to determine whether the knowledge base models are informationally equivalent.     

Informational Relationship Measures

This paper gives the definitions of ten normed information ratesas measures of relationship between two random variables. Thebehaviour of these measures have been considered in the caseof a bivariate uniform model. Numerical comparisons betweenthe measures are made, in order to choose a measure which hassome advantages over the other measures.     

信息复杂性准则的深入探讨

介绍联系拟合优度与模型复杂性测度的一种模型选择准则一信息复杂性(ICOMP)准则的基本原理.由Bozdogan提出的信息复杂性(ICOMP)准则可以视为两个Kullback-Leibler距离之和的一种近似.首先研究了所考虑模型中有真实模型的情况下,ICOMP准则类的渐近相容性;然后又介绍并完成了所考虑模型中没有真实模型的情况下,ICOMP准则类的渐近相容性.在有限样本容量的情况下,用ICOMP准则选择的估计模型,比用其他通用的准则选择的估计模型,更接近于真实模型.     

Informational inefficiency in financial markets

The existence of an informational inefficiency in the equity market is identified by analysing information publicly available on the internet. A large volume of blog data is used for this purpose. Informational inefficiency is established by converting company-specific blog sentiment data into a trading strategy and analysing its performance. An information-based model that approximately replicates the strategy is developed to estimate the degree of information disparity. The result shows that an efficient internet search engine can considerably enhance market efficiency, as measured in terms of the information flow rate.     

Informational acquisition and cognitive models

Life forms must organize information into cognitive models reflecting the outside environment, and in a complex and changing environment a life form must constantly select and organize this mass of information to avoid slipping into a chaotic cognitive state. The task of developing and maintaining adaptive cognitive models can be understood through two processes, crucial to regulating the interconnections between environmental elements. The inclusion and exclusion of information follows a process designated by P and the process by which cognitive models change is designated by K. Higher order concepts are created by reducing the interconnections between elements to a minimal number to avoid cognitive chaos. © 2004 Wiley Periodicals, Inc. Complexity 9:31–37, 2004     

Informational requirements of social choice rules

The required amount of information to make a social choice is the cost of information processing, and it is a practically important feature of social choice rules. We introduce informational aspects into the analysis of social choice rules and prove that (i) if an anonymous, neutral, and monotonic social choice rule operates on minimal informational requirements, then it is a supercorrespondence of either the plurality rule or the antiplurality rule, and (ii) if the social choice rule is furthermore Pareto efficient, then it is a supercorrespondence of the plurality rule.     

Application to an Informational Test

This paper provides an informational test of homogeneity basedon the Kullback-Leibler information measure. This test is appliedto r samples from exponential populations, together with a multiple-comparison-typetest. Numerical examples are given to illustrate these procedures,in order to discover the possible existing clusters in the givendata.     

Informational Semantics and Frege Cases

One of the most important objections to information-based semantic theories is that they are incapable of explaining Frege cases. The worry is that if a concept’s intentional content is a function of its informational content, as such theories propose, then it would appear that coreferring expressions have to be synonymous, and if this is true, it’s difficult to see how an agent could believe that a is F without believing that b is F whenever a and b are identical. I argue that this appearance is deceptive. If we heed the distinction between the analog and digital contents of a signal, it is actually possible to reconstruct something akin to Frege’s sense/reference distinction in purely information-theoretic terms. This allows informational semanticists to treat coreferring expressions as semantically distinct and to solve Frege cases in the same way that Frege did—namely, by appealing to the different contents of coreferring expressions.     

Informational structure for differential games

A positional approach for the definition of information structure in differential games is considered. A generalization ofKuhn's theorem [1953] concerning pure strategy equivalence for finite positional games is proved.     

Motoo理论的推广

在本文中,我们证明了右过程的正则集与可料停时不交,从而把本尾理论从Hunt过程推广到更一般的右过程。     

更新过程理论在交通流上的一个应用

一个更新过程的两个随机变量的分布:间隔分布、计数分布是1—1对应的,但由间隔分布求对应的计数分布的问题尚未很好地解决。在道路断面观测交通流可得到一更新过程,车头时距和车辆到达分别是其间隔和计数。时距分布容易观测得到,而到达分布的观测却较难。因此上述数学问题的解决对交通流理论是非常有意义的,本文将研究之。     

An Inequality from Moment Theory

We show how certain simple ℓ^p–inequalities may be proved by “ignoring the p.” An application to moment sequences is considered.     

Informational Sets in a Model Problem of Homing

A linear pursuit problem in the plane under incomplete pursuer information about the evader is investigated. At discrete time instants, the pursuer measures with errors the angle of vision to the evader, the angular velocity of the line of sight, and the relative distance. Other combinations of measurable parameters are possible (for example, angle of vision and relative distance or angle of vision only). The measurements errors obey certain geometric constraints. The initial uncertainties on the evader coordinates and velocities are given in advance. Having a resource of impulse control, the pursuer tries to minimize the miss distance. The evader control is bounded in modulus.The problem is formulated as an auxiliary differential game. Here, the notion of informational set is central. The informational set is the totality of pointwise phase states consistent with the history of the observation-control process. The informational set depends on the current measurements; it changes in time and plays the role of a generalized state, which is used for constructing the pursuer control.A control method designed for the linear pursuit problem is used in the planar problem of a vehicle homing toward a dangerous space object. The nonlinear dynamics is described by the Kepler equations. Nonlinear terms of the equations in relative coordinates are small and are replaced by an uncertain vector parameter, which is bounded in modulus and is regarded as an evader control. As a result, we obtain the mentioned control problem in the plane.The final part of the paper is devoted to the simulation of a space vehicle homing toward a dangerous space object. In testing the control method developed, two variants are considered: random measurement errors and game method of constructing the measurements; the latter is also described in the paper.     

An Axiomatic Theory of Accounting Measurement Structures

This paper presents an axiomatic theory of accounting practicewhich describes accounting concepts in terms of sets. The theoryprovides a framework within which to understand the significanceof accounting measurements for the probabilistic analysis ofeconomic processes.     

非光滑泛函临界点理论的一个应用

本文利用局部Lipschitz泛函的临界点理论，来得到一个改进的半线性方程的Landesman Lazer型结果，问题来自于力学，称为变分不等式的特征值问题，在[3]中，D.Goeleven,D.Motreanu和P.D.Panagiotopoulos等人讨论了共振的情形，并得到了弱解的存在性的结果。但是，在他们结论中（见[3]中定理4．1），条件（H1）与（H2）却是互不相容的，本文得到了变分不等式的特征值问题在共振情形下的弱解存在性的相应结果。