Logical Inference (English) 1.0

להסיק (היקש לוגי (ים) באנגלית) היא תוכנה מסוגלת לעשות היקשים לוגיים המבוססים על משפטים פשוטים. לדוגמא, אם אנחנו סוג ב "ג 'ון ירה חגלה", התכנית תדפיס את "ג'ון הוא צייד". אם יקליד "ג'ון נישא אן", התכנית להדפיס את "ג'ון הוא בעלה של אן", "אן...
שנצפו לאחרונה תוכנה