stanford-oval/wikipedia huggingface dataset:
لنس پرسیوال

| لنس پرسیوال | لنس پرسیوال |
| --- | --- |
زادهٔ: ۲۶ ژوئیهٔ ۱۹۳۳ سونوکس، انگلستان
درگذشت: ۶ ژانویهٔ ۲۰۱۵ (۸۱ سال) لندن، انگلستان
ملیت:  بریتانیایی
پیشه: هنرپیشه
سال‌های فعالیت: ۱۹۶۱ تا ۲۰۱۵
لنس پرسیوال (انگلیسی: Lance Percival؛ ۲۶ ژوئیهٔ ۱۹۳۳ – ۶ ژانویهٔ ۲۰۱۵) یک هنرپیشه اهل بریتانیا بود. وی بین سال‌های ۱۹۶۱ تا ۲۰۱۵ میلادی فعالیت می‌کرد.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به برای قهرمانان خیلی دیر است و زیردریایی زرد اشاره کرد.
گوبی سربزرگ

| گوبی سربزرگ> وضعیت حفاظت | گوبی سربزرگ> وضعیت حفاظت |
| --- | --- |
 کمترین نگرانی  (IUCN 3.1):  کمترین نگرانی  (IUCN 3.1)
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
رده:: پرتوبالگان
راسته:: سوف‌ماهی‌سانان
تیره:: گاوماهیان
گونه:: D. globiceps
نام دوبخشی: نام دوبخشی
Drombus globiceps : Drombus globiceps 
گوبی سربزرگ (نام علمی: Drombus globiceps) نام یک گونه از تیره گاوماهیان است.
ماریانا نمتووا-کرایچیرووا

ماریانا نمتووا-کرایچیرووا (چکی: Marianna Némethová-Krajčírová؛ زادهٔ ۱ ژوئن ۱۹۴۸) ژیمناست هنری زن اهل چکسلواکی بود.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال طلا، ۲ مدال نقره، ۳ مدال برنز شده‌است.
چاتاکووا (حوزه سرشماری)

| چاتاکووا (حوزه سرشماری)، نیویورک | چاتاکووا (حوزه سرشماری)، نیویورک |
| --- | --- |
حوزه سرشماری: حوزه سرشماری
ChautauquaLocation within the state of New York: ChautauquaLocation within the state of New York
مختصات: ۴۲°۱۲′۳۵″ شمالی ۷۹°۲۸′۰″ غربی﻿ / ﻿۴۲٫۲۰۹۷۲°شمالی ۷۹٫۴۶۶۶۷°غربی﻿ / 42.20972; -79.46667: مختصات: ۴۲°۱۲′۳۵″ شمالی ۷۹°۲۸′۰″ غربی﻿ / ﻿۴۲٫۲۰۹۷۲°شمالی ۷۹٫۴۶۶۶۷°غربی﻿ / 42.20972; -79.46667
کشور:  ایالات متحده آمریکا
ایالت: نیویورک
شهرستان: شهرستان چاتاکوآ، نیویورک
Town: Chautauqua
مساحت: مساحت
 • کل: ۰٫۴ مایل مربع (۱٫۱ کیلومتر مربع)
 • خشکی: ۰٫۴ مایل مربع (۱٫۱ کیلومتر مربع)
 • آب: ۰٫۰ مایل مربع (۰٫۰ کیلومتر مربع)
ارتفاع: ۱۳۵۰ فوت (۴۱۰ متر)
جمعیت (سرشماری ۲۰۱۰ ایالات متحده آمریکا): جمعیت (سرشماری ۲۰۱۰ ایالات متحده آمریکا)
 • کل: ۱۹۱
 • تراکم: ۴۴۷/مایل مربع (۱۷۲٫۷/کیلومتر مربع)
منطقهٔ زمانی: یوتی‌سی -۵ (منطقه زمانی شرقی)
 • تابستانی (DST): یوتی‌سی -۴ (EDT)
زیپ‌کد: ۱۴۷۲۲
کد منطقه: 716
کد FIPS: ۳۶–۱۴۰۵۸
شماره GNIS: ۰۹۴۶۴۵۹
چاتاکووا (به انگلیسی: Chautauqua) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در نیویورک واقع شده‌است. چاتاکووا ۱٫۱ کیلومتر مربع مساحت و ۱۹۱ نفر جمعیت دارد و ۴۱۱٫۴۹ متر بالاتر از سطح دریا واقع شده‌است.
لنارت استرند

لنارت استرند (انگلیسی: Lennart Strand; ۱۳ ژوئن ۱۹۲۱ – ۲۳ ژانویهٔ ۲۰۰۴) ورزشکار دو و میدانی اهل سوئد بود.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال طلا، ۱ مدال نقره شده‌است.
سرهی سربرننیکوف

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Serhiy Olekandrovych Serebrennikov
زادروز:  ۱ سپتامبر ۱۹۷۶ ‏(۴۸ سال)
زادگاه:  اولان‌اوده
قد:  ۱٫۸۶ متر (۶ فوت ۱ اینچ)
پست:  هافبک
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۹۲–۱۹۹۵ |  باشگاه فوتبال شینیک یاروسلاول |   |   |
| ۱۹۹۵–۱۹۹۶ |  Vympel Rybinsk |  ۸ |  (۱) |
| ۱۹۹۶–۱۹۹۸ |  Dynamo Vologda |  ۵۰ |  (۱۰) |
| ۱۹۹۸–۱۹۹۹ |  باشگاه فوتبال شینیک یاروسلاول |  ۳۰ |  (۸) |
| ۱۹۹۹–۲۰۰۲ |  باشگاه فوتبال دینامو کی‌یف |  ۳۰ |  (۸) |
| ۲۰۰۲–۲۰۰۷ |  باشگاه فوتبال کلوب بروژ |  ۲۹ |  (۱) |
| ۲۰۰۵–۲۰۰۶ |  ← باشگاه فوتبال رویال شارلوا (قرضی) |  ۱۲ |  (۱) |
| ۲۰۰۶–۲۰۰۷ |  ← باشگاه فوتبال سرکل بروژ |  ۱۶ |  (۱) |
| ۲۰۰۷–۲۰۱۱ |  باشگاه فوتبال سرکل بروژ |  ۱۳۷ |  (۱۱) |
| ۲۰۱۱–۲۰۱۴ |  SV Roeselare |  ۵۷ |  (۰) |
تیم ملی‡: تیم ملی‡
| ۲۰۰۱–۲۰۰۶ |  تیم ملی فوتبال اوکراین |  ۱۲ |  (۱) |
دوران مربیگری: دوران مربیگری
۲۰۱۱–۲۰۱۴:  SV Roeselare (player-coach)
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۲۹ مه ۲۰۱۱.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۵ سپتامبر ۲۰۰۷:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۲۹ مه ۲۰۱۱.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۵ سپتامبر ۲۰۰۷
سرهی سربرننیکوف (اوکراینی: Сергій Серебренніков؛ زادهٔ ۱ سپتامبر ۱۹۷۶) بازیکن فوتبال اهل اوکراین است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال شینیک یاروسلاول، باشگاه فوتبال رویال شارلوا، باشگاه فوتبال سرکل بروژ، باشگاه فوتبال دینامو کی‌یف، و باشگاه فوتبال کلوب بروژ اشاره کرد.
وی همچنین در تیم ملی فوتبال اوکراین بازی کرده‌است.
یابوکوواتس (نگوتین)

| یابوکوواتس (نگوتین) Јабуковац | یابوکوواتس (نگوتین) Јабуковац |
| --- | --- |
روستا: روستا
Monument to the fallen of the Wars: Monument to the fallen of the Wars
یابوکوواتس (نگوتین)Location in Serbia: یابوکوواتس (نگوتین)Location in Serbia
مختصات: ۴۴°۲۰′۵۶″ شمالی ۲۲°۲۲′۵۰″ شرقی﻿ / ﻿۴۴٫۳۴۸۸۹°شمالی ۲۲٫۳۸۰۵۶°شرقی﻿ / 44.34889; 22.38056: مختصات: ۴۴°۲۰′۵۶″ شمالی ۲۲°۲۲′۵۰″ شرقی﻿ / ﻿۴۴٫۳۴۸۸۹°شمالی ۲۲٫۳۸۰۵۶°شرقی﻿ / 44.34889; 22.38056
کشور:  صربستان
شهرداری: نگوتین
مساحت: مساحت
 • کل: ۸۹٫۸۱ کیلومتر مربع (۳۴٫۶۸ مایل مربع)
ارتفاع: ۱۹۳ متر (۶۳۳ فوت)
جمعیت (۲۰۰۲): جمعیت (۲۰۰۲)
 • کل: ۱۸۸۴
کد منطقه: ۰۱۹
وبگاه: http://www.jabukovac.net/
یابوکوواتس (به صربی: Jabukovac) یک منطقهٔ مسکونی در صربستان است که در ناحیه بور واقع شده‌است. یابوکوواتس ۸۹٫۸۱ کیلومتر مربع مساحت و ۱٬۸۸۴ نفر جمعیت دارد و ۱۹۳ متر بالاتر از سطح دریا واقع شده‌است.
ماسدورف

| ماسدورف   | ماسدورف   |
| --- | --- |
Stadtteil  of زودلیشس آنهالت: Stadtteil  of زودلیشس آنهالت
  نشان:   نشان
کشور: آلمان
ایالت: زاکسن-آنهالت
ناحیه: Anhalt-Bitterfeld
شهر: زودلیشس آنهالت
مساحت: مساحت
 • کل: ۴٫۳۴ کیلومتر مربع (۱٫۶۸ مایل مربع)
ارتفاع: ۸۵ متر (۲۷۹ فوت)
جمعیت (2006-12-31): جمعیت (2006-12-31)
 • کل: ۳۷۸
 • تراکم: ۸۷/کیلومتر مربع (۲۳۰/مایل مربع)
منطقهٔ زمانی: CET/CEST (UTC+1/+2)
کدهای پستی: 06388
کدهای شماره‌گیری: 034975
پلاک خودرو: ABI
ماسدورف (به آلمانی: Maasdorf) یک منطقهٔ مسکونی در آلمان است که در زودلیشس آنهالت واقع شده‌است. ماسدورف  ۳۷۸ نفر جمعیت دارد.
لا بول-اسکوبلاک

| لا بول-اسکوبلاک | لا بول-اسکوبلاک |
| --- | --- |
La Baule beach: La Baule beach
  نشان:   نشان
کشور: فرانسه
ناحیه: پی دو لا لوآر
دپارتمان: لوآر-آتلانتیک
بخش: Saint-Nazaire
کانتون: La Baule-Escoublac
کمون: Cap Atlantique
حکومت: حکومت
 • شهردار(2008–2014) : Yves Metaireau
مساحت۱: ۲۲٫۱۹ کیلومتر مربع (۸٫۵۷ مایل مربع)
جمعیت (2009)۲: ۱۶٬۲۳۵
 • تراکم: ۷۳۰/کیلومتر مربع (۱۹۰۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان اروپای مرکزی)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
کد آماری/کد پستی: 440055 /44500
ارتفاع: ۱–۵۵ متر (۳٫۳–۱۸۰٫۴ فوت)  (avg. ۶ متر یا ۲۰ فوت)
۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲: ۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲
لا بول-اسکوبلاک (به فرانسوی: La Baule-Escoublac) یک کمون در فرانسه است که در لوآر-آتلانتیک واقع شده‌است.
خصوصیات

لا بول-اسکوبلاک ۲۲٫۱۹ کیلومترمربع مساحت و ۱۶٬۲۳۵ نفر جمعیت دارد و ۶ متر بالاتر از سطح دریا واقع شده‌است.
خواهرخوانده

شهرهای کورفو و همبورگ (سار) خواهرخوانده‌های لا بول-اسکوبلاک هستند.
سامانه استدلال

در فناوری اطلاعات سامانهٔ استدلال یا سیستم استدلال خودکار، یک سیستم نرم‌افزاری است که از دانش در دسترس، با استفاده از تکنیک‌های منطقی مانند استدلال استنتاجی و استقراء، نتیجه تولید می‌کند. سامانهٔ استدلال نقش مهمی در پیاده‌سازی هوش مصنوعی و سامانه‌های دانش-بنیان دارد.
با استفاده از تعریف عبارت. تمام سیستم‌های کامپیوتری سیستم‌های استدلالی هستند که در همه آن‌ها به‌طور خودکار با تصمیم‌گیری منطقی. در استفاده از فناوری اطلاعات در این زمینه محسوب می‌شود. برای مثال برای سیستم‌های که نسبتاً ساده‌اند انواع استدلال مانند محاسبه مالیات بر فروش یا تخفیف مشتری استفاده می‌شود در مورد یک تشخیص پزشکی یا قضیه ریاضی از ساخت منطقی استنتاج استفاده می‌شود. استدلال سیستم‌های آمده در دو حالت: تعاملی و پردازش دسته‌ای‌اند. سیستم‌های تعاملی ایجاد رابط با کاربر با پرسش روشن یا در غیر این صورت اجازه می‌دهد تا کاربر به راهنمای استدلال رجوع کند. امکان اینکه پردازش دسته‌ای سیستم در تمام اطلاعات موجود و تولید بهترین پاسخ وجود دارد بدون بازخورد کاربر یا راهنمایی آن ممکن است.
استدلال سیستم از یک میدان گسترده‌ای از نرم‌افزار ساخته شده‌است که شامل برنامه‌ریزی‌های کسب و کار. کار پردازش حل مسئلههای پیچیده پردازش رویدادهای تشخیص نفوذ با predictive analytics های رباتیک با بینایی کامپیوتر و پردازش زبان طبیعی است.
تاریخچه

اولین استدلال سیستم قضیه provers است که نشان دهنده بدیهیات و اظهارات در منطق مرتبه اول است و سپس با استفاده از قواعد منطق مانند modus ponens برای پی بردن به اظهارات جدید بکار برده می‌شود. یکی دیگر از مشکلات نوع استدلال سیستم بود که به‌طور کلی حل شود. به‌طور کلی مشکل این سیستم حل طراحی‌هایی که توسط Newell و سیمون انجام شده بوده‌است؛ که راه حل آن اقدام به ارائه عمومی برنامه‌ریزی موتور است که می‌تواند نشان دهنده و حل مشکلات ساختار باشد. آن‌ها با تجزیه مشکلات به اجزا کوچکتر و قابل کنترل تر و مونتاژ جزئی تر. کار را ساده کردند، که می‌توان گفت پاسخ نهایی است؛ و با حل اکثر مشکلات خانواده‌های بزرگی از سیستم شروع به رشد کردند.
در عمل قضیه provers و این مشکل به‌طور کلی حل شد و به ندرت برای برنامه‌های کاربردی و تخصصی مورد نیاز کاربران با آگاهی از منطق به استفاده از اولین کاربرد عملی استدلال خودکار به وجود آمد کارشناس سیستم‌های خیلی متمرکز به تعریف دامنه‌ای از مشکل که به جای تلاش برای پیاده‌سازی طیف گسترده‌ای از عبارات منطقی آن‌ها باید بر اجرای روش-ponens تمرکز کرد. تمرکز بر روی یک دامنه خاص اجازه می‌دهد تنها با زیر مجموعه محدود منجر به بهبود عملکرد منطق این سیستم نسبت به سیستم‌های استدلال خودکار قبلی می‌شود. موتور مورد استفاده که به صورت خودکار. استدلال در سیستم‌های خبره را انجام می‌دهد به‌طور معمول به نام استنتاج موتور نام‌گزاری شده؛ که به‌طور معمول به نام قضیه خودکار.
با افزایش محبوبیت سیستم‌های جدید بسیاری از استدلال انواع خودکار به کار گرفته شد منجر به مشکلات متنوع در دولت و صنعت شد. برخی مانند case-based reasoning شدند که شاخه‌ای از سیستم‌های خبره پژوهش است. دیگران مانند محدودیت رضایت الگوریتم نیز متأثر از زمینه‌ها مانند تصمیم‌گیری فناوری و برنامه‌ریزی خطی اند و همچنین یک رویکرد کاملاً متفاوت و نه بر اساس استدلال نمادین اما در یک connectionist مدل نیز بسیار سازنده است. این نوع دوم از استدلال خودکار است به خصوص مناسب برای الگوی تطبیق و سیگنال تشخیص انواع مشکلات مانند متن جستجو و در صورت تطبیق است.
استفاده از منطق

اصطلاح استدلال سیستم می‌تواند مورد استفاده قرار گیرد در مورد هر نوع تصمیم‌گیری پیچیده یا توسط مناطق خاص که در ادامه توضیح داده خواهد شد. شایع‌ترین استفاده از سیستم استدلال کامپیوتراست که نماینده‌ای از منطق است. منطق‌های مختلف پیاده‌سازی شده تنوع قابل توجهی امانند سیستم‌های منطق و تشریفات. بسیاری از سیستم استدلال که پیاده‌سازی تغییرات حساب گزاره‌ای و نمادین (گزاره)که از نظر منطق نشان می‌دهد. این تغییرات ممکن است با ریاضی دقیق نمایندگی رسمی سیستم‌های منطقی (به عنوان مثال FOL) یا تمدید و هیبرید نسخه از این سیستم (به عنوان مثال مؤدب منطق). امکان در پیاده‌سازی منطق‌های اضافی نوع (به عنوان مثال معینبا deonticهای زمانی منطق) در سیستم استدلال ممکن است. بسیاری از استدلال پیاده‌سازی سیستم‌های مبهم و نیمه رسمی به تقریب رسمیت شناخته شده‌است. سیستم منطق این سیستم به‌طور معمول پشتیبانی کاری از انواع رویه و نیمه-تعریف تکنیک‌های به منظور مدل‌های مختلف استراتژی استدلال را بر عهده دارد
بسیاری از استدلال سیستم استخدام استدلال استقرایی به رسم استنتاج در دسترس دانش است. این استنتاج موتورهای پشتیبانی استدلالی هستند که به جلو یا رو به عقب برای پی بردن به نتیجه‌گیری از طریق وضع مقدم استدلال می‌کنند. این استدلال بازگشتی روش استخدام نامیده می‌شوند 'به جلو زنجیرهای «و»عقب مانده زنجیری'بود. اگر چه استدلال سیستم به‌طور گسترده‌ای پشتیبانی از استنتاج قیاسی در برخی از سیستم‌های استخدام abductive سلفیهای defeasible و انواع دیگر از استدلال است. ابتکارات نیز ممکن است به کار برای تعیین راه حل‌های قابل قبول به مشکلات مقاوماست.
استدلال تحت عدم قطعیت

بسیاری از استدلال ارائه قابلیت سیستم برای استدلال تحت عدم قطعیتاست. این مهم است که ساختمان استدلال عواملی است که باید در مقابله با نامشخصاتی از جهان باشد. چندین روش رایج برای رسیدگی به عدم قطعیت است. این شامل استفاده از یقین عوامل احتمالی به عنوان روش bayesian یا Dempster–Shafer theoryچند ارزش ('فازی'), منطق‌های مختلف و connectionist روش است.
انواع استدلال سیستم

این بخش ایجاد غیر جامع و غیررسمی طبقه‌بندی از انواع شایع استدلال سیستم می‌کند. این دسته‌بندی‌ها هستند و نه مطلق هست. آن‌ها با هم همپوشانی که دارند به درجه قابل توجهی و به اشتراک‌گذاری تعدادی از روش‌ها و الگوریتم‌های می‌رسد.
انواع استدلال سیستم > محدودیت solvers

حل محدودیت ر مشکلات (CSPs). محدودیت‌های برنامه‌نویسی یک محدودیت و یک بیماری است که باید راه حل برای مشکل پیدا شود. محدودیت‌های تعریف شده اعلانی و کاربردی به متغیرهای داخل با توجه به دامنه. محدودیت حل استفاده از جستجوهای پس گرد و محدودیت انتشار تکنیک‌هایی برای پیدا کردن راه حل و تعیین راه حل مطلوب استفاده شود. استخدام فرم خطی و غیر خطی برنامه‌نویسی ممکن است اغلب برای انجام بهینه‌سازی در درون بسیار ترکیبیاتی مشکل فضاهای استفاده شود. برای مثال آن‌ها ممکن است مورد استفاده برای محاسبه بهینه برنامه‌ریزی و طراحی کارآمد مدارهای یکپارچه یا به حداکثر رساندن بهره‌وری در فرایند تولید بکار برده شود.
انواع استدلال سیستم > قضیه provers

قضیه provers استفاده از استدلال خودکار تکنیک برای تعیین اثبات قضایای ریاضی است؛ که ممکن است به منظور بررسی اثبات استفاده قرار گیرد. در علاوه برنامه‌های کاربردی معمولی از قضیه provers می‌توان از تأیید صحت مدارهای یکپارچه، نرم‌افزار، طرح‌های مهندسی، استفاده کرد
انواع استدلال سیستم > منطق برنامه

منطق برنامه (LPs) نرم‌افزار برنامه‌های نوشته شده با استفاده از زبان‌های برنامه‌نویسی که شکل‌های هندسی اولیه و عبارات ارائه خدمات مستقیم به نمایندگی از سازه‌های کشیده شده از منطق ریاضی است. یک مثال از یک منظوره منطق زبان برنامه‌نویسی Prolog. LPs نمایندگی مستقیم نرم‌افزار از منطق برنامه‌نویسی برای حل مشکلات است. منطق برنامه‌نویسی است که از ویژگی‌های بسیار اعلانی روش مبتنی بر منطق صوری و دارای کاربرد گسترده‌ای در بسیاری از رشته‌ها است.
انواع استدلال سیستم > حکومت موتورهای

حکومت موتورهای نشان دهنده منطق شرطی به عنوان قوانین گسسته‌است؛ که از مجموعه‌ای از قانون‌ها اداره می‌شود و اعمال می‌شود به‌طور جداگانه به قابلیت دیگر آن‌ها کاربرد گسترده‌ای در بسیاری از حوزه‌ها دارد. بسیاری از حکومت موتورهای اجرای استدلال قابلیت‌های. یک روش معمول را داراست که پیاده‌سازی سیستم‌های تولید برای حمایت از جلو یا رو به عقب زنجیری را داراست؛ که به هر قاعده ('تولید') متصل می‌شود و یک رابطه از گزاره بند به یک لیست از اقدامات اجرایی است. اگر این اقدامات حذف یا تغییر هر گونه حقایق یا دفاع از حقایق جدید در موتور بلافاصله محاسبه دوباره مجموعه‌ای از مسابقات است. حکومت موتورهایی هستند که به‌طور گسترده‌ای استفاده می‌شود به مدل و اعمال قوانین کسب و کاربرای کنترل و تصمیم‌گیری در فرایندهای خودکار و به اجرای کسب و کار و ویژگی‌های سیاست امورد استفاده است.
انواع استدلال سیستم > قیاسی طبقه‌بندی

قیاسی طبقه به وجود آمد و کمی بعد از حکومت مبتنی بر سیستم و یک جزء از یک نوع جدید از هوش مصنوعی است که دانش نمایندگی ابزار شناخته شده به عنوان قاب زبان. یک قاب زبان توصیف مشکل دامنه به عنوان یک مجموعه‌ای از کلاس‌های مشتق و روابط میان طبقات است. آن است که شبیه به شی گرا، بر خلاف شی گرا مدل‌های این قاب زبان رسمی معانی بر اساس منطق مرتبه اول است. از این معانی به ارائه ورودی به قیاسی طبقه‌بندی استفاده می‌شود. طبقه‌بندی به نوبه خود می‌تواند تجزیه و تحلیل داده (شناخته شده به عنوان یک هستی‌شناسی) و تعیین اگر روابط مختلف شرح داده شده در این مدل سازگار هستند. اگر هستی‌شناسی است که مطابق طبقه‌بندی برجسته اعلامیه که متناقض هستند. اگر هستی‌شناسی است که مطابق طبقه‌بندی می‌دهند بیشتر استدلال و قرعه کشی‌های اضافی نتیجه‌گیری در مورد روابط اشیاء در هستی‌شناسی. برای مثال ممکن است تعیین کند که یک شی است که در واقع یک زیرگروه یا instance از کلاس‌های اضافی به عنوان کسانی که شرح داده شده توسط کاربر. طبقه‌بندی هستند مهم فناوری در تجزیه و تحلیل هستی‌شناسی مورد استفاده برای توصیف مدل در وب معناییاست.
انواع استدلال سیستم > یادگیری ماشین و سیستم

یادگیری ماشین. سیستم تکامل و رفتار خود در طول زمان بر اساس تجربهاست. این ممکن است شامل استدلال بیش از مشاهده وقایع یا به عنوان مثال داده‌های ارائه شده برای اهداف آموزشی. برای مثال یادگیری ماشین سیستم ممکن است استفاده از استقرا به تولید فرضیه برای مشاهده حقایق است. آموزش سیستم‌های جستجو به صورت کلی قوانین یا توابع است که نتایج عملکرد با مشاهدات و سپس با استفاده از این تعمیم به کنترل رفتار آینده است.
انواع استدلال سیستم > Case-based reasoning سیستم

((Case-based reasoning (CBR) سیستم‌های که ارائه راه حل برای مشکلات با تجزیه و تحلیل شباهت به دیگر مشکلات است که برای آن راه حل‌های شناخته شده در حال حاضر وجود دارد. آن‌ها با استفاده از آنالوگ استدلال برای پی بردن به راه حل‌های مبتنی بر مورد تاریخ. CBR سیستم معمولاً استفاده می‌شود .ویژگی‌های پشتیبانی و مرکز تماس حالات و برنامه‌های کاربردی درساخت‌های صنعتی و کشاورزی و بسیاری از مناطق دیگر.
انواع استدلال سیستم > رویه استدلال سیستم

یک رویه استدلال سیستم (PRS) با استفاده از استدلال تکنیک‌های انتخاب برنامه از یک رویه دانش پایه است؛ که هر طرح نشان دهنده یک دوره از عمل برای دستیابی به یک هدف است؛ و این که پیاده‌سازی PRS یک باوراست. استدلال بیش از حقایق ('باورهای') برای انتخاب برنامه‌های مناسب ('اهداف') با توجه به اهداف ('خواسته') شده. در برنامه‌های کاربردی معمولی از PRS شامل مدیریت نظارت و تشخیص خطا در سیستم‌ها است.
سخنی از عشق (فیلم)

سخنی از عشق فیلمی مصری به کارگردانی علی ادریس با بازی یسری ساخته سال ۲۰۰۵ است و در سال ۲۰۰۶ به نمایش درآمد.
خلاصهٔ فیلم

ناهد المطلقه به عنوان پیشخدمت در یک اسنک‌بار (میان‌وعده‌فروشی) کار می‌کند و تجربه‌های عاطفی شکست خورده‌ای داشته‌است که هربار که با مرد جوانی آشنا می‌شود، او به خارج از کشور مهاجرت می‌کند.
دست‌اندرکاران

کارگردانان: علی ادریس (کارگردان) و وائل ماندور (دستیار کارگردان)
نویسندگان: زینب عزیز (داستان‌نویس، فیلمنامه‌نویس و دیالوگ‌نویس)
بازیگران

یسری
حنان ترک
هشام سلیم
عمرو واکد
طلعت زکریا
ادوارد
بشری رزه
احمد کمال
سامی العدل
عبدالله مشرف
تامر عبدالمنعم
رانیا فرید شوقی
محمد سلام
دریاچه سن پیر

| دریاچه سن پیر | دریاچه سن پیر |
| --- | --- |
View on the lake from Pointe-du-Lac (a sector of Trois-Rivières): View on the lake from Pointe-du-Lac (a sector of Trois-Rivières)
دریاچه سن پیر: دریاچه سن پیر
موقعیت: Canada, Quebec
مختصات: ۴۶°۱۲′۱۵″ شمالی ۷۲°۴۹′۵۶″ غربی﻿ / ﻿۴۶٫۲۰۴۱۷°شمالی ۷۲٫۸۳۲۲۲°غربی﻿ / 46.20417; -72.83222
گونه: Natural
درون‌شارش‌های کلان: رودخانه سن‌لوران، Yamaska River, Saint-François River, Nicolet River, Maskinongé River, Rivière-du-Loup River و Yamachiche River
برون‌شارش‌های کلان: رودخانه سن‌لوران
کشورهای حوضه: Canada
بیشترین درازا: ۳۲ کیلومتر (۲۰ مایل)
بیشترین پهنا: ۱۴ کیلومتر (۹ مایل)
مساحتِ رو: ۳۵۳ کیلومتر مربع (۱۳۶ مایل مربع)
میانگین ژرفا: ۳ متر (۹٫۸ فوت)
بیشترین ژرفا: ۱۱٫۳ متر (۳۷ فوت)
ارتفاع سطح: ۳٫۳ متر (۱۱ فوت)
جزیره‌ها: Sorel Islands
جاهای مسکونی: تروا ریویر، برتیه‌ویل، کبک
 تالاب رامسر:  تالاب رامسر
نام رسمی: Lac Saint Pierre
تاریخ ثبت: ۲۵ مه ۱۹۹۸
شماره ثبت: ۹۴۹
 :  
 :  
دریاچه سن پیر (به انگلیسی: Lake Saint Pierre) یک منطقهٔ مسکونی در کانادا است که در موریسی، کبک واقع شده‌است.
لنس استورم

| لنس استورم | لنس استورم |
| --- | --- |
نام تولد: Lance Timothy Evers
زاده: ۳ آوریل ۱۹۶۹ ‏(۵۵ سال) سارنیا
آلما ماتر: دانشگاه ویلفرد لوریر
همسر(ها): Tina Evers (ا. ۱۹۹۴)
فرزندان: ۲
وبگاه: stormwrestling.com
کشتی‌گیری حرفه‌ای: کشتی‌گیری حرفه‌ای
نام(های) رینگ: The Ideal Canadian Lance Storm Lance T. Storm The SWA Kid
قد: ۵ فوت ۱۱ اینچ (۱۸۰ سانتیمتر)
وزن: ۲۳۱ پوند (۱۰۵ کیلوگرم)
معرفی: Calgary, Alberta, Canada
مربی: Ed Langley استو هارت
آغاز: ۲ اکتبر ۱۹۹۰
بازنشستگی: April 2, 2016
لنس استورم (انگلیسی: Lance Storm؛ زادهٔ ۳ آوریل ۱۹۶۹) کشتی‌گیر کشتی حرفه‌ای اهل کانادا است.
دم لااسپید

| دم لااسپید | دم لااسپید |
| --- | --- |
روستا: روستا
مختصات: ۳۰°۵۷′۴۴″ شمالی ۵۰°۲۲′۵۸″ شرقی﻿ / ﻿۳۰٫۹۶۲۲۲°شمالی ۵۰٫۳۸۲۷۸°شرقی﻿ / 30.96222; 50.38278: مختصات: ۳۰°۵۷′۴۴″ شمالی ۵۰°۲۲′۵۸″ شرقی﻿ / ﻿۳۰٫۹۶۲۲۲°شمالی ۵۰٫۳۸۲۷۸°شرقی﻿ / 30.96222; 50.38278
کشور: ایران
استان: کهگیلویه و بویراحمد
شهرستان: کهگیلویه
بخش: بخش مرکزی
دهستان: دهدشت غربی
جمعیت: کمتر از ۳ خانوار (سرشماری ۹۵)
دم لااسپید، روستایی از توابع بخش مرکزی شهرستان کهگیلویه در استان کهگیلویه و بویراحمد ایران است.
جمعیت

این روستا در دهستان دهدشت غربی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۴ نفر (۶خانوار) بوده‌است.
گلزار (کارگردان)

با محمدرضا گلزار اشتباه نشود.
| گلزار | گلزار |
| --- | --- |
زادهٔ: ۱۸ اوت ۱۹۳۴ ‏(۹۰ سال)
ملیت: هند
سال‌های فعالیت: ۱۹۷۱–۹۹ (به عنوان کارگردان) (بازنشسته) ۱۹۵۶–اکنون (به عنوان ترانه‌سرا)
گلزار (انگلیسی: Gulzar؛ زادهٔ ۱۸ اوت ۱۹۳۴) کارگردان، فیلم‌نامه‌نویس، تهیه‌کننده، شاعر و نویسنده اهل کشور هند است. وی ورود به صنعت سینما را با ترانه‌سرایی آغاز نمود.
جوایز

وی تاکنون برندهٔ جوایزی همچون جوایز فیلم‌فیر شده است.
یابوکووو

| یابوکووو | یابوکووو |
| --- | --- |
Village: Village
یابوکووو: یابوکووو
مختصات: ۵۲°۴۰′ شمالی ۱۷°۱۸′ شرقی﻿ / ﻿۵۲٫۶۶۷°شمالی ۱۷٫۳۰۰°شرقی﻿ / 52.667; 17.300: مختصات: ۵۲°۴۰′ شمالی ۱۷°۱۸′ شرقی﻿ / ﻿۵۲٫۶۶۷°شمالی ۱۷٫۳۰۰°شرقی﻿ / 52.667; 17.300
کشور:  لهستان
استان‌های لهستان: استان لهستان بزرگ‌تر
County: شهرستان وانگروویتس
گمینا: گمینا سکوکی
وبگاه: http://www.zspjablkowo.pl
یابوکووو (به لاتین: Jabłkowo) یک روستا در لهستان است که در گمینا سکوکی واقع شده‌است.
لنتا

| لنتا | لنتا |
| --- | --- |
کومونه: کومونه
لنتا: لنتا
لنتاموقعیت لنتا در  Italy: لنتاموقعیت لنتا در  Italy
مختصات: ۴۵°۳۳′ شمالی ۸°۲۳′ شرقی﻿ / ﻿۴۵٫۵۵۰°شمالی ۸٫۳۸۳°شرقی﻿ / 45.550; 8.383: مختصات: ۴۵°۳۳′ شمالی ۸°۲۳′ شرقی﻿ / ﻿۴۵٫۵۵۰°شمالی ۸٫۳۸۳°شرقی﻿ / 45.550; 8.383
کشور: ایتالیا
ناحیه: پیمونت
استان / شهرستان: استان ورسلی (VC)
مساحت: مساحت
 • کل: ۱۹٫۰ کیلومتر مربع (۷٫۳ مایل مربع)
جمعیت (Dec. 2004): جمعیت (Dec. 2004)
 • کل: ۹۶۸
 • تراکم: ۵۱/کیلومتر مربع (۱۳۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانه)
کد پستی: ۱۳۰۳۵
پیش‌شماره تلفن: ۰۱۶۳
لنتا (به ایتالیایی: Lenta) یک کومونه در ایتالیا است که در استان ورسلی واقع شده‌است.
خصوصیات

لنتا ۱۹٫۰ کیلومترمربع مساحت و ۹۶۸ نفر جمعیت دارد.
سسکک کمرنگ

| سسکک کمرنگ | سسکک کمرنگ |
| --- | --- |
سسکک کمرنگ، Prinia somalica: سسکک کمرنگ، Prinia somalica
وضعیت حفاظت: وضعیت حفاظت
 کمترین نگرانی  (IUCN 3.1):  کمترین نگرانی  (IUCN 3.1)
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
رده:: پرندگان
راسته:: گنجشک‌سانان
سرده:: سسکک
گونه:: P. somalica
نام دوبخشی: نام دوبخشی
Prinia somalica : Prinia somalica 
سسکک کمرنگ (نام علمی: Prinia somalica) نام یک گونه از سرده سسکک است.
گوشه‌گیر گلونواری

| گوشه‌گیر گلونواری | گوشه‌گیر گلونواری |
| --- | --- |
گوشه‌گیر گلونواری، Phaethornis striigularis: گوشه‌گیر گلونواری، Phaethornis striigularis
وضعیت حفاظت: وضعیت حفاظت
 کمترین نگرانی  (IUCN 3.1):  کمترین نگرانی  (IUCN 3.1)
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
رده:: پرندگان
راسته:: پرستوسانان
تیره:: مگس‌مرغ
سرده:: گوشه‌گیرمرغ‌ها
گونه:: P. striigularis
نام دوبخشی: نام دوبخشی
Phaethornis striigularis : Phaethornis striigularis 
گوشه‌گیر گلونواری (نام علمی: Phaethornis striigularis) نام یک گونه از سرده گوشه‌گیرمرغ‌ها است.
چاتاهوچی (فیلم)

| چاتاهوچی | چاتاهوچی |
| --- | --- |
کارگردان: میک جکسون
بازیگران: گری اولدمن دنیس هاپر فرانسیس مک‌دورمند پاملا رید ند بیتی ام. امت والش
موسیقی: جان ئی. کین
فیلم‌بردار: اندرو دان
توزیع‌کننده: کلمبیا پیکچرز
تاریخ‌های انتشار:  ۱۶ سپتامبر ۱۹۸۹ (۱۹۸۹-09-۱۶) (تورنتو)  ۲۰ آوریل ۱۹۹۰ (۱۹۹۰-0۴-۲۰) (ایالات متحده)  
مدت زمان: ۹۷ دقیقه
کشور: ایالات متحده
زبان: انگلیسی 
فروش گیشه: ۲۵۹٬۴۸۶ دلار
چاتاهوچی (به انگلیسی: Chattahoochee) فیلمی محصول سال ۱۹۸۵ و به کارگردانی میک جکسون است. در این فیلم بازیگرانی همچون گری اولدمن، دنیس هاپر، فرانسیس مک‌دورمند، پاملا رید، ند بیتی، ام. امت والش، مت کریون، ریچارد پورتنو و ویلیام نیومن ایفای نقش کرده‌اند.
گوییدو بونی

| گوییدو بونی | گوییدو بونی |
| --- | --- |
زادهٔ: ۷ فوریهٔ ۱۸۹۲ ویکیو
درگذشت: ۱۵ دسامبر ۱۹۵۶
ملیت: ایتالیا
| کسب مدال در المپیک> ژیمناستیک مردان | کسب مدال در المپیک> ژیمناستیک مردان | کسب مدال در المپیک> ژیمناستیک مردان |
| --- | --- | --- |
|  | بازی‌های المپیک تابستانی ۱۹۱۲  | تیمی - سیستم اروپایی |
گوییدو بونی (ایتالیایی: Guido Boni; ۷ فوریهٔ ۱۸۹۲ – ۱۵ دسامبر ۱۹۵۶) ژیمناست هنری اهل ایتالیا بود.
ماتیا ساندرینی

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
زادروز:  ۲۶ اکتبر ۱۹۹۳ ‏(۳۰ سال)
زادگاه:  آرتزینیانو
قد:  ۱٫۸۰ متر (۵ فوت ۱۱ اینچ)
پست:  Midfielder
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  Castelbaldo Masi
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۲–۲۰۱۳ |  باشگاه فوتبال ویچنزا ویرتوس |  ۰ |  (۰) |
| ۲۰۱۲–۲۰۱۳ |  ← Viareggio (قرضی) |  ۱۷ |  (۱) |
| ۲۰۱۳–۲۰۱۵ |  باشگاه فوتبال پارما |  ۰ |  (۰) |
| ۲۰۱۳–۲۰۱۵ |  ← Real Vicenza (قرضی) |  ۲۸ |  (۲) |
| ۲۰۱۵–۲۰۱۷ |  Arzignano |  ۲۹ |  (۱) |
| ۲۰۱۷–۲۰۱۹ |  Legnago Salus |  ۲۰ |  (۱) |
| ۲۰۱۹– |  Castelbaldo Masi |   |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
ماتیا ساندرینی (انگلیسی: Mattia Sandrini؛ زادهٔ ۲۶ اکتبر ۱۹۹۳) بازیکن فوتبال اهل ایتالیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال ویچنزا و باشگاه فوتبال پارما اشاره کرد.