With the goal of producing explainable entailment decisions, and ultimately having the computer "understand" the sentences it is processing, we have been pursuing a (somewhat) "logical" approach to recognizing entailment. First our system performs semantic interpretation of the sentence pairs. Then, it tries to determine if the (logic for) the H sentence subsumes (i.e., is implied by) some infe...

Please cite this article in press as: S.A. Ludwig, doi:10.1016/j.knosys.2010.04.005 Knowledge engineering is a discipline concerned with constructing and maintaining knowledge bases to store knowledge of various domains and using the knowledge by automated reasoning techniques to solve problems in domains that ordinarily require human logical reasoning. Therefore, the two key issues in knowledg...

The blocking effect in causal learning, once taken as a hallmark of associative learning, has recently been explained in terms of an explicit deductive reasoning process. Yet when the conditions necessary for deduction are removed, a small blocking effect is often still present. We examined the relationship between blocking and participants’ performance on analytical thinking and probabilistic ...

It has been suggested that AI investigations of mechanical learning undermine sweeping anti-inductivist views in the theory of knowledge and the philosophy of science. In particular, it is claimed that some mechanical learning systems perform epistemically justified inductive generalization and prediction. Contrary to this view, it is argued that no trace of such epistemic justification is to b...

It has been suggested that AI investigations of mechanical learning undermine sweeping anti-inductivist views in the theory of knowledge and the philosophy of science. In particular, it is claimed that some mechanical learning systems perform epistemically justified inductive generalization and prediction. Contrary to this view, it is argued that no trace of such epistemic justification is to b...

OBJECTIVE Both classification and deductive reasoning are essential cognitive components underlying any learning process and, therefore, are important to assess in children with developmental or learning disabilities. The aim of this study was to establish construct-related validity of the Toglia Category Assessment (TCA) and the Deductive Reasoning test, which were originally developed to eval...

We introduce the language CP, a compositional language for place transition petri nets for the purpose of modelling complex biological systems. The language CP is especially well suited for modelling signalling pathways, where possibly interdependent events with different durations can co-occur. We give the operational semantics of the language CP by means of a proof theoretical deductive syste...

OBJECTIVE The purpose of this study was to examine the predictive relationship of categorization and deductive reasoning abilities to performance of instrumental activities of daily living (IADL) among adults with brain injury. METHOD A correlational research design was used to examine the performance of 19 patients from a neurosurgery acute care unit on Toglia's Category Assessment (TCA), th...

We extend a semantic verification framework for hybrid systems with the Isabelle/HOL proof assistant by an algebraic model program stores, shallow expression programs and their correctness specifications, domain-specific deductive calculational support. The new store yields clean separations dynamic local views of variables, e.g. discrete/continuous, mutable/immutable, program/logical, enhanced...