Notes on Ginsberg's multivalued logics

The use of multivalued logics for knowledge representation and nonmonotonic reasoning has often been advocated, in particular within the general framework proposed by Ginsberg in his paper "Multivalued logics: a uniform approach to reasoning in artificial intelligence." His system is based on a multivalued logic with an arbitrary number of truth values classified with respect to two partial orders, a truth order and a knowledge order. This classification is very interesting and gives an intuitive appeal to the framework. In this paper the work by Ginsberg is critically reviewed, pointing out some flaws and ways to overcome them. Moreover, we present some ideas on how to modify the original schema in order to obtain a more semantically well-founded framework.
L'utilisation de la Iogique multivalente pour la représentation des connaissances et le raisonnement non monotone a souvent été préconisée, en particulier à l'intérieur du cadre général proposé par Ginsberg dans son article intitulé〘 Multivalued logics: a uniform approach to reasoning in artificial intelligence 〙 Son système est basé sur une logique multivalente comportant un nombre arbitraire de valeurs de vérité classées selon deux ordres partiels: un ordre de vérité et un ordre de connaissances. Cette classification est très intéressante et donne un attrait intuitif au cadre. Dans cet article, l'auteur examine le travail de Ginsberg, y relève des lacunes et propose des moyens de les corriger. De plus, il expose certaines idées en vue de modifier le schéma original et ainsi obtenir un meilleur cadre du point de vue de la sémantique.     

A constructive approach to sequential Nash equilibria

We present a Coq-formalized proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCF-style theorem provers, i.e., it is based on inductive definitions and is computational in nature. The proof (i) uses simple computational means, only, (ii) basically is by construction, and (iii) reaches a constructively stronger conclusion than informal efforts. We believe the development is a first as far as formalized game theory goes.     

Elimination of fictitious penetrating rays from PO and hybridization with AFIM

Physical optics (PO) is an approximation method for high‐frequency scattering and diffraction problems. But PO fields are inaccurate in the shadow region where the source is screened by the scatter. Two key factors of the error for PO are (i) edge diffraction coefficients and (ii) existence of fictitious penetrating rays. The correction with respect to the former has been extensively investigated by many authors using various ray techniques such as GTD, UTD, and UAT. On the other hand, the latter was identified recently by the authors. This paper proposes novel PO‐based calculation procedures termed PO‐AF and PTD‐AF, where PO and Aperture Field Integration Method (AFIM) are merged with the help of special elementary diffraction coefficients. These can uniformly cover the whole angular region and only the error factor (ii) is removed in PO‐AF while both (i) and (ii) are removed in PTD‐AF. The theoretical backgrounds of PO currents are discussed in terms of field equivalence theorem and visualization of EM waves. Next, new methods are proposed and their validity is numerically demonstrated for 2D scattering problems of a strip, a corner reflector, and a cylinder of circular arc. © 2004 Wiley Periodicals, Inc. Electr Eng Jpn, 150(2): 1–10, 2005; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.20037     

RAZUMIKHIN-TYPE THEOREMS OF NEUTRAL STOCHASTIC FUNCTIONAL DIFFERENTIAL EQUATIONS

The stability of stochastic functional differential equation with Markovian switching was studied by several authors,but there was almost no work on the stability of the neutral stochastic functional differential equations with Markovian switching.The aim of this article is to close this gap.The authors establish Razumikhin-type theorem of the neutral stochastic functional differential equations with Markovian switching,and those without Markovian switching.     

Existence and uniqueness of strictly nondecreasing and positive solution for a fractional three-point boundary value problem

In this paper, we consider the following nonlinear fractional three-point boundary value problem

     

Wavetracing层析成像方法及其在井间地震中的应用

层析成像技术被广泛应用于矿产勘查、油气开发及工程勘查和检测领域。基于运动学特征的走时层析成像方法计算效率较高,但精度较低。基于动力学特征的波动方程层析成像方法精度较高,但计算时间较长。Wavetracing层析成像方法在射线追踪方面简单、高效,能够提供与有限频率实际资料相一致的传播路径和旅行时。应用该方法对胜利油田垦71地区多对井间地震资料进行的层析成像速度反演取得了良好结果。     

Convolution algorithms,based on the crt (Chinese Remainder Theorem)

It is well-known that most contemporary algorithms for calculating discrete convolutions are based on the Chinese remainder theorem (CRT). In this paper, the problem of calculating convolutions or equivalently, polynomial products, is addressed from the opposite point of view. Instead of showing how a given polynomial product (most often, a circular convolution) can be calculated by means of the CRT, we investigate which polynomial product algorithms make the most efficient use of the CRT. One set of polynomial product algorithms is subsequently discussed in detail. Amongst others, it is shown that the circular convolution is the most efficient representative in this set.     

偏心介质棒加载圆波导模式分析

本文基于柱谐基函数展开,对偏心介质棒加载的圆波导模式进行分析.利用Bessel函数的加法定理,在边界上进行场匹配,获得关于诸传播常数K_z的方程.对方程进行级数截断后,可以方便地解出该波导的各种传播模式,具有收敛性可靠,结果精确、计算量小的特点,比PMM和LSBRM更为可靠易行.