Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Szałas, A." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Semantic Web in a Nutshell
    Sieć semantyczna w pigułce
    Autorzy:
    Szałas, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/91341.pdf
    Data publikacji:
    2011
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    semantic web
    specification of ontologies
    verification of ontologies
    Semantyczny Internet
    specyfikacja ontologii
    weryfikacja ontologii
    Opis:
    The paper outlines selected topics related to Semantic Web. We start with problems with the use of current web search engines. Next, we discuss the architecture and basic concepts of Semantic Web whose central ideas focus around ontologies. We show the role of logics in the specification and verification of ontologies as well as reasoning about them. We mainly concentrate on rule languages. In particular we discuss the 4QL query language supplying the user with simple, yet powerful constructs for filling gaps in missing knowledge as well as for disambiguation of inconsistencies.
    Artykuł zarysowuje wybrane zagadnienia związane z Semantycznym Internetem. Wychodząc od problemów rozwiązań stosowanych we współczesnych wyszukiwarkach, traktuje o architekturze i zasadniczych koncepcjach Semantycznego Internetu, którego kluczowym pojęciem są ontologie. Tekst omawia miejsce logik w specyfikacji i weryfikacji ontologii, a także wnioskowaniu o nich, koncentrując się przede wszystkim na językach regułowych, w tym na języku 4QL, dostarczającym prostych konstrukcji umożliwiających reakcję na niepełną i/lub sprzeczną informację.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 14-19
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
    Autorzy:
    Szałas, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/91375.pdf
    Data publikacji:
    2006
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    kwantyfikatory
    robotyka
    techniki logistyczne
    quantifiers
    robotics
    logical methods
    Opis:
    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.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2006, 1, 1; 139-147
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Negatywna informacja w języku regułowym 4QL
    Negative information in a rule-based language 4QL
    Autorzy:
    Małuszyński, J.
    Szałas, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/91461.pdf
    Data publikacji:
    2013
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    regułowe języki zapytań
    wnioskowanie niemonotoniczne
    informacja negatywna
    informacja sprzeczna
    informacja niepełna
    rule-based query languages
    nonmonotonic reasoning
    negative information
    inconsistent information
    incomplete information
    Opis:
    Problematyka negatywnej informacji w językach regułowych jest zasadnicza z punktu widzenia dużej liczby aplikacji. Była ona rozważana w rozszerzeniach języków zapytań w dedukcyjnych bazach danych, opartych na wnioskowaniach niemonotonicznych, początkowo wynikających z założenia o zamkniętym świecie CWA (Closed World Assumption). W wielu zastosowaniach, w tym związanych z Semantycznym Internetem i robotyką, założenie CWA nie jest właściwe i zwykle przyjmuje się w nich założenie o świecie otwartym OWA (Open World Assumption). W niniejszym artykule omawiamy nowe podejście do tego problemu, przedstawione w [2] [3] [4], gdzie zaproponowaliśmy język regułowy 4QL w stylu Datalogu, jednak bez ograniczeń na wystąpienie negacji. Język ma architekturę warstwową. Najniższe warstwy 4QL, oparte na OWA, są w pełni monotoniczne. W celu zmniejszenia stref niewiedzy/sprzeczności w [2] [3] wprowadzono proste konstrukcje pozwalające na wyrażanie mechanizmów wnioskowań niemonotonicznych, w tym umożliwiających rozwiązywanie sprzeczności, użycie lokalnych domknięć świata (a więc także CWA) oraz różnych form wnioskowań przez domniemania. Obliczanie zapytań w 4QL ma złożoność wielomianową ze względu na rozmiar bazy danych.
    The problem of negative information in rule languages is crucial in many applications. It has been addressed in extensions of query languages in deductive databases, based on nonmonotonic logics initially derived from the Closed World Assumption (CWA). In many applications, including Semantic Web technologies and robotics systems, CWA is not necessarily applicable and developments in these fields usually follow the Open World Assumption (OWA). In this paper we summarize a novel approach to the problem reported in [2] [3] [4], where we proposed a DATALOG-like language 4QL with unrestricted negation. The language supports a layered architecture. The monotonic layer of 4QL, based on OWA, is fully monotonic. To reduce the unknown/inconsistent zones, in [2] [3] we have introduced simple constructs which allow one to express various mechanisms of nonmonotonic reasoning. In particular, this provides means for application-specific disambiguation of inconsistent information, the use of Local CWA (thus also CWA, if needed), and various forms of default reasoning. Query evaluation in 4QL is still tractable as regards its data complexity.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2013, 7, 9; 7-14
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      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