scholarly journals Analyzing Some Structural Properties of Topological B-Algebras

2019 ◽  
Vol 2019 ◽  
pp. 1-7
Author(s):  
Narciso C. Gonzaga
Keyword(s):  
Structural Properties ◽  
Propositional Logic ◽  
Algebraic System ◽  
Neighborhood Base ◽  
The Given ◽  
Constant Element

In this study, we investigate the topology on B-algebras: an algebraic system of propositional logic. We define here the notion of topological B-algebras (briefly, TB-algebras) and some properties are investigated. A characterization of TB-algebras based on neighborhoods is provided. We also provide a filterbase that generates a unique B-topology, making a TB-algebra in which the filterbase is a neighborhood base of the constant element, provided that the given B-algebra is commutative. Finally, we investigate subalgebras of TB-algebras and introduce the notion of quotient TB-algebras of the given B-algebra.

SKEPTICAL ABDUCTION

1993 ◽  
Vol 02 (04) ◽  
pp. 511-540 ◽  
Author(s):  
P. MARQUIS
Keyword(s):  
Propositional Logic ◽  
Order Logic ◽  
First Order Logic ◽  
Real Problem ◽  
Logical Framework ◽  
First Order ◽  
Selective Generation ◽  
The Given ◽  
Reasonable Prospect

Abduction is the process of generating the best explanation as to why a fact is observed given what is already known. A real problem in this area is the selective generation of hypotheses that have some reasonable prospect of being valid. In this paper, we propose the notion of skeptical abduction as a model to face this problem. Intuitively, the hypotheses pointed out by skeptical abduction are all the explanations that are consistent with the given knowledge and that are minimal, i.e. not unnecessarily general. Our contribution is twofold. First, we present a formal characterization of skeptical abduction in a logical framework. On this ground, we address the problem of mechanizing skeptical abduction. A new method to compute minimal and consistent hypotheses in propositional logic is put forward. The extent to which skeptical abduction can be mechanized in first—order logic is also investigated. In particular, two classes of first-order formulas in which skeptical abduction is effective are provided. As an illustration, we finally sketch how our notion of skeptical abduction applies as a theoretical tool to some artificial intelligence problems (e.g. diagnosis, machine learning).

Characterization of Structural Properties in High Reynolds Hydraulic Jump Based on CFD and Physical Modeling Approaches

2020 ◽  
Vol 146 (12) ◽  
pp. 04020079 ◽  
Author(s):  
Juan Francisco Macián-Pérez ◽  
Arnau Bayón ◽  
Rafael García-Bartual ◽  
P. Amparo López-Jiménez ◽  
Francisco José Vallés-Morán
Keyword(s):  
Structural Properties ◽  
Physical Modeling ◽  
Hydraulic Jump ◽  
Modeling Approaches ◽  
High Reynolds

Kleinian characterization of asymptotic symmetries of real general relativity

1993 ◽  
Vol 441 (1913) ◽  
pp. 465-471 ◽  
Keyword(s):  
General Relativity ◽  
Automorphism Group ◽  
Group Action ◽  
Radon Transform ◽  
Symmetry Groups ◽  
Asymptotic Symmetry ◽  
The Real ◽  
The Given ◽  
Asymptotic Symmetries

According to Klein’s Erlanger programme, one may (indirectly) specify a geometry by giving a group action. Conversely, given a group action, one may ask for the corresponding geometry. Recently, I showed that the real asymptotic symmetry groups of general relativity (in any signature) have natural ‘projective’ classical actions on suitable ‘Radon transform’ spaces of affine 3-planes in flat 4-space. In this paper, I give concrete models for these groups and actions. Also, for the ‘atomic’ cases, I give geometric structures for the spaces of affine 3-planes for which the given actions are the automorphism group.

Effects of the Cooling Rate on the Acoustic Properties of Pb-10Sn Solder

2012 ◽  
Vol 729 ◽  
pp. 356-360
Author(s):  
Endre Harkai ◽  
Tamás Hurtony ◽  
Péter Gordon
Keyword(s):  
Sound Velocity ◽  
Cooling Rate ◽  
Acoustic Microscopy ◽  
Acoustic Properties ◽  
Scanning Acoustic Microscopy ◽  
Cooling Rates ◽  
Reliability Parameters ◽  
Microscopy Characterization ◽  
The Given

Microhardness and sound velocity were measured in case of differently prepared solder samples. The used Pb-10Sn solder samples were melted then cooled down applying different cooling rates. These procedures caused variant microstructure thus different microhardness and sound velocity values. The sound velocity was measured by means of scanning acoustic microscopy. Characterization of solder materials by acoustic microscopy gives the possibility to non-destructively estimate mechanical and reliability parameters of the given material.

Sign in / Sign up

Export Citation Format

Share Document