mortal(X)) AND man(socrates).The literal "man(X)" is "negative". The literal "man(socrates)" could be considered to be on the right hand side of the degenerate implication True => man(socrates)and is therefore "positive". The two literals can be unified by the binding X = socrates.The truth table for t……">

翻訳と辞書 Words near each other ・ request for proposal ・ request for technology ・ required-cobol ・ requirements ・ requirements acquisition and controlled evolution ・ requirements analysis ・ requirements engineering ・ research systems, inc. ・ resedit ・ reserved memory ・ resolution ・ resolver ・ resource access control facility ・ resource description framework ・ resource fork ・ resource reservation protocol ・ restricted epl ・ restriction ・ restructured extended executor ・ restructuring Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク resolution ： FOLDOC resolution 1. the maximum number of pixels that can be displayed on a monitor, expressed as (number of horizontal pixels) x (number of vertical pixels), i.e., 1024x768. The ratio of horizontal to vertical resolution is usually 4:3, the same as that of conventional television sets. 2. A mechanical method for proving statements of first-order logic, introduced by J. A. Robinson in 1965. Resolution is applied to two clauses in a sentence. It eliminates, by unification, a literal that occurs "positive" in one and "negative" in the other to produce a new clause, the {resolvent}. For example, given the sentence: (man(X) => mortal(X)) AND man(socrates). The literal "man(X)" is "negative". The literal "man(socrates)" could be considered to be on the right hand side of the degenerate implication True => man(socrates) and is therefore "positive". The two literals can be unified by the binding X = socrates. The truth table for t スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.