Reasoning Model dari suatu sentence thd. suatu interpretasi : any world di mana dng. interpretasi yg. ada, sentence tsb. true.
{"Image DocumentName": "ReasoningModel dari suatu sentence thd. suatu interpretasi : any world di mana dng. interpretasi yg. ada, sentence tsb. true.", "Image ImageDescription": "Entailment (KB \uf047 \uf061) : KB entails a sentence \uf061 (KB menyebabkan \uf061) \uf066 \uf061 true utk. semua world di mana KB true (model(KB) \uf064 model(\uf061) true). Inference procedure : Dng. KB, dpt. men-generate sentence baru (\uf061 ) berdasarkan KB (KB \uf047 \uf061). Diberikan KB & sentence \uf061, dpt. menentukan apakah KB \uf047 \uf061. KB \uf064i \uf061 : inference procedure i menurunkan \uf061 dari KB. i sound/truth-preserving jk. : i selalu menurunkan sentence yg. entailed KB (KB \uf064i \uf061 \uf064 KB \uf047 \uf061).", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}