پراگرمّسازی دینامیکی

پراگرمّسازی دینامیکی، فصل متیمتیکه می‌باشد، که نظریه‌ و طرز حلّ مسئله‌های سیرزینة اداره‌کنی آپتیملی را تدقیق می‌کند. برای اداره کردن پراسیسّهای پراگرمّة دینامیکی اصولی را انتخاب می‌کنند، که آن قیمت ایکستیملی (کلانترین یا خردترین)-ا فونکسیة مطلوب را افاده کند و یگان صفت عددی پراسیسّ را شرح دهد. اگر مفهوم «پراگرمّسازی» طرز و اصول «انتخاب حل»، «بنلنگیر» را فهماند، کلمة «دینامیکی» ماهیّت فاصلة وقت و ترتیب اجرای عملها را در پراسیسّ حلّ مسئله افاده می‌کند.

وسولهای پراگرمّة دینامیکی قسم ترکیبی اصولهای تدقیق آپیرتیه‌ها بوده، هم در حلّ مسئله‌های بپلنگیری آپتیملی و هم در حلّ پروبلمهای گوناگون تکنیکی (مثلاً، هنگام مویین نمودن اندازة زینه‌های رکیته‌های سیرزینه، در مسئله‌های بهتر کشیدن لایحة راهها و غیره‌ها) استفاده می‌شوپد. متد اساسی پراگرمّة دینامیکی چنین است، که مسئله‌های گذاشته شده را به مسئله‌های نسبتاً ساده ایکستریملی تبدل می‌دهد. به نام پرنسیب آپتیملیی را، که متیم­تیک امیریکایی ر. بیلمن کشف کرده است.

همین طریق، پراگرمّة دینامیکی باعث حلّ این سیستم معادله‌های فونکسیانلی ریکورّینتی می‌گردد.

میتادهای پراگرمّة دتنمیکی نه تنها در پراسیسّهای ادارشوندة دیسکریتی، بلکه برای پراسیسّهای بی‌فاصله نیز استفاده می‌شوند (مثلاً، برای آن مسئله‌هایی، که در هر یک لحظة وقت حلّ آنها را یافتن لازم می‌باید). پراگرمّة دینامیکی اصولهای نو حلّ مسئله‌های حساب وریتمیانی را به وجود آورد.

پراگرمّة دینامیکی حلّ مسئله‌ها را به درجة مویین ساده گرداند هم آن طولانی است. برای رفع این نارسایی اصولهای نو پراگرمّة دینامیکی تدقیق شده ایستاده‌اند.

د .: ب ا ل  م ا ن ر. ، دینمیچیسکایی پراگرمّیراونی، پیر. س انگل، م. ، i960؛ خیدل دج. ، نیلینیینایی ا دینمیچی­سکایی پراگرمّیراونی، پیر. س انگل، م. ، 1067.           گ. هیتاو، ه. نجم‌الدین‌اف.