مدلسازی عامل بنیان
امروزه عامل‌های هوشمند به‌طور وسیعی در پروژه‌های عملیاتی و تحقیقاتی مورد استفاده قرار می‌گیرند. موسسات و شرکت‌هایی مانند IBM، دایملر کراسلر، وزارت دفاع آمریکا و ناسا به‌طور موفقیت‌آمیزی از سیستم‌های مبتنی بر عامل استفاده می‌کنند و بکارگیری عامل‌ها رفته رفته به یک موضوع حیاتی در فرایندهای توزیع شده و غیر متمرکز تبدیل شده‌است. تمامی این تلاش‌ها را می‌توان به ۴ گروه زیر طبقه‌بندی کرد. مدلسازی عامل بنیان (ABM) یک روش مناسب برای شبیه‌سازی سیستم‌های پیچیده اقتصادی، اجتماعی و به‌طور کلی سیستم‌های پیچیده‌است. این روش مکمل و بسط روش‌های اقتصادسنجی است که تعاملات میان عامل‌های سیستم و سازگاری در سیستم را ترکیب می‌کند. از آنجا که ABM مطالعه واحدهای فردی را ممکن می‌کند، ناهمگنی در میان عامل‌های سیستم ایجاد می‌شود.
تابع بولی
یک تابع بولی مشخص می‌کند که چگونه به وسیلهٔ محاسبات منطقی و ورودی‌های بولی، خروجی مناسب بسازیم. چنین توابعی نقشی اساسی در مسائل نظریه پیچیدگی دارند، همچنین در طراحی مدارها و چیپ‌های کامپیوترهای دیجیتال. ویژگی‌های توابع بولی نقش بسیار مهمی را در رمزنگاری ایفا می‌کنند، به ویژه در طراحی الگوریتم‌های کلید متقارن.توابع بولی غالباً بوسیلهٔ گزاره‌های منطقی نشان داده می‌شوند، اما نمودار تصمیم دوگانه، روش خنثی‌سازی متعارف و گراف‌های جهت دار غیر چرخشی گزاره‌ای روش‌های کارآمد تری برای نمایش آن هستند.