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ę "reasoning" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Od Drzew Tablicowych do Sieciowych Tablic Decyzyjnych: ewolucja zmodularyzowanych reprezentacji wiedzy
    From Tabular Trees to Networked Decision Tables: an Evolution of Modularized Knowledge-base Representations
    Autorzy:
    Wojnicki, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/274569.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    reguły
    wnioskowanie
    reprezentacja reguł
    kontekst
    modularność
    rules
    reasoning
    rule representation
    context
    modularity
    Opis:
    Stosując systemy regułowe, można wyróżnić dwie klasy problemów: efektywność procesu projektowania oraz wydajność procesu uruchamiania. Niniejszy artykuł przeglądowo opisuje metody projektowania reguł opracowane w Katedrze Automatyki AGH pod kątem rozwiązywania ww. problemów. Proponowane podejścia opierają się w dużej mierze na modularyzacji bazy wiedzy i odpowiedniej jej wizualizacji. Przedstawiono ich ewolucję, jak również wyniki najnowszych badań dotyczących wnioskowania kontekstowego.
    There are two common issues while dealing with rules and rule-based systems. These are efficiency of the design process and performance of rule interpretation. This paper discusses briefly several design approaches developed at the Department of Automatics, AGH which tackle these issues. The proposed solutions are mainly based on modularization and appropriate visualization of the knowledge base being designed. Evolution of selected approaches and results of recent research regarding application of context-based reasoning are presented as well.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 173-177
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Semantic Knowledge Engineering - Main Concepts
    Podstawowe założenia podejścia semantycznej inżynierii wiedzy
    Autorzy:
    Nalepa, G. J.
    Powiązania:
    https://bibliotekanauki.pl/articles/275275.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    systemy z bazą wiedzy
    systemy regałowe
    knowledge-based systems
    rules
    reasoning
    semantic knowledge engineering
    Opis:
    The Semantic Knowledge Engineering approach aims at providing new design and analysis methods for rule-based intelligent systems. It uses the XTT2 knowledge representation for building modularized rule bases that form decision networks. The representation is formalized, thus allowing for the anayslys of the designed system with respect to its qualitative properties. The visual design is supported by practical tools.
    Celem podejścia semantycznej inżynierii wiedzy jest dostarczenie nowych metod projektowania i analizy systemów inteligentnych wykorzystujących reprezentację regułową. Podejście to bazuje na metodzie XTT2 służącej do budowania na poziomie logicznym zmodularyzowanej bazy reguł stanowiącej sieć wnioskującą. Metoda ta jest sformalizowana, co pozwala na przeprowadzenie analizy systemu pod kątem jego jakości.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 236-238
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Qualitative Spatio-Temporal Representation and Reasoning for robotic applications
    Jakościowa przestrzenno-czasowa reprezentacja oraz rozumowanie dla aplikacji robotycznych
    Autorzy:
    Będkowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/276447.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    rozumowanie jakościowe
    robot mobilny
    robot przemysłowy
    modelowanie semantyczne
    qualitative reasoning
    mobile robot
    industrial robot
    semantic modeling
    Opis:
    This paper discusses the methodology of Qualitative Spatio-Temporal Representation and Reasoning (QSTRR) for robotic applications. The goal is to develop reasoning mechanism that will allow modelling the environment and performing spatiotemporal decisions. A new approach is related to environment modelling based on robot’s perception, therefore new concepts (spatial entities) are obtained automatically, and then used in reasoning. This paper presents the results of the three experiments. Each experiment focuses on different robotic applications, such as mobile spatial assistive intelligence for spatial design, spatial design used for robotic arm integration with the environment and supervision of a teleoperated robot. Each of the experiments is considered as the proof of concept of the proposed methodology. Thus, it can be efficiently used for developing sophisticated robotic application where human-robot interaction and integration are considered as an important goal.
    W artykule przedstawiono metodykę jakościowej przestrzenno-czasowej reprezentacji oraz rozumowania dla aplikacji robotycznych. Celem jest opracowanie mechanizmu podejmowania decyzji, które umożliwi także modelowanie środowiska oraz rozumowanie w sensie jakościowym. Nowym zagadnieniem badawczym jest budowanie modelu środowiska na bazie obserwacji robota mobilnego, przy czym nowe koncepty (podstawowe elementy przestrzenne) są generowane automatycznie. Przedstawiono trzy eksperymenty, każdy skojarzony z inną aplikacją robotyczną, między innymi mobilna przestrzenna inteligencja asystująca dla projektowania przestrzennego, projektowanie przestrzenne dla integracji robota przemysłowego z istniejącym środowiskiem pracy oraz nadzorowanie pracy robota zdalnie sterowanego. Każdy z tych eksperymentów dowodzi słuszności proponowanej metodyki. W związku z tym metodyka może znaleźć zastosowanie w projektowaniu zaawansowanych aplikacji robotycznych, gdzie interakcja oraz integracja człowiek-robot są zasadniczym zagadnieniem funkcjonalnym oraz użytkowym.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 2; 300-303
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Deduction-based Formal Verification of Business Models using Temporal Logic
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/274553.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Opis:
    Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
    The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Knowledge Representation, Modelling and Processing in Modern Semantic Systems
    Reprezentacja, modelowanie i przetwarzanie wiedzy w nowoczesnych systemach semantycznych
    Autorzy:
    Adrian, W. T.
    Powiązania:
    https://bibliotekanauki.pl/articles/275291.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    technologie semantyczne
    modelowanie i reprezentacja wiedzy
    wnioskowanie
    systemy regułowe
    systemy ontologiczne
    systemy inteligentne
    semantic technologies
    knowledge modelling
    representation and reasoning
    rule-based systems
    ontology-driven systems
    intelligent systems
    Opis:
    Modern intelligent applications based on semantic technologies constitute an interesting class of Knowledge-Based Systems. The paper gives an overview of the methods and tools used in semantic systems and presents the research concerning adaptation of well-founded solutions for Rule-Based Systems to the semantic systems conditions. Theoretical solutions as well as practical implementations are briefly discussed. Outline of future directions and research problems is given.
    Nowoczesne systemy inteligentne, wykorzystujące technologie i języki semantyczne, stanowią interesują klasę systemów opartych na wiedzy. W tym nowym kontekście warto rozważyć wykorzystanie rozwiązań wypracowanych w klasycznych sztucznej inteligencji, w szczególności systemach regułowych. W artykule nakreślono obszar badawczy obejmujący integrację istniejących metod i narzędzi z tego obszaru z rozwiązaniami Sieci Semantycznej. Poruszono zarówno problem integracji wybranych formalizmów stanowiących podstawy logiczne reprezentacji wiedzy w obydwu dziedzinach, jak i praktyczne implementacje systemów.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 223-225
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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