Grafy i logika

Segodnq aktual'nost' kombinatornyh zadach opredelqetsq peremescheniem Iskusstwennogo Intellekta iz teoreticheskoj oblasti w prakticheskuü, t.k. bol'shoe chislo intellektual'nyh zadach swodqtsq k kombinatornym. Dlq opisaniq kombinatornyh zadach chasche wsego ispol'zuetsq logicheskij qzyk ili qzyk grafow. Ishodq iz ätogo, w nastoqschej rabote wwoditsq edinyj formalizm, pozwolqüschij edinoobrazno predstawlqt', kak logicheskie funkcii, tak i t.n. grafy ortogonal'nosti. Poslednie sut' nagruzhennye ne orientirowannyh grafy, metki uzlow kotoryh ¿ wektory odinakowoj dliny nad bazisom <0, 1, _>. Pokazywaetsq, chto bol'shoe chislo kombinatornyh zadach swodqtsq k analizu grafow ortogonal'nosti.