CSCIENCE

CSCIENCE

۲ مطلب با موضوع «منطق» ثبت شده است

پرولوگ یک زبان برنامه نویسی منطقیست و سعی دارد نوشتن برنامه‌ها را به روش توصیفی نزدیک کند، به این معنا که کافیست یک سری قوانین و حقایق را در مورد هدف برنامه بنویسید و از پرولوگ سوال مورد نظر را بپرسید، اینک وظیفه‌ی مفسر است که جواب را پیدا کند و شما نحوه‌ی یافتن پاسخ را تعیین نمی‌کنید. مواردی که گفته شد هدف نهایی زبان‌های برنامه‌سازی منطقی هستند و هم‌اکنون نمی‌توان همه‌ی برنامه‌ها را کاملا توصیفی نوشت. نکته‌ی قابل توجهی که در برنامه‌های پرولوگ وجود دارد این است که در برخی موارد به دلیل اینکه روش یافتن جواب برایش تعیین نمی‌شود و در عمل تمامی فضا را جستجو می‌کند، زمان یافتن جواب افزایش می‌یابد در صورتی که اگر همان برنامه با زبان‌های دیگر نوشته شود بسیار سریع عمل خواهد کرد. اما از طرف دیگه برنامه‌های پرولوگ خیلی کوتاه و خوانا هستند.

در این پست قصد دارم راهی رو معرفی کنم که بشه از قدرت زبان سیشارپ و امکانات و سادگی پرولوگ به صورت همزمان استفاده کرد. با این روش هرجای برنامه رو میشه با زبانی نوشت که عملکر بهتری داره و در کل برنامه‌ای با کارایی و حجم مناسب ایجاد کرد. توضیحات کامل چگونگی کار رو توی این فایل ppt آوردم.
در پست‌های بعدی سعی میکنم یک برنامه‌ی نمونه هم قرار بدم تا بیشتر آشنا بشید. اگر سوالی هم داشتید در بخش نظرات بپرسید.
۲ موافقین ۰ مخالفین ۰ ۰۵ شهریور ۹۲ ، ۰۰:۳۵
cscience

منطق زمانی یا Temporal Logic یک نوع تعمیم منطق کلاسیکه که توی مدل‌های خودش زمان رو هم دخیل کرده. به عبارت دیگه با این منطق میشه گزاره‌هایی رو مدل کرد که با تغییر زمان، ارزش درستی اونا هم تغییر می‌کنه.

به عنوان یک مثال ساده، جمله‌ی
هم اکنون باران می‌بارد
در حال حاضر ارزش درست داره اما ممکنه 1 ساعت بعد دیگه جمله‌ی درستی نباشه.

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

برای اینکه در مورد منطق زمانی بیشتر بدونید این فایل رو دانلود کنید. منابع زیادی توی اینترنت وجود داره. من بخاطر اینکه باید این مطلبو سر کلاس ارائه می‌دادم منابع مختلفیو دیدم و از نظرم این فایل راحت‌تر و روون‌تر گفته بود.
۰ موافقین ۰ مخالفین ۰ ۰۴ شهریور ۹۲ ، ۰۱:۴۲
cscience