for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2255 journals)
    - CHEMICAL ENGINEERING (189 journals)
    - CIVIL ENGINEERING (180 journals)
    - ELECTRICAL ENGINEERING (99 journals)
    - ENGINEERING (1196 journals)
    - ENGINEERING MECHANICS AND MATERIALS (386 journals)
    - HYDRAULIC ENGINEERING (55 journals)
    - INDUSTRIAL ENGINEERING (61 journals)
    - MECHANICAL ENGINEERING (89 journals)

ENGINEERING (1196 journals)            First | 1 2 3 4 5 6 | Last

Showing 1001 - 1200 of 1205 Journals sorted alphabetically
Propulsion and Power Research     Open Access   (Followers: 22)
Purinergic Signalling     Hybrid Journal   (Followers: 1)
Quaderns d’Història de l’Enginyeria     Open Access  
Quality and Reliability Engineering International     Hybrid Journal   (Followers: 12)
Quality Engineering     Hybrid Journal   (Followers: 9)
Radiochimica Acta     Hybrid Journal   (Followers: 5)
Rapid Prototyping Journal     Hybrid Journal   (Followers: 3)
Rare Metals     Hybrid Journal  
Reactive and Functional Polymers     Hybrid Journal   (Followers: 5)
Recent Patents on Engineering     Full-text available via subscription   (Followers: 3)
Recent Patents on Nanotechnology     Full-text available via subscription   (Followers: 3)
Recherche Transports Sécurité     Hybrid Journal   (Followers: 1)
Redes de Ingeniería     Open Access  
Regional Maritime University Journal     Full-text available via subscription   (Followers: 2)
Regular and Chaotic Dynamics     Hybrid Journal  
Rem : Revista Escola de Minas     Open Access   (Followers: 1)
Remote Sensing     Open Access   (Followers: 36)
Remote Sensing Letters     Hybrid Journal   (Followers: 36)
Requirements Engineering     Hybrid Journal   (Followers: 3)
Research Ideas and Outcomes     Open Access  
Research in Engineering Design     Hybrid Journal   (Followers: 11)
Research Journal of Nanoscience and Nanotechnology     Open Access   (Followers: 20)
Research Works of Air Force Institute of Technology     Open Access   (Followers: 1)
Resonance     Hybrid Journal   (Followers: 25)
Reviews in Advanced Sciences and Engineering     Partially Free   (Followers: 2)
Revista AIDIS de Ingeniería y Ciencias Ambientales. Investigación, desarrollo y práctica     Open Access  
Revista Brasileira de Engenharia Agrícola e Ambiental     Open Access   (Followers: 1)
Revista Ciencias e Ingeniería al Día     Open Access  
Revista CINTEX     Open Access  
Revista Cubana de Ingeniería     Open Access  
Revista de Engenharia da Universidade Católica de Petrópolis     Open Access  
Revista de Ingeniería     Open Access  
Revista de Ingenieria Sismica     Open Access  
Revista de Investigación, Desarrollo e Innovación     Open Access  
Revista EIA     Open Access   (Followers: 1)
Revista Facultad de Ingeniería     Open Access   (Followers: 1)
Revista Facultad de Ingenieria - Universidad de Tarapaca     Open Access  
Revista Facultad de Ingeniería Universidad de Antioquia     Open Access   (Followers: 1)
Revista Iberoamericana de Automática e Informática Industrial RIAI     Open Access  
Revista Informador Técnico     Open Access   (Followers: 1)
Revista Ingenieria de Construcción     Open Access  
Revista Internacional de Métodos Numéricos para Cálculo y Diseño en Ingeniería     Open Access  
Revista Logos Ciencia & Tecnología     Open Access  
Revista Petra     Open Access  
Revue de Métallurgie     Full-text available via subscription  
Russian Engineering Research     Hybrid Journal  
Russian Journal of Non-Ferrous Metals     Hybrid Journal   (Followers: 22)
Russian Microelectronics     Hybrid Journal   (Followers: 1)
Sadhana     Open Access   (Followers: 7)
Safety Science     Hybrid Journal   (Followers: 25)
Scholedge International Journal of Multidisciplinary & Allied Studies     Open Access   (Followers: 2)
Science & Technique     Open Access  
Science and Engineering Ethics     Hybrid Journal   (Followers: 8)
Science and Technology     Open Access   (Followers: 2)
Science China Technological Sciences     Hybrid Journal  
Science Journal of Volgograd State University. Technology and innovations     Open Access  
Science Progress     Full-text available via subscription   (Followers: 3)
Scientia cum Industria     Open Access  
Scientific Journal of Control Engineering     Open Access   (Followers: 1)
Scientific Journal of Review     Open Access  
Sealing Technology     Full-text available via subscription   (Followers: 1)
Securitas Vialis     Hybrid Journal  
Security and Communication Networks     Hybrid Journal   (Followers: 3)
Selcuk University Journal of Engineering, Science and Technology     Open Access  
Selected Topics in Applied Earth Observations and Remote Sensing, IEEE Journal of     Hybrid Journal   (Followers: 46)
Semiconductors     Hybrid Journal  
Semiconductors and Semimetals     Full-text available via subscription  
Sensing and Imaging : An International Journal     Hybrid Journal   (Followers: 1)
Sensor Letters     Full-text available via subscription   (Followers: 2)
Sensors     Open Access   (Followers: 14)
Separation and Purification Technology     Hybrid Journal   (Followers: 10)
Services Computing, IEEE Transactions on     Hybrid Journal   (Followers: 4)
Shock and Vibration     Hybrid Journal   (Followers: 8)
SIAM Journal on Applied Dynamical Systems     Hybrid Journal   (Followers: 2)
SIAM Journal on Mathematical Analysis     Hybrid Journal   (Followers: 3)
SIAM Journal on Matrix Analysis and Applications     Hybrid Journal   (Followers: 1)
SIAM Journal on Numerical Analysis     Hybrid Journal   (Followers: 4)
SIAM Journal on Optimization     Hybrid Journal   (Followers: 8)
SIAM Review     Hybrid Journal   (Followers: 6)
SILICON     Hybrid Journal  
Sistemas & Telemática     Open Access   (Followers: 1)
Sleep and Biological Rhythms     Hybrid Journal   (Followers: 6)
Small     Hybrid Journal   (Followers: 11)
Smart Grid     Open Access  
Soft Computing     Hybrid Journal   (Followers: 7)
Software Engineering, IEEE Transactions on     Hybrid Journal   (Followers: 53)
Soil Dynamics and Earthquake Engineering     Hybrid Journal   (Followers: 13)
Soldagem & Inspeção     Open Access  
Solid-State Circuits Magazine, IEEE     Hybrid Journal   (Followers: 9)
SourceOCDE Developpement urbain, rural et regional     Full-text available via subscription   (Followers: 1)
SourceOCDE Energie     Full-text available via subscription  
SourceOECD Energy     Full-text available via subscription  
SourceOECD Science and Technology Statistics - SourceOCDE Base de donnees des sciences et de la technologie     Full-text available via subscription  
SourceOECD Transport     Full-text available via subscription   (Followers: 3)
SourceOECD Urban, Rural and Regional Development     Full-text available via subscription   (Followers: 1)
South African Computer Journal     Full-text available via subscription  
South African Journal of Agricultural Extension     Open Access   (Followers: 4)
South African Journal of Science     Open Access   (Followers: 3)
Sports Engineering     Hybrid Journal   (Followers: 3)
Stahlbau     Hybrid Journal   (Followers: 3)
Steel in Translation     Hybrid Journal  
Steel Research International     Hybrid Journal   (Followers: 24)
Stochastic Analysis and Applications     Hybrid Journal   (Followers: 2)
Stochastic Processes and their Applications     Hybrid Journal   (Followers: 5)
Stochastics and Dynamics     Hybrid Journal  
Strain     Hybrid Journal   (Followers: 2)
Strategic Planning for Energy and the Environment     Hybrid Journal   (Followers: 4)
Studies in Engineering and Technology     Open Access  
Studies in Interface Science     Full-text available via subscription   (Followers: 1)
Studies in Logic and Practical Reasoning     Full-text available via subscription  
Studies in Surface Science and Catalysis     Full-text available via subscription   (Followers: 1)
Superconductor Science and Technology     Hybrid Journal   (Followers: 2)
Surface Engineering     Hybrid Journal   (Followers: 3)
Surface Review and Letters     Hybrid Journal   (Followers: 1)
Surface Science Reports     Full-text available via subscription   (Followers: 15)
Survey Review     Hybrid Journal   (Followers: 6)
Surveying and Land Information Science     Full-text available via subscription   (Followers: 2)
Sustainability Science     Hybrid Journal   (Followers: 7)
Sustainability Science and Engineering     Full-text available via subscription   (Followers: 4)
Sustainable Management of Sediment Resources     Full-text available via subscription  
Swiss Journal of Geosciences     Hybrid Journal  
Symmetry     Open Access  
Synthesis Lectures on Algorithms and Software in Engineering     Full-text available via subscription  
Synthesis Lectures on Antennas     Full-text available via subscription   (Followers: 5)
Synthesis Lectures on Biomedical Engineering     Full-text available via subscription  
Synthesis Lectures on Computational Electromagnetics     Full-text available via subscription   (Followers: 4)
Synthesis Lectures on Energy and the Environment: Technology, Science, and Society     Full-text available via subscription   (Followers: 2)
Synthesis Lectures on Engineering     Full-text available via subscription  
Synthesis Lectures on Global Engineering     Full-text available via subscription  
Synthesis Lectures on Professionalism and Career Advancement for Scientists and Engineers     Full-text available via subscription   (Followers: 1)
Synthetic Metals     Hybrid Journal   (Followers: 4)
Systems Engineering     Hybrid Journal   (Followers: 6)
Systems Engineering Procedia     Open Access  
Systems Research Forum     Hybrid Journal  
Systems Science & Control Engineering     Open Access   (Followers: 5)
Techno.Com     Open Access  
Technological Engineering     Open Access  
Technologies     Open Access   (Followers: 1)
TECHNOLOGY     Hybrid Journal  
Technology and Innovation     Full-text available via subscription   (Followers: 3)
Technology in Society     Hybrid Journal   (Followers: 4)
Technometrics     Full-text available via subscription   (Followers: 6)
Tecnologia, Ciencia, Educacion     Open Access   (Followers: 1)
Tecnura     Open Access  
Telecommunications Policy     Hybrid Journal   (Followers: 24)
Terahertz Science and Technology, IEEE Transactions on     Hybrid Journal   (Followers: 2)
Textile Science and Technology     Full-text available via subscription   (Followers: 3)
The Journal of Computational Multiphase Flows     Full-text available via subscription  
The Journal of Supercomputing     Hybrid Journal   (Followers: 1)
The Scientific World Journal     Open Access  
Theoretical and Computational Fluid Dynamics     Hybrid Journal   (Followers: 12)
Theoretical Issues in Ergonomics Science     Hybrid Journal   (Followers: 3)
Thermal Engineering     Hybrid Journal   (Followers: 6)
Tikrit Journal of Engineering Science     Open Access  
tm - Technisches Messen     Hybrid Journal   (Followers: 2)
Topics in Catalysis     Hybrid Journal   (Followers: 1)
Traffic Injury Prevention     Hybrid Journal   (Followers: 61)
TRANSACTIONS of the VŠB - Technical University of Ostrava, Safety Engineering Series     Open Access   (Followers: 1)
Transactions of Tianjin University     Full-text available via subscription  
Transport and Telecommunication Journal     Open Access   (Followers: 4)
Transport World Africa     Full-text available via subscription   (Followers: 3)
Transportation Research Record : Journal of the Transportation Research Board     Full-text available via subscription   (Followers: 34)
Transportmetrica A : Transport Science     Hybrid Journal   (Followers: 4)
Trends in Applied Sciences Research     Open Access   (Followers: 1)
Tribology in Industry     Open Access   (Followers: 1)
Tribology International     Hybrid Journal   (Followers: 41)
Tribology Letters     Hybrid Journal   (Followers: 5)
Tribology Transactions     Hybrid Journal   (Followers: 33)
Tribotest     Hybrid Journal  
Tropical Science     Hybrid Journal   (Followers: 1)
Turkish Journal of Engineering and Environmental Sciences     Open Access   (Followers: 1)
Ultramicroscopy     Hybrid Journal   (Followers: 2)
Uludağ University Journal of The Faculty of Engineering     Open Access  
Universal Journal of Applied Science     Open Access   (Followers: 2)
Universal Journal of Engineering Science     Open Access   (Followers: 1)
Utilities Policy     Hybrid Journal   (Followers: 2)
Vacuum     Hybrid Journal   (Followers: 12)
Virtual and Physical Prototyping     Hybrid Journal   (Followers: 3)
Visualization in Engineering     Open Access  
Walailak Journal of Science and Technology     Open Access  
Waste and Biomass Valorization     Hybrid Journal   (Followers: 1)
Waste Management Series     Full-text available via subscription   (Followers: 2)
Waves in Random and Complex Media     Hybrid Journal  
Waves, Wavelets and Fractals     Open Access  
Wear     Hybrid Journal   (Followers: 28)
Welding in the World     Hybrid Journal   (Followers: 2)
West African Journal of Industrial and Academic Research     Open Access   (Followers: 1)
Women in Engineering Magazine, IEEE     Full-text available via subscription   (Followers: 11)
World Journal of Engineering     Full-text available via subscription   (Followers: 3)
World Journal of Engineering and Technology     Open Access  
World Journal of Environmental Engineering     Open Access   (Followers: 2)
World Pumps     Full-text available via subscription   (Followers: 2)
World Science and Technology     Full-text available via subscription   (Followers: 1)
ZDM     Hybrid Journal  
Zede Journal     Open Access  
Zeitschrift fur Energiewirtschaft     Hybrid Journal   (Followers: 1)

  First | 1 2 3 4 5 6 | Last

Journal Cover Journal of Applied Logic
  [SJR: 0.753]   [H-I: 22]   [0 followers]  Follow
    
   Full-text available via subscription Subscription journal
   ISSN (Print) 1570-8683
   Published by Elsevier Homepage  [3038 journals]
  • Hoop twist-structures
    • Authors: Shokoofeh Ghorbani
      Pages: 1 - 18
      Abstract: Publication date: November 2016
      Source:Journal of Applied Logic, Volume 18
      Author(s): Shokoofeh Ghorbani
      In this paper, we introduce hoop twist-structure whose members are built as special squares of an arbitrary hoop. We show how our construction relates to eN4-lattices (N4-lattices) and implicative twist-structures. We prove that hoop twist-structures form a quasi-variety and characterize the AHT-congruences of each algebra in this quasi-variety in terms of the congruences of the associated hoop.

      PubDate: 2016-06-14T06:00:23Z
      DOI: 10.1016/j.jal.2016.05.006
      Issue No: Vol. 18 (2016)
       
  • Formalization of Reliability Block Diagrams in Higher-order Logic
    • Authors: Waqar Ahmed; Osman Hasan; Sofiène Tahar
      Pages: 19 - 41
      Abstract: Publication date: Available online 15 June 2016
      Source:Journal of Applied Logic
      Author(s): Waqar Ahmed, Osman Hasan, Sofiène Tahar
      Reliability Block Diagrams (RBDs) allow us to model the failure relationships of complex systems and their sub-components and are extensively used for system reliability, availability and maintainability analyses. Traditionally, these RBD-based analyses are done using paper-and-pencil proofs or computer simulations, which cannot ascertain absolute correctness due to their inaccuracy limitations. As a complementary approach, we propose to use the higher-order logic theorem prover HOL to conduct RBD-based analysis. For this purpose, we present a higher-order logic formalization of commonly used RBD configurations, such as series, parallel, parallel-series and series-parallel, and the formal verification of their equivalent mathematical expressions. A distinguishing feature of the proposed RBD formalization is the ability to model nested RBD configurations, which are RBDs having blocks that also represent RBD configurations. This generality allows us to formally analyze the reliability of many real-world systems. For illustration purposes, we formally analyze the reliability of a generic Virtual Data Center (VDC) in a cloud computing infrastructure exhibiting the nested series-parallel RBD configuration.

      PubDate: 2016-06-18T18:01:34Z
      DOI: 10.1016/j.jal.2016.05.007
      Issue No: Vol. 18 (2016)
       
  • Bridging Curry and Church's typing style
    • Authors: Fairouz Kamareddine; Jonathan P. Seldin; J.B. Wells
      Pages: 42 - 70
      Abstract: Publication date: Available online 16 June 2016
      Source:Journal of Applied Logic
      Author(s): Fairouz Kamareddine, Jonathan P. Seldin, J.B. Wells
      There are two versions of type assignment in the λ-calculus: Church-style, in which the type of each variable is fixed, and Curry-style (also called “domain free”), in which it is not. As an example, in Church-style typing, λ x : A . x is the identity function on type A, and it has type A → A but not B → B for a type B different from A. In Curry-style typing, λ x . x is a general identity function with type C → C for every type C. In this paper, we will show how to interpret in a Curry-style system every Pure Type System (PTS) in the Church-style without losing any typing information. We will also prove a kind of conservative extension result for this interpretation, a result which implies that for most consistent PTSs of the Church-style, the corresponding Curry-style system is consistent. We will then show how to interpret in a system of the Church-style (a modified PTS, stronger than a PTS) every PTS-like system in the Curry style.

      PubDate: 2016-06-18T18:01:34Z
      DOI: 10.1016/j.jal.2016.05.008
      Issue No: Vol. 18 (2016)
       
  • Formal assessment of reliability specifications in embedded cyber-physical
           systems
    • Authors: Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti
      Pages: 71 - 104
      Abstract: Publication date: Available online 5 September 2016
      Source:Journal of Applied Logic
      Author(s): Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
      Reliability has become an integral component of the design intent of embedded cyber-physical systems. Safety-critical embedded systems are designed with specific reliability targets, and design practices include the appropriate allocation of both spatial and temporal redundancies in the implementation to meet such requirements. With increasing complexity of such systems and considering the large number of components in such systems, redundancy allocation requires a formal scientific basis. In this work, we profess the analysis of the redundancy requirement upfront with the objective of making it an integral part of the specification. The underlying problem is one of synthesizing a formal specification with built-in redundancy artifacts, from the formal properties of the error-free system, the error probabilities of the control components, and the reliability target. We believe that upfront formal analysis of redundancy requirements is important in budgeting the resource requirements from a cost versus reliability perspective. Several case-studies from the automotive domain highlight the efficacy of our proposal.

      PubDate: 2016-09-07T22:34:08Z
      DOI: 10.1016/j.jal.2016.09.001
      Issue No: Vol. 18 (2016)
       
  • From Reasonable Preferences, via Argumentation, to Logic
    • Authors: Justine Jacot; Emmanuel Genot; Frank Zenker
      Pages: 105 - 128
      Abstract: Publication date: Available online 3 August 2016
      Source:Journal of Applied Logic
      Author(s): Justine Jacot, Emmanuel Genot, Frank Zenker
      This article demonstrates that typical restrictions which are imposed in dialogical logic in order to recover first-order logical consequence from a fragment of natural language argumentation are also forthcoming from preference profiles of boundedly rational players, provided that these players instantiate a specific player type and compute partial strategies. We present two structural rules, which are formulated similarly to closure rules for tableaux proofs that restrict players' strategies to a mapping between games in extensive forms (i.e., game trees) and proof trees. Both rules are motivated from players' preferences and limitations; they can therefore be viewed as being player-self-imposable. First-order logical consequence is thus shown to result from playing a specific type of argumentation game. The alignment of such games with the normative model of the Pragma-dialectical theory of argumentation is positively evaluated. But explicit rules to guarantee that the argumentation game instantiates first-order logical consequence have now become gratuitous, since their normative content arises directly from players' preferences and limitations. A similar naturalization for non-classical logics is discussed.

      PubDate: 2016-08-07T15:31:27Z
      DOI: 10.1016/j.jal.2016.08.001
      Issue No: Vol. 18 (2016)
       
  • Strongly polynomial sequences as interpretations
    • Authors: A.J. Goodall; J. Nešetřil; P. Ossona de Mendez
      Pages: 129 - 149
      Abstract: Publication date: Available online 1 July 2016
      Source:Journal of Applied Logic
      Author(s): A.J. Goodall, J. Nešetřil, P. Ossona de Mendez
      A strongly polynomial sequence of graphs ( G n ) is a sequence ( G n ) n ∈ N of finite graphs such that, for every graph F, the number of homomorphisms from F to G n is a fixed polynomial function of n (depending on F). For example, ( K n ) is strongly polynomial since the number of homomorphisms from F to K n is the chromatic polynomial of F evaluated at n. In earlier work of de la Harpe and Jaeger, and more recently of Averbouch, Garijo, Godlin, Goodall, Makowsky, Nešetřil, Tittmann, Zilber and others, various examples of strongly polynomial sequences and constructions for families of such sequences have been found, leading to analogues of the chromatic polynomial for fractional colourings and acyclic colourings, to choose two interesting examples. We give a new model-theoretic method of constructing strongly polynomial sequences of graphs that uses interpretation schemes of graphs in more general relational structures. This surprisingly easy yet general method encompasses all previous constructions and produces many more. We conjecture that, under mild assumptions, all strongly polynomial sequences of graphs can be produced by the general method of quantifier-free interpretation of graphs in certain basic relational structures (essentially disjoint unions of transitive tournaments with added unary relations). We verify this conjecture for strongly polynomial sequences of graphs with uniformly bounded degree.

      PubDate: 2016-07-12T09:30:40Z
      DOI: 10.1016/j.jal.2016.06.001
      Issue No: Vol. 18 (2016)
       
  • Intuitionistic common knowledge or belief
    • Authors: Gerhard Jäger; Michel Marti
      Pages: 150 - 163
      Abstract: Publication date: Available online 27 April 2016
      Source:Journal of Applied Logic
      Author(s): Gerhard Jäger, Michel Marti
      Starting off from the usual language of modal logic for multi-agent systems dealing with the agents' knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intuitionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.

      PubDate: 2016-04-28T20:00:13Z
      DOI: 10.1016/j.jal.2016.04.004
      Issue No: Vol. 18 (2016)
       
  • SPECIAL ISSUE SOCO13-JAL
    • Authors: Álvaro Herrero; Bruno Baruque; Fanny Klett; Ajith Abraham; Václav Snášel; André C.P.L.F. de Carvalho; Pablo García Bringas; Ivan Zelinka; Héctor Quintián; Juan Manuel Corchado; Emilio Corchado
      Pages: 1 - 3
      Abstract: Publication date: September 2016
      Source:Journal of Applied Logic, Volume 17
      Author(s): Álvaro Herrero, Bruno Baruque, Fanny Klett, Ajith Abraham, Václav Snášel, André C.P.L.F. de Carvalho, Pablo García Bringas, Ivan Zelinka, Héctor Quintián, Juan Manuel Corchado, Emilio Corchado


      PubDate: 2016-07-24T12:30:39Z
      DOI: 10.1016/j.jal.2015.09.003
      Issue No: Vol. 17 (2016)
       
  • A small look at the ear recognition process using a hybrid approach
    • Authors: Pedro Luis Galdámez; Angélica González Arrieta; Miguel Ramón Ramón
      Pages: 4 - 13
      Abstract: Publication date: September 2016
      Source:Journal of Applied Logic, Volume 17
      Author(s): Pedro Luis Galdámez, Angélica González Arrieta, Miguel Ramón Ramón
      The purpose of this document is to offer a combined approach in biometric analysis field, integrating some of the most known techniques using ears to recognize people. This study uses Hausdorff distance as a pre-processing stage adding sturdiness to increase the performance filtering for the subjects to use it in the testing process. Also includes the Image Ray Transform (IRT) and the Haar based classifier for the detection step. Then, the system computes Speeded Up Robust Features (SURF) and Linear Discriminant Analysis (LDA) as an input of two neural networks to recognize a person by the patterns of its ear. To show the applied theory experimental results, the above algorithms have been implemented using Microsoft C#. The investigation results showed robustness improving the ear recognition process.

      PubDate: 2016-07-24T12:30:39Z
      DOI: 10.1016/j.jal.2015.09.004
      Issue No: Vol. 17 (2016)
       
  • Tableau reductions: Towards an optimal decision procedure for the modal
           necessity
    • Authors: Joanna Golińska-Pilarek; Emilio Muñoz-Velasco; Angel Mora
      Pages: 14 - 24
      Abstract: Publication date: September 2016
      Source:Journal of Applied Logic, Volume 17
      Author(s): Joanna Golińska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
      We present a new prefixed tableau system TK for verification of validity in modal logic K . The system TK is deterministic, it uniquely generates exactly one proof tree for each clausal representation of formulas, and, moreover, it uses some syntactic reductions of prefixes. TK is defined in the original methodology of tableau systems, without any external technique such as backtracking, backjumping, etc. Since all the necessary bookkeeping is built into the rules, the system is not only a basis for a validity algorithm, but is itself a decision procedure. We present also a deterministic tableau decision procedure which is an extension of TK and can be used for the global assumptions problem.

      PubDate: 2016-07-24T12:30:39Z
      DOI: 10.1016/j.jal.2015.09.005
      Issue No: Vol. 17 (2016)
       
  • Bayesian networks for greenhouse temperature control
    • Authors: J. del Sagrado; J.A. Sánchez; F. Rodríguez; M. Berenguel
      Pages: 25 - 35
      Abstract: Publication date: September 2016
      Source:Journal of Applied Logic, Volume 17
      Author(s): J. del Sagrado, J.A. Sánchez, F. Rodríguez, M. Berenguel
      Greenhouse crop production is directly influenced by climate conditions. A Bayesian network is introduced in this paper aimed at achieving adequate inside climate conditions (mainly temperature and humidity) by acting on actuators based on the value of different state variables and disturbances acting on the system. The system is built and tested using data gathered from a real greenhouse under closed-loop control (where several controllers as gain scheduling ones are used), but where growers can also perform control actions independent on the automatic control system. The Bayesian Network has demonstrated to provide a good approximation of a control signal based on previous manual and control actions implemented in the same system (based on predefined setpoints), as well as on the environmental conditions. The results thus show the performance and applicability of Bayesian networks within climate control framework.

      PubDate: 2016-07-24T12:30:39Z
      DOI: 10.1016/j.jal.2015.09.006
      Issue No: Vol. 17 (2016)
       
  • An intelligent fault detection system for a heat pump installation based
           on a geothermal heat exchanger
    • Authors: José Luis Casteleiro-Roca; Héctor Quintián; José Luis Calvo-Rolle; Emilio Corchado; María del Carmen Meizoso-López; Andrés Piñón-Pazos
      Pages: 36 - 47
      Abstract: Publication date: September 2016
      Source:Journal of Applied Logic, Volume 17
      Author(s): José Luis Casteleiro-Roca, Héctor Quintián, José Luis Calvo-Rolle, Emilio Corchado, María del Carmen Meizoso-López, Andrés Piñón-Pazos
      The heat pump with geothermal exchanger is one of the best methods to heat up a building. The heat exchanger is an element with high probability of failure due to the fact that it is an outside construction and also due to its size. In the present study, a novel intelligent system was designed to detect faults on this type of heating equipment. The novel approach has been successfully empirically tested under a real dataset obtained during measurements of one year. It was based on classification techniques with the aim of detecting failures in real time. Then, the model was validated and verified over the building; it obtained good results in all the operating conditions ranges.

      PubDate: 2016-07-24T12:30:39Z
      DOI: 10.1016/j.jal.2015.09.007
      Issue No: Vol. 17 (2016)
       
  • Improving ontology-based text classification: An occupational health and
           security application
    • Authors: Nayat Sanchez-Pi; Luis Martí; Ana Cristina Bicharra Garcia
      Pages: 48 - 58
      Abstract: Publication date: September 2016
      Source:Journal of Applied Logic, Volume 17
      Author(s): Nayat Sanchez-Pi, Luis Martí, Ana Cristina Bicharra Garcia
      Information retrieval has been widely studied due to the growing amounts of textual information available electronically. Nowadays organizations and industries are facing the challenge of organizing, analyzing and extracting knowledge from masses of unstructured information for decision making process. The development of automatic methods to produce usable structured information from unstructured text sources is extremely valuable to them. Opposed to the traditional text classification methods that need a set of well-classified trained corpus to perform efficient classification; the ontology-based classifier benefits from the domain knowledge and provides more accuracy. In a previous work we proposed and evaluated an ontology-based heuristic algorithm [28] for occupational health control process, particularly, for the case of automatic detection of accidents from unstructured texts. Our extended proposal is more domain dependent because it uses technical terms and contrast the relevance of these technical terms into the text, so the heuristic is more accurate. It divides the problem in subtasks such as: (i) text analysis, (ii) recognition and (iii) classification of failed occupational health control, resolving accidents as text analysis, recognition and classification of failed occupational health control, resolving accidents.

      PubDate: 2016-07-24T12:30:39Z
      DOI: 10.1016/j.jal.2015.09.008
      Issue No: Vol. 17 (2016)
       
  • A non-commutative generalization of Łukasiewicz rings
    • Authors: Albert Kadji; Celestin Lele; Jean B. Nganou
      Pages: 1 - 13
      Abstract: Publication date: July 2016
      Source:Journal of Applied Logic, Volume 16
      Author(s): Albert Kadji, Celestin Lele, Jean B. Nganou
      The goal of the present article is to extend the study of commutative rings whose ideals form an MV-algebra as carried out by Belluce and Di Nola [1] to non-commutative rings. We study and characterize all rings whose ideals form a pseudo MV-algebra, which shall be called here generalized Łukasiewicz rings. We obtain that these are (up to isomorphism) exactly the direct sums of unitary special primary rings.

      PubDate: 2016-04-11T17:00:10Z
      DOI: 10.1016/j.jal.2016.04.001
      Issue No: Vol. 16 (2016)
       
  • Special issue SOCO14-JAL
    • Authors: Pablo García Bringas; Asier Perallos Ruiz; Antonio D. Masegosa Arredondo; Álvaro Herrero; Héctor Quintián; Emilio Corchado
      Abstract: Publication date: Available online 10 November 2016
      Source:Journal of Applied Logic
      Author(s): Pablo García Bringas, Asier Perallos Ruiz, Antonio D. Masegosa Arredondo, Álvaro Herrero, Héctor Quintián, Emilio Corchado


      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.008
       
  • A brief review of the ear recognition process using deep neural networks
    • Authors: Pedro Luis Galdámez; William Raveane; Angélica González Arrieta
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): Pedro Luis Galdámez, William Raveane, Angélica González Arrieta
      The process of precisely recognize people by ears has been getting major attention in recent years. It represent an important step in the biometric research, especially as a complement to face recognition systems which have difficult in real conditions. This is due to the great variation in shapes, variable lighting conditions, and the changing profile shape which is a planar representation of a complex object. An ear recognition system involving a convolutional neural networks (CNN) is proposed to identify a person given an input image. The proposed method matches the performance of other traditional approaches when analysed against clean photographs. However, the F1 metric of the results shows improvements in specificity of the recognition. We also present a technique for improving the speed of a CNN applied to large input images through the optimization of the sliding window approach.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.014
       
  • Using the finite element method and data mining techniques as an
           alternative method to determine the maximum load capacity in tapered
           roller bearings
    • Authors: Ruben Lostado Lorza; Ruben Escribano Garcia; Roberto Fernandez Martinez; Marcos Illera Cueva; Bryan J. Mac Donald
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): Ruben Lostado Lorza, Ruben Escribano Garcia, Roberto Fernandez Martinez, Marcos Illera Cueva, Bryan J. Mac Donald
      Double-row tapered roller bearings (TRBs) are mechanical devices designed to support a combination of preload, radial load, axial load and torque. They are widely used in vehicles for high load and moderate rotation speeds. This combination of loads produces high contact stresses on the bearing raceways that are difficult to calculate, and can cause undesirable defects like fatigue spalling and pitting. In recent decades, the Finite Element Method (FEM) has been used to obtain the distribution of the contact stresses on each of the raceways, although this method has the disadvantage of a high computational cost. The myriad of possible combinations of input loads on the TRB (Preload, radial load, axial load and torque) makes it much harder to calculate the distribution of these contact stresses. This paper proposes a methodology that combines the FEM and data mining techniques to determine the maximum load capacity in TRBs. First, a three-dimensional finite element (FE) model was generated according to the real materials' properties, geometry and coefficients of friction of all parts that make up the double-row TRB. Subsequently, a Design of Experiment (DoE) was completed that considered a combination of the mentioned input loads, which were simulated in the FE model. Based on the contact stresses obtained from the FE simulations, a group of regression models – linear regression (LR), Gaussian processes (GP), artificial neural networks (ANN), support vector machines (SVM) and regression trees (RT) – were built to predict the contact stresses ratios that act on each of the row of rollers in the outer raceway of the TRB. Finally, the best combination of input loads was achieved by applying evolutionary optimization techniques based on genetic algorithms (GA) to the best regression models previously obtained. The maximum load capacity of the TRB was achieved when the radial load obtained was a maximum, while the stresses ratios of the two contacts in the outer raceway of the TRB were close to 25%.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.009
       
  • On the Combination of Support Vector Machines and Segmentation Algorithms
           for Anomaly Detection: A Petroleum Industry Comparative Study
    • Authors: Luis Martí; Nayat Sanchez-Pi; José Manuel Molina López; Ana Cristina Bicharra Garcia
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): Luis Martí, Nayat Sanchez-Pi, José Manuel Molina López, Ana Cristina Bicharra Garcia
      Anomaly detection has to do with finding patterns in data that do not conform to an expected behavior. It has recently attracted the attention of the research community because of its real-world application. The correct detection unusual events empowers the decision maker with the capacity to act on the system in order to correctly avoid, correct, or react to the situations associated with them. Petroleum industry is one of such real-world application scenarios. In particular, heavy extraction machines for pumping and generation operations like turbomachines are intensively monitored by hundreds of sensors each that send measurements with a high frequency for damage prevention. For dealing with this and with the lack of labeled data, in this paper we describes a combination of a fast and high quality segmentation algorithm with a one-class support vector machine approach for efficient anomaly detection in turbomachines. As result we perform empirical studies comparing our approach to another using Kalman filters in a real-life application related to oil platform turbomachinery anomaly detection.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.015
       
  • Years of fuzzy set theory and models for supplier assessment and
           selection: A literature review
    • Authors: Dragan Simić; Ilija Kovačević; Vasa Svirčević; Svetlana Simić
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): Dragan Simić, Ilija Kovačević, Vasa Svirčević, Svetlana Simić
      Supplier assessment and selection mapping as an essential component of supply chain management are usually multi-criteria decision-making problems. Decision making is the thought process of selecting a logical choice from the available options. This is generally made under fuzzy environment. Fuzzy decision-making is a decision process using the sets whose boundaries are not sharply defined. The aim of this paper is to show how fuzzy set theory, fuzzy decision-making and hybrid solutions based on fuzzy can be used in the various models for supplier assessment and selection in a 50 year period.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.016
       
  • The modelling and design process of coordination mechanisms in the supply
           chain
    • Authors: Katarzyna Grzybowska; Gábor Kovács
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): Katarzyna Grzybowska, Gábor Kovács
      The process description languages, which are used in business, may be useful in logistics processes. The planning, organization, direction and the control of the logistics processes might be more efficient if these formal languages are applied. During the logistics processes, many problems might arise, which should have already been addressed in the planning phase. In our days, the symptomatic treatment is a common practice, but it does not provide predictability. The obvious solution would be process control, in order to handle the main sources of faults and to give a correct list of what needs to be done during the logistics process. The process description languages may be useful not only in standardisation, but they may also help to avoid losses. Simulation experiments, on the basis of built model, also allow for the elimination of problems, standardisation and the limitation of losses. The aim of the article is a discussion of selected coordination mechanisms in the supply chain, its modelling in the form of a reference, as well as a discussion of the simulation experiment with the use of the FlexSim tool.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.011
       
  • Hybrid evolutionary workflow scheduling algorithm for dynamic
           heterogeneous distributed computational environment
    • Authors: D. Nasonov; A. Visheratin; N. Butakov; N. Shindyapina; M. Melnik; A. Boukhanovsky
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): D. Nasonov, A. Visheratin, N. Butakov, N. Shindyapina, M. Melnik, A. Boukhanovsky
      The optimal workflow scheduling is one of the most important issues in heterogeneous distributed computational environments. Existing heuristic and evolutionary scheduling algorithms have their advantages and disadvantages. In this work we propose a hybrid algorithm based on heuristic methods and genetic algorithm (GA) that combines best characteristics of both approaches. We propose heuristic algorithm called Linewise Earliest Finish Time (LEFT) as an alternative for HEFT in initial population generation for GA. We also experimentally show efficiency of described hybrid schemas GAHEFT, GALEFT, GACH for traditional workflow scheduling as well as for variable workload in dynamically changing heterogeneous computational environment.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.013
       
  • Evolutionary simulation of complex networks' structures with specific
           functional properties
    • Authors: Victor V. Kashirin; Anastasia A. Lantseva; Sergey V. Ivanov; Sergey V. Kovalchuk; Alexander V. Boukhanovsky
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): Victor V. Kashirin, Anastasia A. Lantseva, Sergey V. Ivanov, Sergey V. Kovalchuk, Alexander V. Boukhanovsky
      Thorough studies of technological and biological systems have revealed that the inherent networking structures of those systems possess similar topological properties, like node degree distribution or small-world effect, regardless of the context to which those systems are related. Based on that knowledge, there have been numerous attempts to develop models that capture particular topological properties of observed complex networks, although little attention has been paid to developing models with specific functional properties. The present paper proposes a method for the simulation of networks' structures with functional characteristics of interest using a heuristic evolutionary approach and utilizing a Simulated Annealing algorithm. An experimental study is carried out with a US air transportation network and synthetic social networks with known properties.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.012
       
  • A survey on the inventory-routing problem with stochastic lead times and
           demands
    • Authors: Raúl F. Roldán; Rosa Basagoiti; Leandro C. Coelho
      Abstract: Publication date: Available online 12 November 2016
      Source:Journal of Applied Logic
      Author(s): Raúl F. Roldán, Rosa Basagoiti, Leandro C. Coelho
      The integration of the different processes and players that compose the supply chain (SC) is essential to obtain a better coordination level. Inventory control and distribution management are the two processes that researchers have identified as the key to gain or lose in efficiency and effectiveness in the field of logistics, with a direct effect on the synchronization and overall performance of SCs. In practical situations demand is often not deterministic, and lead times are also variable, yielding a complex stochastic problem. In order to analyze the recent developments in the integration of these processes, this paper analyzes the state of the art of the information management in the SC, the relationship between inventory policies and available demand information, and the use of optimization methods to provide good solutions for the problem in single and multi depot versions.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.010
       
  • Sensorless control of variable speed induction motor drive using RBF
           neural network
    • Authors: Pavel Brandstetter; Martin Kuchar
      Abstract: Publication date: Available online 11 November 2016
      Source:Journal of Applied Logic
      Author(s): Pavel Brandstetter, Martin Kuchar
      High power of modern digital signal processors and their decreasing prices enable practical implementation of different speed estimators which are used in the sensorless control of AC drives. The paper describes application possibilities of artificial neural networks for the sensorless speed control of the A.C. induction motor drive. In the sensorless control structure of the A.C. drive, there is implemented the speed estimator which uses two different artificial neural networks for speed estimation. The first speed estimator uses a multilayer feedforward artificial neural network. Its properties are compared with the speed estimator using a radial basis function neural network. The sensorless A.C. drive was simulated in program Matlab-Simulink. The main goal of many simulations was finding suitable structure of the artificial neural network with required number of neuron units which will ensure good control characteristics and simultaneously will enable a practical implementation of the artificial neural network in the digital signal processor control system.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.017
       
  • Editorial
    • Authors: Souhila Kaci; Robert Mercer; Matthias Thimm
      Abstract: Publication date: Available online 14 November 2016
      Source:Journal of Applied Logic
      Author(s): Souhila Kaci, Robert Mercer, Matthias Thimm


      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.027
       
  • Comparison of classification techniques applied for network intrusion
           detection and classification
    • Authors: Amira Sayed A. Aziz; Sanaa EL-Ola Hanafi; Aboul Ella Hassanien
      Abstract: Publication date: Available online 14 November 2016
      Source:Journal of Applied Logic
      Author(s): Amira Sayed A. Aziz, Sanaa EL-Ola Hanafi, Aboul Ella Hassanien
      In a previous research, a multi-agent artificial immune system for network intrusion detection and classification was proposed and tested, where a multi-layer detection and classification process was executed on each agent, for each host in the network. In this paper, we show the experiments that were held to chose the appropriate classifiers by testing different classifiers and comparing them to increase the detection accuracy and obtain more information on the detected anomalies. It will be shown that no single classifier should be used for all types of attacks, due to different classification rates obtained. This is due to attacks representations in the train set and dependency between features used to detect them. It will also be shown that a basic and simple classifier such as Naive Bayes has better classification results in the case of low-represented attacks, and the basic decision trees such as Naive-Bayes Tree and Best-First Tree give very good results compared to well-known J48 (Weka implementation of C4.5) and Random Forest decision trees. Based on these experiments and their results, Naive Bayes and Best-First tree classifiers were selected to classify the anomaly-detected traffic. It was shown that in the detection phase, 90% of anomalies were detected, and in the classification phase, 88% of false positives were successfully labeled as normal traffic connections, and 79% of DoS and Probe attacks were labeled correctly, mostly by NB, NBTree, and BFTree classifiers.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.018
       
  • Identification of abnormal movements with 3D accelerometer sensors for
           seizure recognition
    • Authors: José R. Villar; Manuel Menéndez; Enrique de la Cal; Javier Sedano; Víctor M. González
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): José R. Villar, Manuel Menéndez, Enrique de la Cal, Javier Sedano, Víctor M. González
      Human-activity recognition and seizure-detection techniques have gathered pace with the widespread availability of wearable devices. A study of the literature shows various studies for 3D accelerometer-based seizure detection that describe the selection of acceleration variables and controlled transformations, while discarding the remaining input variable contributions. The aim of this research is to evaluate feature extraction based on different techniques and with the advantage of an overview of all information on the problem. Three feature extraction techniques -namely, Locally Linear Embedding, Principal Component Analysis (PCA) and a Distance-Based PCA- are analyzed and their outcomes compared against K-Nearest Neighbor and Decision Trees. A realistic experimentation simulating epileptic mioclonic convulsions was performed. The PCA-based methods were found to produce solutions that managed the problem perfectly well, either learning specific models for each individual or learning generalized models.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.024
       
  • An ordered credibility contrast semantics for finite probability agreement
    • Authors: Paul Snow
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): Paul Snow
      De Finetti's 1949 ordinal probability conjecture sparked enduring interest in intuitively meaningful necessary and sufficient conditions for orderings of finite propositional domains to agree with probability distributions. This paper motivates probabilistic ordering from subjective estimates of credibility contrasts revealed when ordered propositions are not monotonically related (e.g., A or B > C or D, but D > B ) and when a portfolio of prospects is accepted as preferable to alternatives despite not dominating them. The estimated contrast primitive offers a gambling-free, psychologically grounded foundation for treating individual instances and multisets of propositions as credally interchangeable with disjunctions and multisets of their constituent atomic propositions.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.029
       
  • Electronic institutions and neural computing providing law-compliance
           privacy for trusting agents
    • Authors: Mar Lopez; Javier Carbo; Jose M. Molina; Juanita Pedraza
      Abstract: Publication date: Available online 14 November 2016
      Source:Journal of Applied Logic
      Author(s): Mar Lopez, Javier Carbo, Jose M. Molina, Juanita Pedraza
      In this paper we present an integral solution for law-compliance privacy-protection into trust models for agent systems. Several privacy issues are concerned into trust relationships. Specifically, we define which privacy rights must legally be guaranteed in trusting communities of agents. From them, we describe additional interaction protocols that are required to implement such guarantees. Next, we apply additional message exchanges into a specific application domain (the Agent Trust and Reputation testbed) using JADE agent platform. The decisions about how to apply these control mechanisms (about when to launch the corresponding JADE protocol) has been efficiently carried out by neural computing. It uses past behaviour of agents to decide (classify) which agents are worthy to share privacy with, considering which number of past interactions we should take into account. Furthermore, we also enumerate the corresponding privacy violations that would have taken place if these control mechanisms (in form of interaction protocols) were ignored or misused. From the possible existence of privacy violations, a regulatory structure is required to address (prevent and fix) the corresponding harmful consequences. We use Islander (an electronic institution editor) to formally define the scenes where privacy violation may be produced, attached to the ways to repair it: the defeasible actions that could voluntarily reduce or eliminate the privacy damage, and the obligations that the electronic institution would impose as penalties.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.019
       
  • Analysis of meteorological conditions in spain by means of clustering
           techniques
    • Authors: Ángel Arroyo; Álvaro Herrero; Verónica Tricio; Emilio Corchado
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): Ángel Arroyo, Álvaro Herrero, Verónica Tricio, Emilio Corchado
      A comprehensive analysis of clustering techniques is presented in this paper through their application to data on meteorological conditions. Six partitional and hierarchical clustering techniques (k-means, k-medoids, SOM k-means, Agglomerative Hierarchical Clustering, and Clustering based on Gaussian Mixture Models) with different distance criteria, together with some clustering evaluation measures (Calinski-Harabasz, Davies-Bouldin, Gap and Silhouette criterion clustering evaluation object), present various analyses of the main climatic zones in Spain. Real-life data sets, recorded by AEMET (Spanish Meteorological Agency) at four of its weather stations, are analyzed in order to characterize the actual weather conditions at each location. The clustering techniques process the data on some of the main daily meteorological variables collected at these stations over six years between 2004 and 2010.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.026
       
  • Fuzzy system for intelligent word recognition using a regular grammar
    • Authors: David Álvarez; Ramón Fernández; Lidia Sánchez
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): David Álvarez, Ramón Fernández, Lidia Sánchez
      We present a new approach for off-line intelligent word recognition based on a fuzzy classification model. First, we segment a word into its single characters, and label each pixel as vertical or as horizontal so that we can group all the pixels into vertical or horizontal strokes. Then, we use dynamic zoning to obtain the locations of the connections between the vertical strokes – which are the main strokes – and the horizontal ones. These features let us construct the representative string of a character using a regular grammar and, subsequently, use a Deterministic Finite Automaton to check them out. To accomplish the recognition, we use a Fuzzy Lattice Reasoning classifier. The combination of the representative strings and the fuzzy classifier provides promising performance rates.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.023
       
  • Factored performance functions and decision making in continuous time
           Bayesian networks
    • Authors: Liessman Sturlaugson; Logan Perreault; John W. Sheppard
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): Liessman Sturlaugson, Logan Perreault, John W. Sheppard
      The continuous time Bayesian network (CTBN) is a probabilistic graphical model that enables reasoning about complex, interdependent, and continuous-time subsystems. The model uses nodes to denote subsystems and arcs to denote conditional dependence. This dependence manifests in how the dynamics of a subsystem changes based on the current states of its parents in the network. While the original CTBN definition allows users to specify the dynamics of how the system evolves, users might also want to place value expressions over the dynamics of the model in the form of performance functions. We formalize these performance functions for the CTBN and show how they can be factored in the same way as the network, allowing what we argue is a more intuitive and explicit representation. For cases in which a performance function must involve multiple nodes, we show how to augment the structure of the CTBN to account for the performance interaction while maintaining the factorization of a single performance function for each node. We introduce the notion of optimization for CTBNs, and show how a family of performance functions can be used as the evaluation criteria for a multi-objective optimization procedure.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.030
       
  • Hierarchical beam search for solving most relevant explanation in Bayesian
           networks
    • Authors: Xiaoyuan Zhu; Changhe Yuan
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): Xiaoyuan Zhu, Changhe Yuan
      Most Relevant Explanation (MRE) is an inference problem in Bayesian networks that finds the most relevant partial instantiation of target variables as an explanation for given evidence. It has been shown in recent literature that it addresses the overspecification problem of existing methods, such as MPE and MAP. In this paper, we propose a novel hierarchical beam search algorithm for solving MRE. The main idea is to use a second-level beam to limit the number of successors generated by the same parent so as to limit the similarity between the solutions in the first-level beam and result in a more diversified population. Three pruning criteria are also introduced to achieve further diversity. Empirical results show that the new algorithm outperforms local search and regular beam search.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.028
       
  • Enhancing smart-home environments using Magentix2
    • Authors: S. Valero; E. del Val; J. Alemany; V. Botti
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): S. Valero, E. del Val, J. Alemany, V. Botti
      Multi-agent system paradigm has been envisioned as an appropriate solution for challenges in the area of smart-environments . Specifically, MAS add new capabilities such as adaption, reorganization, learning, coordination, etc. These features allow to deal with open issues in the context of smart-homes such as multi-occupancy, activity tracking or profiling activities and behaviors from multiple residents. In this paper, we present Magentix2 as a suitable MAS platform for the development of dynamic smart environments. Specifically, the use of Magentix2 1 facilitates the management of the multiple occupancy in smart living spaces. Normative virtual organizations provide the possibility of defining a set of norms and organizational roles that facilitate the regulation and control of the actions that can be carried out by internal and external agents depending on their profile. Moreover, Magentix2 provides a tracing service to keep track of activities carried out in the system. We illustrate the applicability and benefits of Magentix2 in a set of scenarios in the context of smart-homes.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.022
       
  • Parameter selection based on fuzzy logic to improve UAV path-following
           algorithms
    • Authors: Pablo Garcia-Aunon; Matilde Santos Peñas; Jesus Manuel de la Cruz García
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): Pablo Garcia-Aunon, Matilde Santos Peñas, Jesus Manuel de la Cruz García
      In order to steer an Unmanned Aerial Vehicle (UAV) and make it follow a desired trajectory, a high level controller is needed. Depending on the control algorithm, one or more parameters have to be tuned, having their values high impact on the performance. In most of the works, these parameters are taken as constant. In this paper, we apply fuzzy logic to select the parameters of the control law and compare this approach with the tuning by constant parameters and with another adjusting method based on the kinematic analysis of the equations of the UAV. After many simulations of the quadrotor following randomly generated paths, we have proved that the fuzzy tuning law is not only a good and feasible solution, but also more general as it can be applied to any trajectory.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.025
       
  • One-dimensional vs. two-dimensional based features: Plant identification
           approach
    • Authors: Alaa Tharwat; Tarek Gaber; Aboul Ella Hassanien
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): Alaa Tharwat, Tarek Gaber, Aboul Ella Hassanien
      The number of endangered species has been increased due to shifts in the agricultural production, climate change, and poor urban planning. This has led to investigating new methods to address the problem of plant species identification/classification. In this paper, a plant identification approach using 2D digital leaves images was proposed. The approach used two features extraction methods based on one-dimensional (1D) and two-dimensional (2D) and the Bagging classifier. For the 1D-based methods, Principal Component Analysis (PCA), Direct Linear Discriminant Analysis (DLDA), and PCA+LDA techniques were applied, while 2DPCA and 2DLDA algorithms were used for the 2D-based method. To classify the extracted features in both methods, the Bagging classifier, with the decision tree as a weak learner was used. The five variants, i.e. PCA, PCA+LDA, DLDA, 2DPCA, and 2DLDA, of the approach were tested using the Flavia public dataset which consists of 1907 colored leaves images. The accuracy of these variants was evaluated and the results showed that the 2DPCA and 2DLDA methods were much better than using the PCA, PCA+LDA, and DLDA. Furthermore, it was found that the 2DLDA method was the best one and the increase of the weak learners of the Bagging classifier yielded a better classification accuracy. Also, a comparison with the most related work showed that our approach achieved better accuracy under the same dataset and same experimental setup.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.021
       
  • Summarizing information by means of causal sentences through causal graphs
    • Authors: C. Puente; A. Sobrino; J.A. Olivas; E. Garrido
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): C. Puente, A. Sobrino, J.A. Olivas, E. Garrido
      The objective of this work is to propose a complete system able to extract causal sentences from a set of text documents, select the causal sentences contained, create a causal graph in base to a given concept using as source these causal sentences, and finally produce a text summary gathering all the information connected by means of this causal graph. This procedure has three main steps. The first one is focused in the extraction, filtering and selection of those causal sentences that could have relevant information for the system. The second one is focused on the composition of a suitable causal graph, removing redundant information and solving ambiguity problems. The third step is a procedure able to read the causal graph to compose a suitable answer to a proposed causal question by summarizing the information contained in it.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.020
       
  • Algebraic model counting
    • Authors: Angelika Kimmig; Guy Van den Broeck; Luc De Raedt
      Abstract: Publication date: Available online 15 November 2016
      Source:Journal of Applied Logic
      Author(s): Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
      Weighted model counting (WMC) is a well-known inference task on knowledge bases, and the basis for some of the most efficient techniques for probabilistic inference in graphical models. We introduce algebraic model counting (AMC), a generalization of WMC to a semiring structure that provides a unified view on a range of tasks and existing results. We show that AMC generalizes many well-known tasks in a variety of domains such as probabilistic inference, soft constraints and network and database analysis. Furthermore, we investigate AMC from a knowledge compilation perspective and show that all AMC tasks can be evaluated using sd-DNNF circuits, which are strictly more succinct, and thus more efficient to evaluate, than direct representations of sets of models. We identify further characteristics of AMC instances that allow for evaluation on even more succinct circuits.

      PubDate: 2016-11-16T05:23:43Z
      DOI: 10.1016/j.jal.2016.11.031
       
  • Logical Methods in Artificial Intelligence Aplications
    • Authors: Eva Armengol; Dionís Boixader; Francisco Grimaldo
      Abstract: Publication date: Available online 9 November 2016
      Source:Journal of Applied Logic
      Author(s): Eva Armengol, Dionís Boixader, Francisco Grimaldo


      PubDate: 2016-11-10T04:37:59Z
      DOI: 10.1016/j.jal.2016.11.001
       
  • A reward-based approach for preference modeling: A case study
    • Authors: Eva Armengol; Josep Puyol-Gruart
      Abstract: Publication date: Available online 9 November 2016
      Source:Journal of Applied Logic
      Author(s): Eva Armengol, Josep Puyol-Gruart
      Most of reasoning for decision making in daily life is based on preferences. As other kinds of reasoning processes, there are many formalisms trying to capture preferences, however none of them is able to capture all the subtleties of the human reasoning. In this paper we analise how to formalize the preferences expressed by humans and how to reason with them to produce rankings. Particularly, we show that qualitative preferences are best represented with a combination of reward logics and conditional logics. We propose a new algorithm based on ideas of similarity between objects commonly used in case-based reasoning. We see that the new approach produces rankings close to the ones expressed by users.

      PubDate: 2016-11-10T04:37:59Z
      DOI: 10.1016/j.jal.2016.11.006
       
  • Modeling Group Assessments by means of Hesitant Fuzzy Linguistic Term Sets
    • Authors: Jordi Montserrat-Adell; Núria Agell; Mónica Sánchez; Francesc Prats; Francisco Javier Ruiz
      Abstract: Publication date: Available online 9 November 2016
      Source:Journal of Applied Logic
      Author(s): Jordi Montserrat-Adell, Núria Agell, Mónica Sánchez, Francesc Prats, Francisco Javier Ruiz
      Hesitant linguistic term sets have been introduced to capture the human way of reasoning using linguistic expressions involving different levels of precision. In this paper, a lattice structure is provided to the set of hesitant fuzzy linguistic term sets by means of the operations intersection and connected union. In addition, in a group decision making framework, hesitant fuzzy linguistic descriptions are defined to manage situations in which decision makers are assessing different alternatives by means of hesitant fuzzy linguistic term sets. Based on the introduced lattice structure, two distances between hesitant fuzzy linguistic descriptions are defined. These metric structures allow distances between decision makers to be computed. A centroid of the decision making group is proposed for each distance to model group representatives in the considered group decision making framework.

      PubDate: 2016-11-10T04:37:59Z
      DOI: 10.1016/j.jal.2016.11.005
       
  • Structure features for SAT instances classification
    • Authors: Carlos Ansótegui; Maria Luisa Bonet; Jesús Giráldez-Cru; Jordi Levy
      Abstract: Publication date: Available online 9 November 2016
      Source:Journal of Applied Logic
      Author(s): Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
      The success of portfolio approaches in SAT solving relies on the observation that different SAT solvers may dramatically change their performance depending on the class of SAT instances they are trying to solve. In these approaches, a set of features of the problem is used to build a prediction model, which classifies instances into classes, and computes the fastest algorithm to solve each of them. Therefore, the set of features used to build these classifiers plays a crucial role. Traditionally, portfolio SAT solvers include features about the structure of the problem and its hardness. Recently, there have been some attempts to better characterize the structure of industrial SAT instances. In this paper, we use some structure features of industrial SAT instances to build some classifiers of industrial SAT families of instances. Namely, they are the scale-free structure, the community structure and the self-similar structure. First, we measure the effectiveness of these classifiers by comparing them to other sets of SAT features commonly used in portfolio SAT solving approaches. Then, we evaluate the performance of this set of structure features when used in a real portfolio SAT solver. Finally, we analyze the relevance of these features on the analyzed classifiers.

      PubDate: 2016-11-10T04:37:59Z
      DOI: 10.1016/j.jal.2016.11.004
       
  • Fuzzy microaggregation for the transparency principle
    • Authors: Torra
      Abstract: Publication date: Available online 9 November 2016
      Source:Journal of Applied Logic
      Author(s): Vicenç Torra
      Microaggregation has been proven to be an effective method for data protection in the areas of Privacy Preserving Data Mining (PPDM) and Statistical Disclosure Control (SDC). This method consists of applying a clustering method to the data set to be protected, and then replace each of the data by the cluster representative. In this paper we propose a new method for microaggregation based on fuzzy clustering. This new approach has been defined with the main goal of being non deterministic on the assignment of cluster centers to the original data, and at the same time being simple in its definition. Being nondeterministic permits us to overcome some of the attacks standard microaggregation suffers.

      PubDate: 2016-11-10T04:37:59Z
       
  • Characterisation of unidimensional averaged similarities
    • Authors: D. Boixader; J. Recasens
      Abstract: Publication date: Available online 9 November 2016
      Source:Journal of Applied Logic
      Author(s): D. Boixader, J. Recasens
      A T-indistinguishability operator (or fuzzy similarity relation) E is called unidimensional when it may be obtained from one single fuzzy subset (or fuzzy criterion). In this paper, we study when a T-indistinguishability operator that has been obtained as an average of many unidimensional ones is unidimensional too. In this case, the single fuzzy subset used to generate E is explicitly obtained as the quasi-arithmetic mean of all the fuzzy criteria primarily involved in the construction of E.

      PubDate: 2016-11-10T04:37:59Z
      DOI: 10.1016/j.jal.2016.11.003
       
  • On the existence of free models in fuzzy universal Horn classes
    • Authors: Vicent Costa; Pilar Dellunde
      Abstract: Publication date: Available online 10 November 2016
      Source:Journal of Applied Logic
      Author(s): Vicent Costa, Pilar Dellunde
      This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion of term structure associated to a set of formulas in the fuzzy context and we show the existence of free models in fuzzy universal Horn classes. We prove that every equality-free consistent universal Horn fuzzy theory has a Herbrand model.

      PubDate: 2016-11-10T04:37:59Z
      DOI: 10.1016/j.jal.2016.11.002
       
  • On the Applicability of the ‘Number of Possible States’ Argument in
           Multi–Expert Reasoning
    • Authors: Martin
      Abstract: Publication date: Available online 25 October 2016
      Source:Journal of Applied Logic
      Author(s): Martin Adamčík
      The aim of this paper is to explore the applicability of the ‘number of possible states’ argument in inferential problems in multi–expert reasoning. The argument is Bayesian and it is similar in spirit to the one used to derive the maximum entropy inference process. Under certain conditions a particular way of applying it surprisingly suggests that the weighted arithmetic mean should be used in meta–analysis with unexplained heterogeneity.

      PubDate: 2016-11-03T01:36:12Z
       
  • The structure of ideas in The Port Royal Logic
    • Authors: John N. Martin
      Abstract: Publication date: Available online 23 September 2016
      Source:Journal of Applied Logic
      Author(s): John N. Martin
      This paper addresses the degree to which The Port Royal Logic anticipates Boolean Algebra. According to Marc Dominicy the best reconstruction is a Boolean Algebra of Carnapian properties, functions from possible worlds to extensions. Sylvain Auroux's reconstruction approximates a non-complemented bounded lattice. This paper argues that it is anachronistic to read lattice algebra into the Port Royal Logic. It is true that the Logic treats extensions like sets, orders ideas under a containment relation, and posits mental operations of abstraction and restriction. It also orders species in a version of the tree of Porphyry, and allows that genera may be divided into species by privative negation. There is, however, no maximal or minimal idea. ion is not binary. Neither abstraction nor restriction is closed. Ideas under containment, therefore, do not form a lattice. Nor are the relevant formal properties of lattices discussed. Term negation is privative, not a complementation operation. The technical ideas relevant to the discussion are defined. The Logic's purpose in describing the structure was not to develop algebra in the modern sense but rather to provide a new basis for the semantics of mental language consistent with Cartesian metaphysics. The account was not algebraic, but metaphysical and psychological, based on the concept of comprehension, a Cartesian version of medieval objective being.

      PubDate: 2016-09-26T02:57:40Z
      DOI: 10.1016/j.jal.2016.09.002
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs
Your IP address: 54.204.185.107
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-2016