O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce

• Autorzy: Szałas A.
• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

kwantyfikatory; robotyka; techniki logistyczne

EN

quantifiers; robotics; logical methods

• Wydawca: Warszawska Wyższa Szkoła Informatyki
• Czasopismo: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
• Rocznik: 2006
• Tom: nr 1
• Strony: 139--147
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Szałas A.

• Wyższa Szkoła Informatyki i Ekonomii TWP w Olsztynie
• Wydział Informatyczny Uniwersytetu w Linköping w Szwecji

Bibliografia

• 1. W. Ackermann. Untersuchungen ¨uber das Eliminationsproblem der Mathematischen Logik. Mathematische Annalen, 110:390-413, 1935.
• 2. N. D. Belnap. A useful four-valued logic. In G. Eptein and J.M. Dunn, editors, Modern Uses of Many Valued Logic, pages 8-37, 1977.
• 3. P. Doherty, W. Łukaszewicz, A. Skowron, and A. Szałas. Knowledge Engineering Techniques: a Rough Set Approach, volume 202 of Studies in Fuziness and Soft Computing. Springer Verlag, 2006.
• 4. P. Doherty, W. Łukaszewicz, and A. Szałas. Computing circumscription revisited. Journal of Automated Reasoning, 18(3):297-336, 1997.
• 5. P. Doherty, W. Łukaszewicz, and A. Szałas. Computing strongest necessary and weakest sufficient conditions of first-order formulas. International Joint Conference on AI (IJCAI’2001), pages 145 - 151, 2001.
• 6. F. Lin. On strongest necessary and weakest sufficient conditions. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proc. 7th International Conf. on Principles of Knowledge Representation and Reasoning, KR2000, pages 167-175, 2000.
• 7. J. McCarthy. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence J., 13:27-39, 1980.
• 8. A. Nonnengart, H. J. Ohlbach, and A. Szałas. Elimination of predicate quantifiers. In H.J. Ohlbach and U. Reyle, editors, Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I, pages 159-181. Kluwer, 1999.
• 9. A. Nonnengart and A. Szałas. A fixpoint approach to second-order quantifier elimination with applications to correspondence theory. In E. Orłowska, editor, Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, volume 24 of Studies in Fuzziness and Soft Computing, pages 307-328. Springer Physica-Verlag, 1998.
• 10. Z. Pawlak. Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht, 1991.
• 11. A. Szałas. On the correspondence between modal and classical logic: An automated approach. Journal of Logic and Computation, 3:605-620, 1993.