Достоверный и правдоподобный вывод в интеллектуальных системах
									
								
																
								                                Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах.  Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и...
								
								 
                                                                                                                                                                                                                            Издательство: 
                                                                                                                Физматлит
                                                                                                                                                            Дата выхода: август 2004