deduction Význam & definice

Příklady deduction

• Unlike traditional partial deduction, which considers only atoms for partial deduction, conjunctive partial deduction attempts to specialize entire conjunctions of atoms.

• If the knowledge base represents statements in some firstorder logic, then dialogue theory for design is simply a theorem prover for deduction in that logic.

• In this natural deduction reading, is considered an elimination and thus written postfix.

• Consequently, dialogue theory for design must be equipped with decision procedures based on rules that allow new assertions and invalidate old deductions.

• For instance, while classical partial deduction with (almost) determinate unfolding performs badly on highly nondeterministic programs, this is no longer true for conjunctive partial deduction.

• The proof makes use of some properties of deductions that allows us to construct new deductions from existing ones.

• This is easily verified because the statement holds for the equations in the aforementioned table, and is preserved by the rules of equational deduction.

• This survey and tutorial presents the main developments in controlling partial deduction over the past 10 years and analyses their respective merits and shortcomings.