The paper is an attempt to summarize the previous works of the author on integrating deductive and abductive reasoning paradigms for solving the classification task. A two-tiered reasoning and learning architecture in which Case-Based Reasoning (CBR) used both as a corrective of the solutions inferred by a deductive reasoning system and as a method for accumulating and refining knowledge is bri...

There is a critical gap in attempting to predict aviation system performance between large-scale engineering-oriented simulations and human-in-the-loop experiments. In order to bridge this gap, we have constructed a model of a human pilot taxiing a commercial jetliner using ACT-R, a computational theory of human cognition and performance. The model was constructed on the basis of a task analysi...

People demonstrate systematic logical failures when reasoning about conditional statements. In the Wason selection task, a test typically interpreted as a measure of abstract deductive reasoning, only about 10% of participants choose the cards prescribed by deductive logic. One possibility is that people are simply bad at hypothesis testing – biased toward confirming rather than falsifying abst...

A method of deductive learning is developed to control deductive inference Our goal is to im prove problem solving time by experience when that experience monotonically adds knowledge to the knowledge base In particular for deductive reasoning systems where partial results are saved dur ing a derivation and at least some partial results are themselves deduction rules we suggest ways of taking m...

The influence of a secondary task on forward blocking of human contingency ratings was examined. A smaller blocking effect was found when participants performed a highly demanding secondary task than when they performed a less demanding secondary task. The modulatory effect of secondary task difficulty was significant only when the secondary task was administered during both the learning and th...

This paper describes a deductive approach to "region use" planning problems. The planning task is viewed as one of devising a complete set of policy rules by iteratively modifying the rules and making their deductive consequences readily available to the planner. The application of this approach to a National Park region zoning problem is also described. Central to the system are the representa...

We have constructed a deductive question answeri ng system which accepts natura l language input in Japanese. The semantic trees of aseert ional input sentences are stored in a semantic network and i n t e r re la t i onsh ips —cond i t i ona l , imp l i ca t i ona l , and so f o r t h — are establ ished among them. A matching rou t ine looks for the semantic trees which have some r e l a t i o...

The Propagation Rule Compiler (PROP) is a tool developed within task 2.4 \Tools for Rule Design and Analysis". It aims at supporting developers of Chimera applications during schema design and prototyping. PROP consists of two components: the rule compiler as such and an explanation facility. The task of the explanation facility is to graphically illustrate the logical dependencies established ...

This document is subject to BCP 78 and the IETF Trust’s Legal Provisions Relating to IETF Documents (http://trustee.ietf.org/license-info) in effect on the date of publication of this document. Please review these documents carefully, as they describe your rights and restrictions with respect to this document. Code Components extracted from this document must include Simplified BSD License text...

This document specifies the process that Certification Authorities (CAs) and Relying Parties (RPs) participating in the Resource Public Key Infrastructure (RPKI) will need to follow to transition to a new (and probably cryptographically stronger) algorithm set. The process is expected to be completed over a timescale of several years. Consequently, no emergency transition is specified. The tran...