Logic Journal of the IGPL最新文献_第2页

Exploratory techniques to analyse Ecuador's tourism industry 分析厄瓜多尔旅游业的探索性技术

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-08-16 DOI: 10.1093/jigpal/jzae040

Anita Herrera, Ángel Arroyo, Alfredo Jiménez, Álvaro Herrero

{"title":"Exploratory techniques to analyse Ecuador's tourism industry","authors":"Anita Herrera, Ángel Arroyo, Alfredo Jiménez, Álvaro Herrero","doi":"10.1093/jigpal/jzae040","DOIUrl":"https://doi.org/10.1093/jigpal/jzae040","url":null,"abstract":"The analysis of the operation of tourism companies will provide valid information for the design of policies to reactivate the tourism industry, which has been strongly affected during the pandemic generated by COVID-19. The objective of this paper is to use soft computing techniques to analyse tourism companies in Ecuador. First of all, dimensionality reduction methods are applied: principal component analysis, isometric feature mapping and locally linear embedding, on data of tourism enterprises in Ecuador for the year 2015. In addition, to verify the trend of operational variables, the data of tourism companies in Ecuador in 2019 and 2020 are analysed with dimensionality reduction methods that improve the interpretation by minimizing the loss of information. The data sets are analysed with k-means, k-medoids and Hierarchical Clustering, generating groups according to similar characteristics. The optimal number of clusters is determined with the following: Elbow Method, Silhouette Coefficient, Davies-Bouldin Index and Dunn Index. In addition, an analysis of the operation of tourism companies in the year 2020 concerning previous years is included. The study allows exploring Soft Computing techniques to identify important information for the definition of strategies that contribute to an effective reactivation of the tourist industry of Ecuador.","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"113 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142224631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Model-based abductive cognition: What thought experiments teach us 基于模型的归纳认知：思想实验给我们的启示

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-08-08 DOI: 10.1093/jigpal/jzae096

Lorenzo Magnani, Selene Arfini

{"title":"Model-based abductive cognition: What thought experiments teach us","authors":"Lorenzo Magnani, Selene Arfini","doi":"10.1093/jigpal/jzae096","DOIUrl":"https://doi.org/10.1093/jigpal/jzae096","url":null,"abstract":"In this article, we want to demonstrate how thoughts experiments (TEs) incorporate cognitive structures—abductive inferences as conceptual metaphors—that reliably underpin everyday thinking and are enhanced and rendered more effective in scientific and philosophical contexts. Indeed one might successfully rethink the inferential structure at the heart of thought experiment production as the application of a generative abductive procedure. We shall characterize TES as possessing two characteristics that are essential to the definitions of abductive and metaphorical thinking, but when considered in relation to TE’s description, can excuse mild bewilderment: both knowledge-enhancing and ignorance-preserving features. In sum, we will say that TEs realize extended conceptual metaphors, which instantiate forms of abductive reasoning and, therefore, partially preserve the ignorance of the authors who produce them (even if they also increase a bit their knowledge by—so to speak—mitigating ignorance). In certain fortunate and exceptional instances, however, TEs can also provide a purely knowledge-enhancing benefit; in order to do this, a reference to the innovative and creative function of thought experiments in Galileo’s findings is also included.","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"30 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141969011","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Do predictions destroy predictability? A study focusing on stock markets 预测会破坏可预测性吗？以股票市场为重点的研究

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-08-07 DOI: 10.1093/jigpal/jzae091

Emiliano Ippoliti

引用次数: 0

Combinators as presheaves 作为预叶的组合器

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-08-07 DOI: 10.1093/jigpal/jzae097

Rocco Gangle, Fernando Tohmé, Gianluca Caterina

引用次数: 0

Involving cognitive science in model transformation for description logics 让认知科学参与描述符逻辑的模型转换

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-08-07 DOI: 10.1093/jigpal/jzae088

Willi Hieke, Sarah Schwöbel, Michael N Smolka

{"title":"Involving cognitive science in model transformation for description logics","authors":"Willi Hieke, Sarah Schwöbel, Michael N Smolka","doi":"10.1093/jigpal/jzae088","DOIUrl":"https://doi.org/10.1093/jigpal/jzae088","url":null,"abstract":"Knowledge representation and reasoning (KRR) is a fundamental area in artificial intelligence (AI) research, focusing on encoding world knowledge as logical formulae in ontologies. This formalism enables logic-based AI systems to deduce new insights from existing knowledge. Within KRR, description logics (DLs) are a prominent family of languages to represent knowledge formally. They are decidable fragments of first-order logic, and their models can be visualized as edge- and vertex-labeled directed binary graphs. DLs facilitate various reasoning tasks, including checking the satisfiability of statements and deciding entailment. However, a significant challenge arises in the computation of models of DL ontologies in the context of explaining reasoning results. Although existing algorithms efficiently compute models for reasoning tasks, they usually do not consider aspects of human cognition, leading to models that may be less effective for explanatory purposes. This paper tackles this challenge by proposing an approach to enhance the intelligibility of models of DL ontologies for users. By integrating insights from cognitive science and philosophy, we aim to identify key graph properties that make models more accessible and useful for explanation.","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"7 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141935539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Hyperarithmetical complexity of infinitary action logic with multiplexing 带复用的无穷动作逻辑的超算术复杂性

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-06-25 DOI: 10.1093/jigpal/jzae078

Tikhon Pshenitsyn

引用次数: 0

Security in advanced metering infrastructures: Lightweight cryptography 先进计量基础设施的安全性：轻量级密码学

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-06-23 DOI: 10.1093/jigpal/jzae074

Luis Hernández-Álvarez, Juan José Bullón Pérez, Araceli Queiruga-Dios

{"title":"Security in advanced metering infrastructures: Lightweight cryptography","authors":"Luis Hernández-Álvarez, Juan José Bullón Pérez, Araceli Queiruga-Dios","doi":"10.1093/jigpal/jzae074","DOIUrl":"https://doi.org/10.1093/jigpal/jzae074","url":null,"abstract":"Smart grids are designed to revolutionize the energy sector by creating a smarter, more efficient and reliable power supply network. The rise of smart grids is a response to the need for a more comprehensive and sophisticated energy system that caters to the needs of homes and businesses. Key features of smart grids include the integration of renewable energy sources, decentralized generation and advanced distribution networks. At the heart of smart grids is a sophisticated metering system, consisting of intelligent electronic devices that measure energy consumption and enable two-way communication between the utility company and the consumer. The information exchanged via these devices is critical, as it includes sensitive data such as energy consumption patterns and billing information. With the rise of the Internet of Things (IoT) and Industry 4.0, the security of this information is of utmost importance. This paper delves into the security challenges faced by advanced metering infrastructure (AMI) and highlights the crucial role played by cryptography in ensuring the secure exchange of sensitive information. Cryptographic protocols such as encryption, authentication and digital signatures are essential components of a secure smart grid infrastructure. These protocols work together to ensure the confidentiality, integrity and authenticity of the information exchanged between the utility company and the consumer.","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"88 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141530092","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison 用于早期检测和有效维护的机器过度应变预测：机器学习算法比较

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-05-27 DOI: 10.1093/jigpal/jzae055

Bruno Mota, Pedro Faria, Carlos Ramos

{"title":"Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison","authors":"Bruno Mota, Pedro Faria, Carlos Ramos","doi":"10.1093/jigpal/jzae055","DOIUrl":"https://doi.org/10.1093/jigpal/jzae055","url":null,"abstract":"Machine stability and energy efficiency have become major issues in the manufacturing industry, primarily during the COVID-19 pandemic where fluctuations in supply and demand were common. As a result, Predictive Maintenance (PdM) has become more desirable, since predicting failures ahead of time allows to avoid downtime and improves stability and energy efficiency in machines. One type of machine failure stands out due to its impact, machine overstrain, which can occur when machines are used beyond their tolerable limit. From the current literature, there are little to no relevant works that focus on machine overstrain failure detection or prediction. Accordingly, the purpose of this paper is to implement and compare four Machine Learning (ML) algorithms for PdM applied to machine overstrain failures: Artificial Neural Network (ANN), Gradient Boosting, Random Forest and Support Vector Machine (SVM). Moreover, it proposes a training methodology for imbalanced data and the automatic optimization of hyperparameters, which aims to improve performance in the ML models. To evaluate the performance of the ML models, a synthetic dataset that simulates industrial machine data is used. The obtained results show the robustness of the proposed methodology, with the ANN and SVM models achieving a perfect recall score, with 98.95% and 98.85% in accuracy, respectively.","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"18 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141167699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Płonka adjunction 膜连接

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-05-25 DOI: 10.1093/jigpal/jzae064

J Climent Vidal, E Cosme Llópez

引用次数: 0

Combination of fuzzy control and reinforcement learning for wind turbine pitch control 风力涡轮机变桨控制的模糊控制与强化学习相结合

IF 1 4区数学

Logic Journal of the IGPL Pub Date : 2024-05-25 DOI: 10.1093/jigpal/jzae054

J Enrique Sierra-Garcia, Matilde Santos

{"title":"Combination of fuzzy control and reinforcement learning for wind turbine pitch control","authors":"J Enrique Sierra-Garcia, Matilde Santos","doi":"10.1093/jigpal/jzae054","DOIUrl":"https://doi.org/10.1093/jigpal/jzae054","url":null,"abstract":"The generation of the pitch control signal in a wind turbine (WT) is not straightforward due to the nonlinear dynamics of the system and the coupling of its internal variables; in addition, they are subjected to the uncertainty that comes from the random nature of the wind. Fuzzy logic has proved useful in applications with changing system parameters or where uncertainty is relevant as in this one, but the tuning of the fuzzy logic controller (FLC) parameters is neither straightforward nor an easy task. On the other hand, reinforcement learning (RL) allows systems to automatically learn, and this capability can be exploited to tune the FLC. In this work, a WT pitch control architecture that uses RL to tune the membership functions and scale the output of a fuzzy controller is proposed. The RL strategy calculates the fuzzy controller gains in order to reduce the output power error of the WT according to the wind speed. Different reward mechanisms based on the output power error have been considered. Simulation results with different wind profiles show that this architecture performs better (123.7 W) in terms of power errors than an FLC without RL (133.2 W) or a simpler PID (208.8 W). Even more, it provides a smooth response and outperforms other hybrid controllers such as RL-PID and radial basis function neural network control.","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"77 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141151280","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0