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

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

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

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

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

از مهم‌ترین مسائل فرایند ارزیابی آثار محیط‌زیستی تعیین اهمیت اثر است. مسئلۀ اصلی در خصوص ارزیابی آثار بوم‌شناختی این است که نمی‌توان آن‌ها را در یک الگوریتم فرموله کرد، زیرا عناصر حیاتی و هم‌‌کنشی‌‌های آن‌ها را نمی‌‌توان به طور کامل و غیرمبهم مشخص کرد. از طرف دیگر، ناهمگونی فضایی سیستم‌‌های بوم‌‌شناختی و پیچیدگی‌‌های تصمیم‌‌گیری کار ارزیابی را دشوارتر کرده‌‌اند، بدین جهت مفهوم آثار محیط‌‌زیستی ...

منطق ارسطو در دوران جدید با مخالفت­های بسیاری مواجه بوده است و برخی نیز بر آن بودند که با وجود نظریة مجموعه‌ها و منطق محمولات، دیگر نیازی به منطق ارسطو نیست. اما گسترة تحقیقاتی که منطقدانان غربی در چند دهة اخیر در زمینة منطق ارسطو به عمل آورده­‌اند، نشان می­دهد که این منطق هنوز هم زنده و قابل اعتنا است. در میان مطالعات انجام گرفته دربارة منطق ارسطو، دو رویکرد را می­توان از یکدیگر متمایز ساخت. د...

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

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

با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد‌ّه، مواردی از خلط صورت با ماد‌ّه در منطق قدیم آشکار شده است. عده‌ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به‌ کار می‌رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می‌گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می...