Sergej Popow, Natal'q Broshkowa

Prikladnoj logicheskij analiz

Logika dlq iskusstwennogo intellekta

• Broschiertes Buch

Produktbeschreibung

Logicheskij formalizm ispol'zuetsq w kachestwe instrumenta dlq formulirowki i resheniq soderzhatel'nyh zadach. Voznikaüschie pri ätom problemy analiziruütsq s logicheskih pozicij. V swqzi s ätim issleduütsq dwa podhoda: semanticheskij ¿ ustanowlenie wypolnimosti, i sintaxicheskij ¿ postroenie wywodow w sekwencial'nyh ischisleniqh. V chastnosti, opisywaütsq procedury ustanowleniq wypolnimosti logicheskih formul i dokazuemosti w sekwencial'nyh ischisleniqh, kotorye mogut ispol'zowat'sq pri awtomaticheskom poiske reshenij. S cel'ü unifikacii mehanizma poiska reshenij wwoditsq kanonicheskaq forma wywodow, pozwolqüschaq opredelit' regulqrnuü proceduru poiska. Dlq logicheskih formul opredelqetsq ih matrichnoe predstawlenie i operacii nad matricami, chto daet wozmozhnost' uwidet' suschestwennye swojstwa logicheskih formul, kotorye pri obychnom podhode ne proqwlqütsq. Vwodqtsq tak nazywaemye lokal'nye zadachi, obladaüschie prostymi procedurami ustanowleniq wypolnimosti i dokazuemosti.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 508
• Erscheinungstermin: 27. Dezember 2011
• Russisch
• Abmessung: 220mm x 150mm x 31mm
• Gewicht: 774g
• ISBN-13: 9783847302940
• ISBN-10: 3847302949
• Artikelnr.: 62793940

Autorenporträt

S. Popow - po obrazowaniü inzhener-matematik. No, pomimo matematiki, ego oblast' interesow wklüchaet filosofiü, psihologiü, informatiku, pedagogiku i iskusstwennyj intellekt.