for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2235 journals)
    - CHEMICAL ENGINEERING (188 journals)
    - CIVIL ENGINEERING (178 journals)
    - ELECTRICAL ENGINEERING (102 journals)
    - ENGINEERING (1194 journals)
    - ENGINEERING MECHANICS AND MATERIALS (374 journals)
    - HYDRAULIC ENGINEERING (54 journals)
    - INDUSTRIAL ENGINEERING (60 journals)
    - MECHANICAL ENGINEERING (85 journals)

ENGINEERING (1194 journals)            First | 2 3 4 5 6 7 8 9 | Last

International Journal of Environmental Engineering     Hybrid Journal   (Followers: 5)
International Journal of Experimental Design and Process Optimisation     Hybrid Journal   (Followers: 4)
International Journal of Fatigue     Hybrid Journal   (Followers: 35)
International Journal of Flow Control     Full-text available via subscription   (Followers: 4)
International Journal of Foresight and Innovation Policy     Hybrid Journal   (Followers: 8)
International Journal of Fracture     Hybrid Journal   (Followers: 9)
International Journal of Geotechnical Engineering     Full-text available via subscription   (Followers: 5)
International Journal of Grid and Utility Computing     Hybrid Journal   (Followers: 1)
International Journal of Heat and Fluid Flow     Hybrid Journal   (Followers: 24)
International Journal of Heat and Mass Transfer     Hybrid Journal   (Followers: 112)
International Journal of Heavy Vehicle Systems     Hybrid Journal   (Followers: 8)
International Journal of Hypersonics     Full-text available via subscription   (Followers: 4)
International Journal of Imaging Systems and Technology     Hybrid Journal   (Followers: 1)
International Journal of Impact Engineering     Hybrid Journal   (Followers: 9)
International Journal of Information Acquisition     Hybrid Journal   (Followers: 1)
International Journal of Innovation and Applied Studies     Open Access   (Followers: 5)
International Journal of Innovation Science     Full-text available via subscription   (Followers: 8)
International Journal of Innovative Technology and Research     Open Access   (Followers: 1)
International Journal of Integrated Engineering     Open Access  
International Journal of Intelligent Engineering Informatics     Hybrid Journal  
International Journal of Intelligent Systems and Applications in Engineering     Open Access  
International Journal of Lifecycle Performance Engineering     Hybrid Journal   (Followers: 1)
International Journal of Machine Tools and Manufacture     Hybrid Journal   (Followers: 6)
International Journal of Manufacturing Research     Hybrid Journal   (Followers: 6)
International Journal of Manufacturing Technology and Management     Hybrid Journal   (Followers: 8)
International Journal of Materials and Product Technology     Hybrid Journal   (Followers: 3)
International Journal of Mathematical Education in Science and Technology     Hybrid Journal   (Followers: 8)
International Journal of Mathematics in Operational Research     Hybrid Journal   (Followers: 1)
International Journal of Medical Engineering and Informatics     Hybrid Journal   (Followers: 5)
International Journal of Micro Air Vehicles     Full-text available via subscription   (Followers: 5)
International Journal of Microwave and Wireless Technologies     Hybrid Journal   (Followers: 1)
International Journal of Microwave Science and Technology     Open Access   (Followers: 4)
International Journal of Mobile Network Design and Innovation     Hybrid Journal   (Followers: 2)
International Journal of Multiphase Flow     Hybrid Journal   (Followers: 4)
International Journal of Nanomanufacturing     Hybrid Journal  
International Journal of Nanoscience     Hybrid Journal  
International Journal of Nanotechnology     Hybrid Journal   (Followers: 6)
International Journal of Nanotechnology and Molecular Computation     Full-text available via subscription   (Followers: 3)
International Journal of Navigation and Observation     Open Access   (Followers: 13)
International Journal of Network Management     Hybrid Journal  
International Journal of Nonlinear Sciences and Numerical Simulation     Hybrid Journal  
International Journal of Numerical Methods for Heat & Fluid Flow     Hybrid Journal   (Followers: 8)
International Journal of Optics     Open Access   (Followers: 1)
International Journal of Organisational Design and Engineering     Hybrid Journal   (Followers: 6)
International Journal of Pattern Recognition and Artificial Intelligence     Hybrid Journal   (Followers: 7)
International Journal of Pavement Engineering     Hybrid Journal   (Followers: 3)
International Journal of Physical Modelling in Geotechnics     Hybrid Journal   (Followers: 3)
International Journal of Plasticity     Hybrid Journal   (Followers: 6)
International Journal of Plastics Technology     Hybrid Journal   (Followers: 1)
International Journal of Polymer Analysis and Characterization     Hybrid Journal   (Followers: 6)
International Journal of Polymer Science     Open Access   (Followers: 21)
International Journal of Precision Engineering and Manufacturing     Hybrid Journal   (Followers: 6)
International Journal of Precision Engineering and Manufacturing-Green Technology     Hybrid Journal  
International Journal of Precision Technology     Hybrid Journal  
International Journal of Pressure Vessels and Piping     Hybrid Journal   (Followers: 4)
International Journal of Production Economics     Hybrid Journal   (Followers: 14)
International Journal of Quality and Innovation     Hybrid Journal   (Followers: 5)
International Journal of Quality Assurance in Engineering and Technology Education     Full-text available via subscription   (Followers: 2)
International Journal of Quality Engineering and Technology     Hybrid Journal   (Followers: 2)
International Journal of Quantum Information     Hybrid Journal  
International Journal of Rapid Manufacturing     Hybrid Journal   (Followers: 4)
International Journal of Reliability, Quality and Safety Engineering     Hybrid Journal   (Followers: 9)
International Journal of Renewable Energy Technology     Hybrid Journal   (Followers: 10)
International Journal of Robust and Nonlinear Control     Hybrid Journal   (Followers: 3)
International Journal of Science Engineering and Advance Technology     Open Access  
International Journal of Sediment Research     Full-text available via subscription   (Followers: 2)
International Journal of Self-Propagating High-Temperature Synthesis     Hybrid Journal   (Followers: 2)
International Journal of Signal and Imaging Systems Engineering     Hybrid Journal  
International Journal of Six Sigma and Competitive Advantage     Hybrid Journal  
International Journal of Social Robotics     Hybrid Journal   (Followers: 2)
International Journal of Software Engineering and Knowledge Engineering     Hybrid Journal   (Followers: 2)
International Journal of Space Science and Engineering     Hybrid Journal   (Followers: 2)
International Journal of Speech Technology     Hybrid Journal   (Followers: 6)
International Journal of Spray and Combustion Dynamics     Full-text available via subscription   (Followers: 7)
International Journal of Surface Engineering and Interdisciplinary Materials Science     Full-text available via subscription   (Followers: 2)
International Journal of Surface Science and Engineering     Hybrid Journal   (Followers: 8)
International Journal of Sustainable Engineering     Hybrid Journal   (Followers: 7)
International Journal of Sustainable Manufacturing     Hybrid Journal   (Followers: 5)
International Journal of Systems and Service-Oriented Engineering     Full-text available via subscription  
International Journal of Systems Assurance Engineering and Management     Hybrid Journal  
International Journal of Systems, Control and Communications     Hybrid Journal   (Followers: 2)
International Journal of Technoethics     Full-text available via subscription   (Followers: 1)
International Journal of Technology Management and Sustainable Development     Hybrid Journal   (Followers: 1)
International Journal of Technology Policy and Law     Hybrid Journal   (Followers: 6)
International Journal of Telemedicine and Applications     Open Access   (Followers: 2)
International Journal of Thermal Sciences     Hybrid Journal   (Followers: 8)
International Journal of Thermodynamics     Open Access   (Followers: 4)
International Journal of Turbo & Jet-Engines     Hybrid Journal   (Followers: 2)
International Journal of Ultra Wideband Communications and Systems     Hybrid Journal  
International Journal of Vehicle Autonomous Systems     Hybrid Journal   (Followers: 1)
International Journal of Vehicle Design     Hybrid Journal   (Followers: 8)
International Journal of Vehicle Information and Communication Systems     Hybrid Journal   (Followers: 2)
International Journal of Vehicle Noise and Vibration     Hybrid Journal   (Followers: 3)
International Journal of Vehicle Safety     Hybrid Journal   (Followers: 5)
International Journal of Vehicular Technology     Open Access   (Followers: 5)
International Journal of Virtual Technology and Multimedia     Hybrid Journal   (Followers: 3)
International Journal of Wavelets, Multiresolution and Information Processing     Hybrid Journal  
International Journal on Artificial Intelligence Tools     Hybrid Journal   (Followers: 5)
International Nano Letters     Open Access   (Followers: 6)
International Review of Applied Sciences     Open Access  

  First | 2 3 4 5 6 7 8 9 | Last

Journal Cover Journal of Applied Logic
  [SJR: 0.936]   [H-I: 19]   [0 followers]  Follow
    
   Full-text available via subscription Subscription journal
   ISSN (Print) 1570-8683
   Published by Elsevier Homepage  [2801 journals]
  • Updating a progic
    • Abstract: Publication date: Available online 1 October 2015
      Source:Journal of Applied Logic
      Author(s): Eric Raidl
      This paper presents a progic, or probabilistic logic, in the sense of Haenni et al. [8]. The progic presented here is based on Bayesianism, as the progic discussed by Williamson [15]. However, the underlying generalised Bayesianism differs from the objective Bayesianism used by Williamson, in the calibration norm, and the liberalisation and interpretation of the reference probability in the norm of equivocation. As a consequence, the updating dynamics of both Bayesianisms differ essentially. Whereas objective Bayesianism is based on a probabilistic re-evaluation, orthodox Bayesianism is based on a probabilistic revision. I formulate a generalised and iterable orthodox Bayesian revision dynamics. This allows to define an updating procedure for the generalised Bayesian progic. The paper compares the generalised Bayesian progic and Williamson's objective Bayesian progic in strength, update dynamics and with respect to language (in)sensitivity.


      PubDate: 2015-10-11T19:08:06Z
       
  • Computing the Lagrangians of the standard model
    • Abstract: Publication date: Available online 3 October 2015
      Source:Journal of Applied Logic
      Author(s): S.A. Selesnick, J.P. Rawling
      Ordinary quantum logic has well known pathologies rendering it useless for the purposes of computation. However, loosely related logics, based upon variants of Girard's Linear Logic, have been found useful in the context of quantum computation. In one sense, the use of such computational schemes affords a meta level view of the possible provenance of certain expressions not otherwise apparent. Since such logics are presumed to encapsulate the essential behavior of quantum “resources” we may entertain the question as to whether this logical or computational approach could have any bearing upon quantum physics itself. In this article we address the question of the genesis of certain fundamental Lagrangians, namely those occurring in the standard model. If a certain set of sentences in a logic are added to the set of axioms of the logic the resulting structure is generally called a theory by logicians. In this paper we shall introduce a version of such a logic and deduce some of its physical ramifications. Namely, we will show that there is a single type of sequent that, when added to the logical calculus at hand as an axiom, generates in the theory so defined, series whose leading terms match exactly the Yang–Mills Lagrangian density (including a gauge fixing term) and also the Einstein–Hilbert Lagrangian density, most of the remaining terms being negligible at low intensities in both cases. By expanding the logic somewhat, in the manner of second quantization, we are able also to give an account of interaction terms in the Yang–Mills case. This shows that there is a common form ancestral to all the Lagrangians of the standard model in the ensemble of “evolutionary” trees provided by deductions in a certain clearly specified logic, and reveals the differences between the Yang–Mills and gravitational kinetic terms. Thus we acquire a new paradigm for “unification” of the fundamental forces at the level of the underlying logic.


      PubDate: 2015-10-11T19:08:06Z
       
  • A proof-theoretic universal property of determiners
    • Abstract: Publication date: Available online 11 September 2015
      Source:Journal of Applied Logic
      Author(s): Nissim Francez
      The paper highlights a difference between Model-Theoretic Semantics (MTS) and Proof-Theoretic Semantics (PTS) regarding the meanings of NL-realisable determiners. While MTS uses conservativity as a major filter on GQs as serving NL-realisable determiners' meanings, conservativity fails in serving as such a filter. According to the PTS rendering of conservativity, all determiners are conservative. Instead of conservativity, PTS methodology focuses on other criteria, originating from the inferential role of determiners as captured by the introduction and elimination rules of a meaning-conferring ND-system. The criteria considered in the paper are harmony, stability and purity of rules. The paper presents two examples of conservative “determiners” that can be excluded by the suggested criteria.


      PubDate: 2015-10-11T19:08:06Z
       
  • Possibilistic reasoning with partially ordered beliefs
    • Abstract: Publication date: Available online 10 September 2015
      Source:Journal of Applied Logic
      Author(s): Fayçal Touazi, Claudette Cayrol, Didier Dubois
      This paper presents the extension of results on reasoning with totally ordered belief bases to the partially ordered case. The idea is to reason from logical bases equipped with a partial order expressing relative certainty and to construct a partially ordered deductive closure. The difficult point lies in the fact that equivalent definitions in the totally ordered case are no longer equivalent in the partially ordered one. At the syntactic level we can either use a language expressing pairs of related formulas and axioms describing the properties of the ordering, or use formulas with partially ordered symbolic weights attached to them in the spirit of possibilistic logic. A possible semantics consists in assuming the partial order on formulas stems from a partial order on interpretations. It requires the capability of inducing a partial order on subsets of a set from a partial order on its elements so as to extend possibility theory functions. Among different possible definitions of induced partial order relations, we select the one generalizing necessity orderings (closely related to epistemic entrenchments). We study such a semantic approach inspired from possibilistic logic, and show its limitations when relying on a unique partial order on interpretations. We propose a more general sound and complete approach to relative certainty, inspired by conditional modal logics, in order to get a partial order on the whole propositional language. Some links between several inference systems, namely conditional logic, modal epistemic logic and non-monotonic preferential inference are established. Possibilistic logic with partially ordered symbolic weights is also revisited and a comparison with the relative certainty approach is made via mutual translations.


      PubDate: 2015-10-11T19:08:06Z
       
  • Bayesian networks for greenhouse temperature control
    • Abstract: Publication date: Available online 26 September 2015
      Source:Journal of Applied Logic
      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: 2015-10-11T19:08:06Z
       
  • SPECIAL ISSUE SOCO13-JAL
    • Abstract: Publication date: Available online 26 September 2015
      Source:Journal of Applied Logic
      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: 2015-10-11T19:08:06Z
       
  • Tableau reductions: Towards an optimal decision procedure for the modal
           necessity
    • Abstract: Publication date: Available online 28 September 2015
      Source:Journal of Applied Logic
      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: 2015-10-11T19:08:06Z
       
  • A small look at the ear recognition process using a hybrid approach
    • Abstract: Publication date: Available online 28 September 2015
      Source:Journal of Applied Logic
      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: 2015-10-11T19:08:06Z
       
  • Special issue: Combining probability and logic
    • Abstract: Publication date: Available online 28 September 2015
      Source:Journal of Applied Logic
      Author(s): Jürgen Landes, Jon Williamson
      This editorial explains the scope of the special issue and provides a thematic introduction to the contributed papers.


      PubDate: 2015-10-11T19:08:06Z
       
  • Borderlines and probabilities of borderlines: On the interconnection
           between vagueness and uncertainty
    • Abstract: Publication date: Available online 28 September 2015
      Source:Journal of Applied Logic
      Author(s): Jonathan Lawry
      We describe an integrated approach to vagueness and uncertainty within a propositional logic setting and based on a combination of three valued logic and probability. Three valued valuations are employed in order to model explicitly borderline cases and in this context we give an axiomatic characterisation of two well known three valued models; supervaluations and Kleene valuations. We then demonstrate the close relationship between Kleene valuations and a sub-class of supervaluations. Belief pairs are lower and upper measures on the sentences of the language generated from a probability distribution defined over a finite set of three valued valuations. We describe links between these measures and other uncertainty theories and we show the close relationship between Kleene belief pairs and a sub-class of supervaluation belief pairs. Finally, a probabilistic approach to conditioning is explored within this framework.


      PubDate: 2015-10-11T19:08:06Z
       
  • An intelligent fault detection system for a heat pump installation based
           on a geothermal heat exchanger
    • Abstract: Publication date: Available online 28 September 2015
      Source:Journal of Applied Logic
      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 probabilities 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 along 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 obtains good results in all the operating conditions ranges.


      PubDate: 2015-10-11T19:08:06Z
       
  • Lakatos's criticism of Carnapian inductive logic was mistaken
    • Abstract: Publication date: Available online 30 September 2015
      Source:Journal of Applied Logic
      Author(s): Teddy Groves
      In [39], Imre Lakatos influentially argued that Carnapian inductive logic was a degenerate research programme. This paper argues that Lakatos's criticism was mistaken and that, according to Lakatos's own standards, Carnapian inductive logic was progressive rather than degenerate.


      PubDate: 2015-10-11T19:08:06Z
       
  • Improving ontology-based text classification: An occupational health and
           security application
    • Abstract: Publication date: Available online 28 September 2015
      Source:Journal of Applied Logic
      Author(s): Nayat Sanchez-Pi, Luis Martí, Ana Cristina Bicharra Garcia
      Information retrieval has been widely study due to the growing amounts of textual information available electronically. Nowadays organizations and industries are facing the challenge of organizing, analyzing and extract 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 needs 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 [1] 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 use techniques terms and contrast the relevance of these techniques 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: 2015-10-11T19:08:06Z
       
  • Transitivity in coherence-based probability logic
    • Abstract: Publication date: Available online 30 September 2015
      Source:Journal of Applied Logic
      Author(s): Angelo Gilio, Niki Pfeifer, Giuseppe Sanfilippo
      We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected probabilistic versions of classical categorical syllogisms and construct a new version of the square of opposition in terms of defaults and negated defaults.


      PubDate: 2015-10-11T19:08:06Z
       
  • Measuring inaccuracy of uncertain doxastic states in many-valued logical
           systems
    • Abstract: Publication date: Available online 30 September 2015
      Source:Journal of Applied Logic
      Author(s): Pavel Janda
      I will propose an alternative philosophical approach to the representation of uncertain doxastic states. I will argue that the current account of measuring inaccuracy of uncertain doxastic states is inadequate for Belnap's four-valued logic. Specifically, a situation can be found in which either an inaccuracy measure returns a completely wrong result or an agent's inaccuracy score is inadequate relative to the mistake in her doxastic attitude. This will motivate an alternative representation of uncertain doxastic states based on ordered pairs. I will describe a possible inaccuracy measure that is suitable for ordered pairs, and I will show that it has all the qualities that are required for an inaccuracy measure to be legitimate. Finally, I will introduce conditions of rationality for uncertain doxastic states represented by ordered pairs.


      PubDate: 2015-10-11T19:08:06Z
       
  • Approximate postdictive reasoning with answer set programming
    • Abstract: Publication date: Available online 28 August 2015
      Source:Journal of Applied Logic
      Author(s): Manfred Eppe, Mehul Bhatt
      We present an answer set programming realization of the h-approximation ( HPX ) theory [8] as an efficient and provably sound reasoning method for epistemic planning and projection problems that involve postdictive reasoning. The efficiency of HPX stems from an approximate knowledge state representation that involves only a linear number of state variables, as compared to an exponential number for theories that utilize a possible-worlds based semantics. This causes a relatively low computational complexity, i.e, the planning problem is in NP under reasonable restrictions, at the cost that HPX is incomplete. In this paper, we use the implementation of HPX to investigate the incompleteness issue and present an empirical evaluation of the solvable fragment and its performance. We find that the solvable fragment of HPX is indeed reasonable and fairly large: in average about 85% of the considered projection problem instances can be solved, compared to a PWS -based approach with exponential complexity as baseline. In addition to the empirical results, we demonstrate the manner in which HPX can be applied in a real robotic control task within a smart home, where our scenario illustrates the usefulness of postdictive reasoning to achieve error-tolerance by abnormality detection in a high-level decision-making task.


      PubDate: 2015-09-01T10:00:16Z
       
  • A history based approximate epistemic action theory for efficient
           postdictive reasoning
    • Abstract: Publication date: Available online 28 August 2015
      Source:Journal of Applied Logic
      Author(s): Manfred Eppe, Mehul Bhatt
      We propose an approximation of the possible worlds semantics ( PWS ) of knowledge with support for postdiction – a fundamental inference pattern for diagnostic reasoning and explanation tasks in a wide range of real-world applications such as cognitive robotics, visual perception for cognitive vision, ambient intelligence and smart environments. We present the formal framework, an operational semantics, and an analysis of soundness and completeness results therefrom. The advantage of our approach is that only a linear number of state-variables are required to represent an agent's knowledge state. This is achieved by modeling knowledge as the history of a single approximate state, instead of using an exponential number of possible worlds like in Kripke semantics. That is, we add a temporal dimension to the knowledge representation which facilitates efficient postdiction. Since we consider knowledge histories, we call our theory h-approximation ( HPX ). Due to the linear number of state variables, HPX features a comparably low computational complexity. Specifically, we show that HPX can solve the projection problem in polynomial (tractable) time. It can solve planning problems in NP, while e.g. for the action language A k [48] this is Σ 2 P -complete. In addition to the temporal dimension of knowledge, our theory supports concurrent acting and sensing, and is in this sense more expressive than existing approximations.


      PubDate: 2015-09-01T10:00:16Z
       
  • Axiomatizing Lüttgen & Vogler's ready simulation for finite
           processes in CLLR
    • Abstract: Publication date: Available online 30 June 2015
      Source:Journal of Applied Logic
      Author(s): Yan Zhang , Zhaohui Zhu , Jinjin Zhang , Yong Zhou
      In the framework of logic labelled transition systems, a variant of weak ready simulation has been presented by Lüttgen and Vogler. It has been shown that such behavioural preorder is the largest precongruence w.r.t parallel and conjunction composition satisfying some desirable properties. This paper offers a ground-complete axiomatization for this precongruence over processes containing no recursion in the calculus CLL R . Compared with the usual inference systems for process calculi, in addition to axioms about process operators, such system contains a number of axioms to characterize the interaction between process operators and logical operators.


      PubDate: 2015-07-01T07:30:17Z
       
  • An examination of the SEP candidate analogical inference rule within pure
           inductive logic
    • Abstract: Publication date: Available online 16 June 2015
      Source:Journal of Applied Logic
      Author(s): E. Howarth , J.B. Paris , A. Vencovská
      Within the framework of (Unary) Pure Inductive Logic we investigate four possible formulations of a probabilistic principle of analogy based on a template considered by Paul Bartha in the Stanford Encyclopedia of Philosophy [1] and give some characterizations of the probability functions which satisfy them. In addition we investigate an alternative interpretation of analogical support, also considered by Bartha, based not on the enhancement of probability but on the creation of possibility.


      PubDate: 2015-06-20T05:43:26Z
       
  • Relativized common knowledge for dynamic epistemic logic
    • Abstract: Publication date: Available online 16 June 2015
      Source:Journal of Applied Logic
      Author(s): Yì N. Wáng , Thomas Ågotnes
      Relativized common knowledge is a generalization of common knowledge proposed for public announcement logic by treating knowledge update as relativization. Among other things relativized common knowledge, unlike standard common knowledge, allows reduction axioms for the public announcement operators. Public announcement logic can be seen as one of the simplest special cases of action model logic (AML). However, so far no notion of relativized common knowledge has been proposed for AML in general. That is what we do in this paper. We propose a notion of action model relativized common knowledge for action model logic, and study expressive power and complete axiomatizations of resulting logics. Along the way we fill some gaps in existing expressivity results for standard relativized common knowledge.


      PubDate: 2015-06-20T05:43:26Z
       
  • Logic programming as classical inference
    • Abstract: Publication date: Available online 16 June 2015
      Source:Journal of Applied Logic
      Author(s): Eric A. Martin
      We propose a denotational semantics for logic programming based on a classical notion of logical consequence which is apt to capture the main proposed semantics of logic programs. In other words, we show that any of those semantics can be viewed as a relation of the form T ⊨ ⋆ X where T is a theory which naturally represents the logic program under consideration together with a set of formulas playing the role of “hypotheses”, in a way which is dictated by that semantics, ⊨ ⋆ is a notion of logical consequence which is classical because negation, disjunction and existential quantification receive their classical meaning, and X represents what can be inferred from the logic program, or an intended interpretation of that logic program (such as an answer-set, its well-founded model, etc.). The logical setting we propose extends the language of classical modal logic as it deals with modal operators indexed by ordinals. We make use of two kinds of basic modal formulas: □ α φ which intuitively means that the logical program can generate φ by stage α of the generation process, and ◇ α □ β φ with α > β , which intuitively means that φ can be used as a hypothesis from stage β of the generation process onwards, possibly expecting to confirm φ by stage α (so expecting □ α φ to be generated). This allows us to capture Rondogiannis and Wadge's version of the well-founded semantics [1] where a member of the well-founded model is a closed atom which receives an ordinal truth value of true α or false α for some ordinal α: in our framework, this corresponds to having T ⊨ ⋆ □ α φ or T ⊨ ⋆ □ α ¬ φ , respectively, with T being the natural representation of the logic program under consideration and the right set of “hypotheses” as dictated by the well-founded semantics. The framework we present goes much beyond the proposed traditional semantics for logic programming, as it can for instance let us investigate under which conditions a set of hypotheses can be minimal, with each hypothesis being activated as late as possible and confirmed as soon as possible, setting the theoretical foundation to sophisticated ways of making local use of hypotheses in knowledge-based systems, while still being theoretically grounded in a classical notion of logical consequence.


      PubDate: 2015-06-20T05:43:26Z
       
  • Automatic grape bunch detection in vineyards with an SVM classifier
    • Abstract: Publication date: Available online 9 June 2015
      Source:Journal of Applied Logic
      Author(s): Scarlett Liu , Mark Whitty
      Precise yield estimation in vineyards using image processing techniques has only been demonstrated conceptually on a small scale. Expanding this scale requires significant computational power where, by necessity, only small parts of the images of vines contain useful features. This paper introduces an image processing algorithm combining colour and texture information and the use of a support vector machine, to accelerate fruit detection by isolating and counting bunches in images. Experiments carried out on two varieties of red grapes (Shiraz and Cabernet Sauvignon) demonstrate an accuracy of 88.0% and recall of 91.6%. This method is also shown to remove the restriction on the field of view and background which plagued existing methods and is a first step towards precise and reliable yield estimation on a large scale.


      PubDate: 2015-06-13T05:00:14Z
       
  • The eco-cognitive model of abduction Aπαγωγή
           now: Naturalizing the logic of abduction
    • Abstract: Publication date: Available online 26 May 2015
      Source:Journal of Applied Logic
      Author(s): Lorenzo Magnani
      Abduction ( , in ancient Greek, often translated with “leading away” or “reduction”) is a procedure in which something that lacks classical explanatory epistemic virtue can be accepted because it has virtue of another kind: [15] contend (GW-Schema) that abduction presents an ignorance-preserving or (ignorance-mitigating) character. From this perspective abductive reasoning is a response to an ignorance-problem; through abduction the basic ignorance – that does not have to be considered a total “ignorance” – is neither solved nor left intact. Abductive reasoning is an ignorance-preserving accommodation of the problem at hand. Is abduction really ignorance-preserving? To better answer this question I will introduce (and take advantage of) an eco-cognitive model (EC-Model) of abduction. It will be illustrated that through abduction, knowledge can be enhanced, even when abduction is not considered an inference to the best explanation in the classical sense of the expression, that is an inference necessarily characterized by an empirical evaluation phase, or an inductive phase, as Peirce called it. To further deepen the eco-cognitive character of abduction a simple genealogy of logic is provided: Aristotle clearly states that in syllogistic theory local/environmental cognitive factors – external to that peculiar inferential process, for example regarding users/reasoners, are given up. Indeed, to define syllogism Aristotle first of all insists that all syllogisms are valid and contends that the necessity of this kind of reasoning is related to the circumstance that “no further term from outside is needed”, in sum syllogism is the fruit of a kind of eco-cognitive immunization. At the same time Aristotle presents a seminal perspective on abduction: the second part of the article considers the famous passage in the chapter B25 of Prior Analytics concerning (“leading away”), also studied by Peirce. I contend that some of the current well-known distinctive characters of abductive cognition are already expressed, which are in tune with the EC-Model. By providing an illustration of the role of the method of analysis and of the middle terms in Plato's dialectic argumentation, considered as related to the diorismic/poristic process in ancient geometry – also, later on, emphasized by Proclus – I maintain that it is just this intellectual heritage which informs Aristotle' chapter B25 on . Even if, in general, Aristotle seems to sterilize, thanks to the invention of syllogistic theory, every “dialectic” background of reasoning, nevertheless in chapter B25 he is still pointing to the fundamental inferential role in reasoning of those externalities that substantiate the process of “leading away” ( ). Hence, we can gain a new positive perspective about the “constitutive” eco-cognitive character of abduction, just thanks to Aristotle himself. Finally, the paper presents an excursus on Aristotle's enthymemes from signs, disregarded by Peirce, but extremely important to stress the Aristotelian treatment of what I have called selective abduction. A forthcoming companion paper ([35]) will further deepen the EC-Model of abduction stressing stricter logical aspects: the first result will be that, contrarily to the classical logical view, relevance and plausibility in abductive reasoning have to be relativized and so the epistemologically embarrassing concepts of irrelevance and implausibility exculpated: they are not always offensive to reason.


      PubDate: 2015-05-29T02:58:08Z
       
  • A concept approach to input/output logic
    • Abstract: Publication date: Available online 24 April 2015
      Source:Journal of Applied Logic
      Author(s): Audun Stolpe
      This paper provides a semantics for input/input output logic based on formal concept analysis. The central result shows that an input/output logic axiomatised by a relation R is the same as the logic induced by deriving pairs from the concept lattice generated by R using a ∧- and ∨-classical Scott consequence relation. This correspondence offers powerful analytical techniques for classifying, visualising and analysing input/output relations, revealing implicit hierarchical structure and/or natural clusterings and dependencies. The application of all formal developments are illustrated by a worked example towards the end.


      PubDate: 2015-05-16T01:04:45Z
       
  • Topological FLew-algebras
    • Abstract: Publication date: Available online 5 May 2015
      Source:Journal of Applied Logic
      Author(s): Jean B. Nganou , Serge F.T. Tebu
      The main goal of this article is to introduce topological FL ew -algebras and study their main properties. We also treat completions of FL ew -algebras with respect to inductive family of filters. This work generalizes similar works on MV-algebras [10] and on FL ew -algebras equipped with uniform topologies [9].


      PubDate: 2015-05-16T01:04:45Z
       
  • Gödel spaces and perfect MV-algebras
    • Abstract: Publication date: Available online 15 May 2015
      Source:Journal of Applied Logic
      Author(s): Antonio Di Nola , Revaz Grigolia
      The category of Gödel spaces GS (with strongly isotone maps as morphisms), which are dually equivalent to the category of Gödel algebras, is transferred by a contravariant functor H into the category M V ( C ) G of MV-algebras generated by perfect MV-chains via the operators of direct products, subalgebras and direct limits. Conversely, the category M V ( C ) G is transferred into the category GS by means of a contravariant functor P . Moreover, it is shown that the functor H is faithful, the functor P is full and the both functors are dense. The description of finite coproduct of algebras, which are isomorphic to Chang algebra, is given. Using duality a characterization of projective algebras in M V ( C ) G is given.


      PubDate: 2015-05-16T01:04:45Z
       
  • On classifying abduction
    • Abstract: Publication date: Available online 11 April 2015
      Source:Journal of Applied Logic
      Author(s): Woosuk Park
      We can witness the recent surge of interest in classifying different patterns or types of abduction. Many philosophers have suggested their own classifications emphasizing different aspects of abduction. Such a development is remarkable, in view of the fact that until quite recently the focus of the research on Peircean abduction was to identify its logical form. Another agenda in the recent attempts to classify abduction is whether to allow non-explanatory abductions. In order to resolve these two closely related issues, I propose to examine how Peirce would have responded to them. In particular, I suggest to do this in connection with Peirce's another life-long project, the classification of sciences. In this examination, it will be shown that Peirce struggled with the problem of conflating induction and abduction. I shall discuss how this problem influenced both Peirce's views on the interrelationship between abduction, deduction, and induction on the one hand, and his many classifications of sciences on the other. Also, the implication of the fundamental change in Peirce's views of abduction, deduction, and induction to the problem of the classification of sciences will be uncovered. Finally, I shall discuss whether inference to the best explanation is abduction. Insofar as this problem has bearing on the two controversial issues in classifying abduction, my negative answer will demonstrate that classifying abduction is yet to get off the ground.


      PubDate: 2015-04-12T07:14:51Z
       
  • Towards the logic of projective identification
    • Abstract: Publication date: Available online 25 March 2015
      Source:Journal of Applied Logic
      Author(s): Andriy Vasylchenko
      This paper is devoted to the ‘logic of the unconscious’ and its application to the analysis of projective intentionality in psychoanalysis. Subjective assumptions concerning the existence and identity of intentional objects are often unconscious. They result from personal experience through its assimilation and transformation in further psychological (e.g. defensive) processes. Formal aspects of these subjective assumptions and their influence on our judgment and action have been studied by a number of psychoanalytic authors, in particular by Silvano Arieti, Ignacio Matte-Blanco and their followers who tried to develop ‘logic of the unconscious’. My project consists in the reformulation, clarification and elaboration of the logic of the unconscious using contemporary modal and relevant logics, in particular Graham Priest's logic of intentionality. An important advantage of this logic is that it allows for truth indeterminacy and paraconsistency of the propositional content of intentional states. In this article I explore the logic of projective identification, which I assume plays the central role in the logic of the unconscious. Special attention is given to the logical analysis of the notion of an internal object, and to a logical reconstruction of the phantasy of projective identification.


      PubDate: 2015-04-04T06:34:03Z
       
  • Using inductive reasoning for completing OCF-networks
    • Abstract: Publication date: Available online 18 March 2015
      Source:Journal of Applied Logic
      Author(s): Christian Eichhorn , Gabriele Kern-Isberner
      OCF-networks provide the possibility to combine qualitative information expressed by rankings of (conditional) formulas with the strong structural information of a network, in this respect being a qualitative variant of the better known Bayesian networks. Like for Bayesian networks, a global ranking function can be calculated quickly and efficiently from the locally distributed information, whereas the latter significantly reduces the exponentially high complexity of the semantical ranking approach. This qualifies OCF-networks for applications. However, in practical applications the provided ranking information may not be in the format needed to be represented by an OCF-network, or some values may be simply missing. In this paper, we present techniques for filling in the missing values using methods of inductive reasoning and we elaborate on formal properties of OCF-networks.


      PubDate: 2015-03-19T04:33:00Z
       
  • Editorial: Uncertain reasoning at FLAIRS
    • Abstract: Publication date: Available online 17 March 2015
      Source:Journal of Applied Logic
      Author(s): Christoph Beierle , Cory Butz , Souhila Kaci



      PubDate: 2015-03-19T04:33:00Z
       
  • Learning discrete Bayesian network parameters from continuous data
           streams: What is the best strategy?
    • Abstract: Publication date: Available online 18 March 2015
      Source:Journal of Applied Logic
      Author(s): Parot Ratnapinda , Marek J. Druzdzel
      We compare three approaches to learning numerical parameters of discrete Bayesian networks from continuous data streams: (1) the EM algorithm applied to all data, (2) the EM algorithm applied to data increments, and (3) the online EM algorithm. Our results show that learning from all data at each step, whenever feasible, leads to the highest parameter accuracy and model classification accuracy. When facing computational limitations, incremental learning approaches are a reasonable alternative. While the differences in speed between incremental algorithms are not large (online EM is slightly slower), for all but small data sets online EM tends to be more accurate than incremental EM.


      PubDate: 2015-03-19T04:33:00Z
       
  • Conflict-free and conflict-tolerant semantics for constrained
           argumentation frameworks
    • Abstract: Publication date: Available online 18 March 2015
      Source:Journal of Applied Logic
      Author(s): Ofer Arieli
      In this paper we incorporate integrity constraints in abstract argumentation frameworks. Two types of semantics are considered for these constrained frameworks: conflict-free and conflict-tolerant. The first one is a conservative extension of standard approaches for giving coherent-based semantics to argumentation frameworks, where in addition certain constraints must be satisfied. A primary consideration behind this approach is a dismissal of any contradiction between accepted arguments of the constrained frameworks. The second type of semantics preserves contradictions, which are regarded as meaningful and sometimes even critical for the conclusions. We show that this approach is particularly useful for assuring the existence of non-empty extensions and for handling contradictions among the constraints, in which cases conflict-free extensions are not available. Both types of semantics are represented by propositional sets of formulas and are evaluated in the context of three-valued and four-valued logics. Among others, we show a one-to-one correspondence between the models of these theories, the extensions, and the labelings of the underlying constrained argumentation frameworks.


      PubDate: 2015-03-19T04:33:00Z
       
  • On the complexity of bribery and manipulation in tournaments with
           uncertain information
    • Abstract: Publication date: Available online 18 March 2015
      Source:Journal of Applied Logic
      Author(s): Nicholas Mattei , Judy Goldsmith , Andrew Klapper , Martin Mundhenk
      We study the computational complexity of bribery and manipulation schemes for sports tournaments with uncertain information. We introduce a general probabilistic model for multi-round tournaments and consider several special types of tournament: challenge (or caterpillar); cup; and round robin. In some ways, tournaments are similar to the sequential pair-wise, cup and Copeland voting rules. The complexity of bribery and manipulation are well studied for elections, usually assuming deterministic information about votes and results. We assume that for tournament entrants i and j, the probability that i beats j and the costs of lowering each probability by fixed increments are known to the manipulators. We provide complexity analyses for several problems related to manipulation and bribery for the various types of tournaments. Complexities range from probabilistic log space to NP PP . This shows that the introduction of uncertainty into the reasoning process drastically increases the complexity of bribery problems in some instances.


      PubDate: 2015-03-19T04:33:00Z
       
  • Reflecting rules: A note on generalizing the deduction theorem
    • Abstract: Publication date: Available online 6 March 2015
      Source:Journal of Applied Logic
      Author(s): Gillman Payette
      The purpose of this brief note is to prove a limitative theorem for a generalization of the deduction theorem. I discuss the relationship between the deduction theorem and rules of inference. Often when the deduction theorem is claimed to fail, particularly in the case of normal modal logics, it is the result of a confusion over what the deduction theorem is trying to show. The classic deduction theorem is trying to show that all so-called ‘derivable rules’ can be encoded into the object language using the conditional. The deduction theorem can be generalized in the sense that one can attempt to encode all types of rules into the object language. When a rule is encoded in this way I say that it is reflected in the object language. What I show, however, is that certain logics which reflect a certain kind of rule must be trivial. Therefore, my generalization of the deduction theorem does fail where the classic deduction theorem didn't.


      PubDate: 2015-03-15T03:34:10Z
       
  • Automatic non-linear analysis of non-invasive writing signals, applied to
           essential tremor
    • Abstract: Publication date: Available online 6 March 2015
      Source:Journal of Applied Logic
      Author(s): K. Lopez-de-Ipiña , A. Bergareche , P. de la Riva , M. Faundez-Zanuy , P.M. Calvo , J. Roure , E. Sesa-Nogueras
      Essential tremor (ET) in the western world is the most common movement disorder, and 50–70% of essential tremor cases are estimated to be genetic in origin [1]. This work on selection of nonlinear biomarkers derived from drawings and handwriting is part of a wider cross-study for the diagnosis of essential tremor leaded by Biodonostia Institute. These biomarkers include not only classic linear features, but also non-linear: fractal dimension and entropy. The presence of integrated features of other diseases such as stress is also analyzed. In future works, these new biomarkers will be integrated with the ones obtained in the wider study of Biodonostia. Note that the use of these methods provide undoubted benefits towards the development of more sustainable, low cost, high quality, and non-invasive technologies. These systems are easily adaptable to the user and environment, and can be very useful in real complex environments with regard to a social and economic point of view.


      PubDate: 2015-03-15T03:34:10Z
       
  • The complement of a point subset in a projective space and a Grassmann
           space
    • Abstract: Publication date: September 2015
      Source:Journal of Applied Logic, Volume 13, Issue 3
      Author(s): Krzysztof Petelczyc , Mariusz Żynel
      In a projective space we fix some set of points, a horizon, and investigate the complement of that horizon. We prove, under some assumptions on the size of lines, that the ambient projective space, together with its horizon, both can be recovered in that complement. Then we apply this result to show something similar for Grassmann spaces.


      PubDate: 2015-03-15T03:34:10Z
       
  • Editorial Board
    • Abstract: Publication date: June 2015
      Source:Journal of Applied Logic, Volume 13, Issue 2, Part A




      PubDate: 2015-03-15T03:34:10Z
       
  • Simplified method based on an intelligent model to obtain the extinction
           angle of the current for a single-phase half wave controlled rectifier
           with resistive and inductive load
    • Abstract: Publication date: June 2015
      Source:Journal of Applied Logic, Volume 13, Issue 2, Part A
      Author(s): José Luis Calvo-Rolle , Héctor Quintian-Pardo , Emilio Corchado , María del Carmen Meizoso-López , Ramón Ferreiro García



      PubDate: 2015-03-15T03:34:10Z
       
  • Editorial: Weighted logics for artificial intelligence – 2
    • Abstract: Publication date: Available online 10 March 2015
      Source:Journal of Applied Logic
      Author(s): Lluis Godo , Henri Prade , Guilin Qi



      PubDate: 2015-03-15T03:34:10Z
       
  • Editorial Board
    • Abstract: Publication date: March 2015
      Source:Journal of Applied Logic, Volume 13, Issue 1




      PubDate: 2015-02-03T06:04:08Z
       
  • Equations for formally real meadows
    • Abstract: Publication date: Available online 26 January 2015
      Source:Journal of Applied Logic
      Author(s): Jan A. Bergstra , Inge Bethke , Alban Ponse
      We consider the signatures Σ m = ( 0 , 1 , − , + , ⋅ , − 1 ) of meadows and ( Σ m , s ) of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these signatures. In the first case, we extend the axiomatization of zero-totalized fields by a single axiom scheme expressing formal realness; the second axiomatization presupposes an ordering. We apply these completeness results in order to obtain complete axiomatizations of the complex numbers.


      PubDate: 2015-01-28T05:33:40Z
       
  • The fallacy of composition: Guiding concepts, historical cases, and
           research problems
    • Abstract: Publication date: Available online 20 January 2015
      Source:Journal of Applied Logic
      Author(s): Maurice A. Finocchiaro
      Although the fallacy of composition is little studied by theorists and trivially illustrated in textbooks, some view it as ubiquitous and highly significant. Furthermore, although definitions regard the concept as unproblematic, it contains three distinct elements that are often confused, and is often carelessly conflated with the fallacy of division. And although some apparently claim that fallacies are figments of a critic's imagination, they are really proposing to study fallacies in the context of meta-argumentation. Guided by these ideas, I find three important historical examples: Aristotle's geocentric argument from natural motion, as critiqued by Galileo; a step in the theological argument from design, as critiqued by Hume; and Michels's iron law of oligarchy, as critiqued by social scientists Dahl and Lipset. Finally, I formulate some problems for future research on compositional arguments: distinguishing incorrectness from fallaciousness; elaborating general principles of evaluation; clarifying the three distinct subtypes; shifting from the arbitrary pluralism of argument-identification to the normal meta-argumentation of argument-analysis; and further historical-empirical search for such fallacies in various controversies, over holism, over global warming, and over national debts.


      PubDate: 2015-01-23T05:04:29Z
       
 
 
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
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-2015