موضوع فارسی :برنامه ریزی اثبات با استراتژی های متعدد موضوع انگلیسی :Proof planning with multiple strategies تعداد صفحه :29 فرمت فایل :PDF سال انتشار :2008 زبان مقاله : انگلیسی برنامه ریزی اثبات یک تکنیک برای اثبات قضیه که جایگزین جستجو فوق العاده کارآمد اما کور از اثبات قضیه کلاسیک استسیستم توسط یک فرآیند برنامه ریزی مبتنی بر دانش اطلاع داد که در استخدام دانش ریاضی در سطح انسان گرا ازانتزاع - مفهوم - برداشت. برنامه ریزی ضد استاندارد با استفاده از روش به عنوان اپراتور و قوانین کنترل برای پ ...