Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce

Tytuł:
O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
Autorzy:
Szałas, A.
Tematy:
kwantyfikatory
robotyka
techniki logistyczne
quantifiers
robotics
logical methods
Data publikacji:
2006
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Język:
polski
Prawa:
Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2006, 1, 1; 139-147
1896-396X
2082-8349
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
Niniejszy wykład zarysowuje w popularyzującym ujęciu wybrane zagadnieniom efektywnego wnioskowania prowadzonego w warunkach, w których mamy do czynienia z wiedzą niepełną, niepewną i silnie zaszumioną, gdy trzeba poradzić sobie ze złej jakości danymi, w tym bieżącymi odczytami pomiarów, obrazami z kamer itp. Wykład jest oparty o rozwiązania opracowane dla potrzeb bezzałogowych helikopterów (rzeczywiście wykonujących loty bezzałogowe w kontrolowanych warunkach poligonowych). W szczególności naszkicowane będą dość subtelne formy wnioskowania wykorzystujące niebanalne techniki logiczne, drastycznie obniżające złożoność wnioskowania w dużej klasie teorii spotykanych w praktyce.

The current lecture provides a popular overview of selected topics concerning efficient reasoning dealing with incomplete and noisy data of bad quality, collected from sensors and video cameras. The lecture is based on solutions worked out for autonomous aerial vehicles and test flights over a rescure training area in Revinge (Sweden). In particular we sketch rather subtle forms of reasoning based on nontrivial logical methods substantially deceasing the complexity of reasoning in a large class of theories applied in practice.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz