نتایج جستجو برای: deduction

تعداد نتایج: 6306  

2005
Audun Jøsang Simon Pope Milan Daniel

Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical example of a conditional deduction rule, expresses a conditional relationship between an antecedent and a consequent. A generalisation of Modus Ponens to probabilities in the form of probabilistic conditional inference...

Journal: :Journal of Applied Logic 2006

Journal: :Studenckie Zeszyty Naukowe 2017

Journal: :Notre Dame Journal of Formal Logic 1971

Journal: :Memory & Cognition 1995

1994
Chiaki Sakama Hirohisa Seki

This paper presents a partial deduction method for disjunctive logic programs. We rst show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic programs, and show that it preserves the minimal model semantics of positive disjunctive programs, and the...

2006
Geoff Sutcliffe

Guidance systems are central to the success of automated deduction systems. Semantic guidance systems are guidance systems that exploit semantic information when guiding the search of a deduction system. The general objective of this research has been to investigate how semantic guidance can be used to improve the performance of automated deduction systems. More specifically, this research has ...

2015
NATHAN BAUER Nathan Bauer

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognit ive faculties. It is identified with Kant’s account of a threefol...

2005
Michael Gabbay Murdoch James Gabbay

In this paper we make some observations about Natural Deduction derivations [Prawitz, 1965, van Dalen, 1986, Bell and Machover, 1977]. We assume the reader is familiar with it and with proof-theory in general. Our development will be simple, even simple-minded, and concrete. However, it will also be evident that general ideas motivate our examples, and we think both our specific examples and th...

2003

Interpretation vs. Program Specialization At first sight abstract interpretation and program specialization might appear to be unrelated techniques: abstract interpretation focusses on correct and precise analysis, while the main goal of program specialization is to produce more efficient specialized code (for a given task at hand). Nonetheless, it is often felt that there is a close relationsh...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید