Year:

  1.  3
    A Note on the System GRW with the Intensional Contraction Rule.Mirjana Ilić & Branislav Boričić - 2021 - Logic Journal of the IGPL 29 (3):333-339.
    In Ilić and Boričić, the right-handed cut-free sequent calculus $GRW$ for the contraction-less relevant logic $RW$ is defined. In this paper, we show that the enlargement of the system $GRW$ with the structural rule of intensional contraction presents the sequent system for the principal relevant logic $R$ but the rule of cut cannot be eliminated in $GRW+$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    Revisiting Separation: Algorithms and Complexity.Daniel Oliveira & João Rasga - 2021 - Logic Journal of the IGPL 29 (3):251-302.
    Linear temporal logic with Since and Until modalities is expressively equivalent, over the class of complete linear orders, to a fragment of first-order logic known as FOMLO. It turns out that LTL, under some basic assumptions, is expressively complete if and only if it has the property, called separation, that every formula is equivalent to a Boolean combination of formulas that each refer only to the past, present or future. Herein we present simple algorithms and their implementations to perform separation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  2
    Time-Stamped Claim Logic.João Rasga, Cristina Sernadas, Erisa Karafili & Luca Viganò - 2021 - Logic Journal of the IGPL 29 (3):303-332.
    The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e. as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Boolean Negation and Non-Conservativity III: The Ackermann Constant.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):370-384.
    It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  18
    Boolean Negation and Non-Conservativity I: Relevant Modal Logics.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):340-362.
    Many relevant logics can be conservatively extended by Boolean negation. Mares showed, however, that E is a notable exception. Mares’ proof is by and large a rather involved model-theoretic one. This paper presents a much easier proof-theoretic proof which not only covers E but also generalizes so as to also cover relevant logics with a primitive modal operator added. It is shown that from even very weak relevant logics augmented by a weak K-ish modal operator, and up to the strong (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  11
    Boolean Negation and Non-Conservativity II: The Variable-Sharing Property.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):363-369.
    Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant logic need not always satisfy the variable-sharing property. In fact, it is shown that such an extension can in fact yield classical logic. For a vast range of relevant logic, however, it is shown that the variable-sharing property, restricted to the Boolean-free fragment, still holds for the Boolean extended (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. On Learning Context-Aware Rules to Link RDF Datasets.Andrea Cimmino & Rafael Corchuelo - 2021 - Logic Journal of the IGPL 29 (2):151-166.
    Integrating RDF datasets has become a relevant problem for both researchers and practitioners. In the literature, there are many genetic proposals that learn rules that allow to link the resources that refer to the same real-world entities, which is paramount to integrating the datasets. Unfortunately, they are context-unaware because they focus on the resources and their attributes but forget about their neighbours. This implies that they fall short in cases in which different resources have similar attributes but refer to different (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Complexity of Rule Sets in Mining Incomplete Data Using Characteristic Sets and Generalized Maximal Consistent Blocks.Patrick G. Clark, Cheng Gao, Jerzy W. Grzymala-Busse, Teresa Mroczek & Rafal Niemiec - 2021 - Logic Journal of the IGPL 29 (2):124-137.
    In this paper, missing attribute values in incomplete data sets have three possible interpretations: lost values, attribute-concept values and ‘do not care’ conditions. For rule induction, we use characteristic sets and generalized maximal consistent blocks. Therefore, we apply six different approaches for data mining. As follows from our previous experiments, where we used an error rate evaluated by ten-fold cross validation as the main criterion of quality, no approach is universally the best. Thus, we decided to compare our six approaches (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  3
    A Composite Framework for Supporting User Emotion Detection Based on Intelligent Taxonomy Handling.Alfredo Cuzzocrea & Giovanni Pilato - 2021 - Logic Journal of the IGPL 29 (2):207-219.
    One of the most relevant issues of a social robot is its capability of catching the attention of a new acquaintance and empathize with her. The first steps towards a system which can be used by a social robot in order to be empathetic are illustrated in this paper. The system can analyze the Twitter ID of the new acquaintance, trying to detect the IAB Tier 1 categories that possibly can let arise in him/her a joyful feeling. Furthermore, it can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  1
    Editorial: Special Issue HAIS 2018.José Ramón Villar Flecha, Enrique A. Cal, Francisco Javier Cos Juez, Héctor Quintián & Emilio Corchado - 2021 - Logic Journal of the IGPL 29 (2):121-123.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  8
    Compensating Atmospheric Turbulence with CNNs for Defocused Pupil Image Wavefront Sensors.Sergio Luis Suárez Gómez, Carlos González-Gutiérrez, Juan Díaz Suárez, Juan José Fernández Valdivia, José Manuel Rodríguez Ramos, Luis Fernando Rodríguez Ramos & Jesús Daniel Santos Rodríguez - 2021 - Logic Journal of the IGPL 29 (2):180-192.
    Adaptive optics are techniques used for processing the spatial resolution of astronomical images taken from large ground-based telescopes. In this work, computational results are presented for a modified curvature sensor, the tomographic pupil image wavefront sensor, which measures the turbulence of the atmosphere, expressed in terms of an expansion over Zernike polynomials. Convolutional neural networks are presented as an alternative to the TPI-WFS reconstruction. This technique is a machine learning model of the family of artificial neural networks, which are widely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  6
    Machine Learning Techniques for Computer-Based Decision Systems in the Operating Theatre: Application to Analgesia Delivery.Jose M. Gonzalez-Cava, Rafael Arnay, Juan Albino Mendez-Perez, Ana León, María Martín, Jose A. Reboso, Esteban Jove-Perez & Jose Luis Calvo-Rolle - 2021 - Logic Journal of the IGPL 29 (2):236-250.
    This work focuses on the application of machine learning techniques to assist the clinicians in the administration of analgesic drug during general anaesthesia. Specifically, the main objective is to propose the basis of an intelligent system capable of making decisions to guide the opioid dose changes based on a new nociception monitor, the analgesia nociception index. Clinical data were obtained from 15 patients undergoing cholecystectomy surgery. By means of an off-line study, machine learning techniques were applied to analyse the possible (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia.Esteban Jove, Jose M. Gonzalez-Cava, José-Luis Casteleiro-Roca, Héctor Quintián, Juan Albino Méndez Pérez, Rafael Vega Vega, Francisco Zayas-Gato, Francisco Javier de Cos Juez, Ana León, María MartÍn, José A. Reboso, Michał Woźniak & José Luis Calvo-Rolle - 2021 - Logic Journal of the IGPL 29 (2):193-206.
    Automatic control of physiological variables is one of the most active areas in biomedical engineering. This paper is centered in the prediction of the analgesic variables evolution in patients undergoing surgery. The proposal is based on the use of hybrid intelligent modelling methods. The study considers the Analgesia Nociception Index to assess the pain in the patient and remifentanil as intravenous analgesic. The model proposed is able to make a one-step-ahead prediction of the remifentanil dose corresponding to the current state (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  1
    Orthogonal Learning Firefly Algorithm.Tomas Kadavy, Roman Senkerik, Michal Pluhacek & Adam Viktorin - 2021 - Logic Journal of the IGPL 29 (2):167-179.
    The primary aim of this original work is to provide a more in-depth insight into the relations between control parameters adjustments, learning techniques, inner swarm dynamics and possible hybridization strategies for popular swarm metaheuristic Firefly Algorithm. In this paper, a proven method, orthogonal learning, is fused with FA, specifically with its hybrid modification Firefly Particle Swarm Optimization. The parameters of the proposed Orthogonal Learning Firefly Algorithm are also initially thoroughly explored and tuned. The performance of the developed algorithm is examined (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    Patterns of Frequent User Interactions in Blogosphere.Krzysztof Rudek & Jarosław Koźlak - 2021 - Logic Journal of the IGPL 29 (2):138-150.
    The aim of the paper is to identify and categorize frequent patterns describing interactions between users in social networks. We analyze a social network with relationships between users that evolve in time already identified. In our research, we discover patterns based on frequent interactions between groups of users. The patterns are described by the characteristics of these interactions, such as their reciprocity, or the relative difference between estimations of global influences of the users participating in the discussions. The modification of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  2
    A Hybrid Fuzzy Clustering Approach for Diagnosing Primary Headache Disorder.Svetlana Simić, Zorana Banković, José R. Villar, Dragan Simić & Svetislav D. Simić - 2021 - Logic Journal of the IGPL 29 (2):220-235.
    Clustering is one of the most fundamental and essential data analysis tasks with broad applications. It has been studied in various research fields: data mining, machine learning, pattern recognition and in engineering, economics and biomedical data analysis. Headache is not a disease that typically shortens one’s life, but it can be a serious social as well as a health problem. Approximately 27 billion euros per year are lost through reduced work productivity in the European community. This paper is focused on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  11
    Clause Tableaux for Maximum and Minimum Satisfiability.Josep Argelich, Chu Min Li, Felip Manyà & Joan Ramon Soler - 2021 - Logic Journal of the IGPL 29 (1):7-27.
    The inference systems proposed for solving SAT are unsound for solving MaxSAT and MinSAT, because they preserve satisfiability but not the minimum and maximum number of clauses that can be falsified, respectively. To address this problem, we first define a clause tableau calculus for MaxSAT and prove its soundness and completeness. We then define a clause tableau calculus for MinSAT and also prove its soundness and completeness. Finally, we define a complete clause tableau calculus for solving both MaxSAT and MinSAT, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  19
    Relaxing Non-Interference Requirements in Parallel Plans.Miquel Bofill, Joan Espasa & Mateu Villaret - 2021 - Logic Journal of the IGPL 29 (1):45-71.
    The aim of being able to reason about quantities, time or space has been the main objective of the many efforts on the integration of propositional planning with extensions to handle different theories. Planning modulo theories are an approximation inspired by satisfiability modulo theories that generalize the integration of arbitrary theories with propositional planning. Parallel plans are crucial to reduce plan lengths and hence the time needed to reach a feasible plan in many approaches. Parallelization of actions relies on the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  2
    Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-Based Approach.Jesús Cerquides, Juan Antonio Rodríguez-Aguilar, Rémi Emonet & Gauthier Picard - 2021 - Logic Journal of the IGPL 29 (1):72-95.
    In the context of solving large distributed constraint optimization problems, belief-propagation and incomplete inference algorithms are candidates of choice. However, in general, when the problem structure is very cyclic, these solution methods suffer from bad performance, due to non-convergence and many exchanged messages. As to improve performances of the MaxSum inference algorithm when solving cyclic constraint optimization problems, we propose here to take inspiration from the belief-propagation-guided decimation used to solve sparse random graphs. We propose the novel DeciMaxSum method, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  5
    The Logical Style Painting Classifier Based on Horn Clauses and Explanations.Vicent Costa, Pilar Dellunde & Zoe Falomir - 2021 - Logic Journal of the IGPL 29 (1):96-119.
    This paper presents a logical Style painting classifier based on evaluated Horn clauses, qualitative colour descriptors and Explanations. Three versions of $\ell $-SHE are defined, using rational Pavelka logic, and expansions of Gödel logic and product logic with rational constants: RPL, $G$ and $\sqcap $, respectively. We introduce a fuzzy representation of the more representative colour traits for the Baroque, the Impressionism and the Post-Impressionism art styles. The $\ell $-SHE algorithm has been implemented in Swi-Prolog and tested on 90 paintings (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  7
    Special Issue on Logics and Artificial Intelligence.Zoe Falomir, Vicent Costa, Enric Plaza & Karina Gibert - 2021 - Logic Journal of the IGPL 29 (1):1-6.
    There is a significant range of ongoing challenges in artificial intelligence dealing with reasoning, planning, learning, perception and cognition, among others. In this scenario, many-valued logics emerge as one of the topics in many of the solutions to some of those AI problems. This special issue presents a brief introduction to the relation between logics and AI and collects recent research works on logic-based approaches in AI.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  5
    A Resolution Calculus for MinSAT.Chu-Min Li, Fan Xiao & Felip Manyà - 2021 - Logic Journal of the IGPL 29 (1):28-44.
    The logical calculus for SAT are not valid for MaxSAT and MinSAT because they preserve satisfiability but not the number of unsatisfied clauses. To overcome this drawback, a MaxSAT resolution rule preserving the number of unsatisfied clauses was defined in the literature. This rule is complete for MaxSAT when it is applied following a certain strategy. In this paper we first prove that the MaxSAT resolution rule also provides a complete calculus for MinSAT if it is applied following the strategy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
 Previous issues
  
Next issues