ترجمه فارسی توضیحات (ترجمه ماشینی)
نمایه سازی مدت
نمایه سازی مدت از ساخت سیستم های استدلال خودکار کارآمد پشتیبانی می کند، به عنوان مثال. با امکان دسترسی سریع به اصطلاحات حساب محمولی مرتبه اول با ویژگیهای خاص، قضایای خودکار را اثبات میکند.
این تکنگاره یک بررسی جامع و مدون در مورد نمایهسازی اصطلاحی به طور کلی ارائه میکند و تکنیکهای نمایهسازی جدیدی را برای بازیابی و نگهداری دادهها ارائه میکند که به آنها کمک میکند. برای غلبه بر تخریب برنامه در سیستم های استدلال خودکار مبانی نظری و جنبه های کاربردی به تفصیل بررسی می شود. در نهایت، اثبات کننده PURR برای وضوح حاصل از واحد موازی مورد بحث قرار می گیرد تا اهمیت پیاده سازی دقیق را نشان دهد.
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.
This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.