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