منابع مشابه
Intervals and the Deduction
In the search for new drugs, it often occurs that the binding affinities of several compounds to a common receptor macromolecule are known experimentally, but the structure of the receptor is not known. This article describes an extraordinarily objective computer algorithm for deducing the important geometric and energetic features of the common binding site, starting only from the chemical str...
متن کاملBDDs and Automated Deduction
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists. We give an overview of BDDs from an automated deduction perspective, showing what can be done with them in propositional and first-order logic, and discuss the parallels to well-known methods like tableaux and resolu...
متن کاملNormalization in Supernatural deduction and in Deduction modulo
Deduction modulo and Supernatural deduction are two extentions of predicate logic with computation rules. Whereas the application of computation rules in deduction modulo is transparent, these rules are used to build non-logical deduction rules in Supernatural deduction. In both cases, adding computation rules may jeopardize proof normalization, but various conditions have been given in both ca...
متن کاملComputation and Deduction
ion and function application employ the notion of substitution. Recall the inference rule and its representation in LF: e1 ↪→ lam x. e1 e2 ↪→ v2 [v2/x]e1 ↪→ v ev app e1 e2 ↪→ v ev app : ΠE1:exp. ΠE2:exp. ΠE′ 1:exp→ exp. ΠV2:exp. ΠV :exp. eval E1 (lam E′ 1) → eval E2 V2 → eval (E′ 1 V2) V → eval (app E1 E2) V. As before, we transcribe this (and the trivial rule for evaluating λ-expressions) into...
متن کاملDeduction, Induction and Probabilistic
Elementary results concerning the connections between deductive relations and probabilistic support are given. These are used to show that Popper-Miller's result is a special case of a more general result, and that their result is not \very unexpected" as claimed. According to Popper-Miller, a purely inductively supports b only if they are \deductively independent"|but this means that :a ` b. H...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1891
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/os-xvi.64.507