Rozwa?any problem doboru, alokacji i planowania dzia?ań grupy robotówmobilnych w ?rodowisku pomieszczeń zamkni?tych sformu?owany zosta? w modeludeklaratywnym j?zyka OZ Mozart. Dla zadanego zbioru zmiennych decyzyjnychcharakteryzuj?cych ?rodowisko pomieszczeń zamkni?tych i przemieszczaj?ce si? w nimroboty oraz zbioru ograniczeń wi???cych te zmienne, poszukiwana jest strategiaplanowania struktury i alokacji elementów umo?liwiaj?ca w okre?lonym horyzoncie czasuinspekcj? zadanej liczby pomieszczeń. Proponowane podej?cie zilustrowane zosta?o naza??czonych przyk?adach.
展开▼