scholarly journals Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic

2002 ◽  
pp. 94-110 ◽  
Author(s):  
Dominique Larchey-Wendling
Keyword(s):  
Model Construction ◽  
Proof Search ◽  
Dummett Logic ◽  
Counter Model

scholarly journals SYLLOGISTIC LOGIC WITH CARDINALITY COMPARISONS, ON INFINITE SETS

2018 ◽  
Vol 13 (1) ◽  
pp. 1-22 ◽  
Author(s):  
LAWRENCE S. MOSS ◽  
SELÇUK TOPAL
Keyword(s):  
Completeness Theorem ◽  
Efficient Algorithms ◽  
Model Construction ◽  
Logical System ◽  
Proof Search ◽  
Infinite Sets ◽  
Image Position

AbstractThis article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: All x are y and Some x are y, There are at least as many x as y, and There are more x than y. Here x and y range over subsets (not elements) of a given infinite set. Moreover, x and y may appear complemented (i.e., as $\bar{x}$ and $\bar{y}$), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. There are efficient algorithms for proof search and model construction.

Bankruptcy Model Construction and its Limitation in Input Data Quality

2019 ◽  
Vol 10 (2) ◽  
pp. 117-125
Author(s):  
Dana Kubíčková ◽  
◽  
Vladimír Nulíček ◽  
Keyword(s):  
Data Quality ◽  
Normal Distribution ◽  
Input Data ◽  
Model Construction ◽  
The Third ◽  
Third Stage ◽  
Discriminant Analyses ◽  
One Year ◽  
The University ◽  
Multivariate Discriminant

The aim of the research project solved at the University of Finance and administration is to construct a new bankruptcy model. The intention is to use data of the firms that have to cease their activities due to bankruptcy. The most common method for bankruptcy model construction is multivariate discriminant analyses (MDA). It allows to derive the indicators most sensitive to the future companies’ failure as a parts of the bankruptcy model. One of the assumptions for using the MDA method and reassuring the reliable results is the normal distribution and independence of the input data. The results of verification of this assumption as the third stage of the project are presented in this article. We have revealed that this assumption is met only in a few selected indicators. Better results were achieved in the indicators in the set of prosperous companies and one year prior the failure. The selected indicators intended for the bankruptcy model construction thus cannot be considered as suitable for using the MDA method.

Simulating Self-Regeneration and Self-Replication Processes Using Movable Cellular Automata with a Mutual Equilibrium Neighborhood

2020 ◽  
Vol 29 (4) ◽  
pp. 741-757
Author(s):  
Kateryna Hazdiuk ◽  
◽  
Volodymyr Zhikharevich ◽  
Serhiy Ostapov ◽  
◽  
...  
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Three Dimensional ◽  
Computer Models ◽  
The Self ◽  
Model Construction ◽  
Natural Phenomena ◽  
Different Types ◽  
Movable Cellular Automata ◽  
Self Replication

This paper deals with the issue of model construction of the self-regeneration and self-replication processes using movable cellular automata (MCAs). The rules of cellular automaton (CA) interactions are found according to the concept of equilibrium neighborhood. The method is implemented by establishing these rules between different types of cellular automata (CAs). Several models for two- and three-dimensional cases are described, which depict both stable and unstable structures. As a result, computer models imitating such natural phenomena as self-replication and self-regeneration are obtained and graphically presented.

scholarly journals Contributions and limitations of using machine learning to predict noise-induced hearing loss

2021 ◽  
Author(s):  
Feifan Chen ◽  
Zuwei Cao ◽  
Emad M. Grais ◽  
Fei Zhao
Keyword(s):  
Machine Learning ◽  
Hearing Loss ◽  
Roc Curve ◽  
Prediction Error ◽  
Noise Exposure ◽  
Model Construction ◽  
Support Vector ◽  
Exposure Level ◽  
Noise Induced Hearing Loss ◽  
Current Review

Abstract Purpose Noise-induced hearing loss (NIHL) is a global issue that impacts people’s life and health. The current review aims to clarify the contributions and limitations of applying machine learning (ML) to predict NIHL by analyzing the performance of different ML techniques and the procedure of model construction. Methods The authors searched PubMed, EMBASE and Scopus on November 26, 2020. Results Eight studies were recruited in the current review following defined inclusion and exclusion criteria. Sample size in the selected studies ranged between 150 and 10,567. The most popular models were artificial neural networks (n = 4), random forests (n = 3) and support vector machines (n = 3). Features mostly correlated with NIHL and used in the models were: age (n = 6), duration of noise exposure (n = 5) and noise exposure level (n = 4). Five included studies used either split-sample validation (n = 3) or ten-fold cross-validation (n = 2). Assessment of accuracy ranged in value from 75.3% to 99% with a low prediction error/root-mean-square error in 3 studies. Only 2 studies measured discrimination risk using the receiver operating characteristic (ROC) curve and/or the area under ROC curve. Conclusion In spite of high accuracy and low prediction error of machine learning models, some improvement can be expected from larger sample sizes, multiple algorithm use, completed reports of model construction and the sufficient evaluation of calibration and discrimination risk.

Sign in / Sign up

Export Citation Format

Share Document