Wyniki wyszukiwania dla: REGUŁY WNIOSKOWANIA - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: REGUŁY WNIOSKOWANIA
Przykład wyników znalezionych w innych katalogach

Wyniki wyszukiwania dla: REGUŁY WNIOSKOWANIA

  • Powszechnie uznane reguły techniczne

    Artykuł objaśnia pojęcia: uznane reguły techniczne, stan techniki oraz stan nauki i techniki podkreślając, że zbiorem uznanych reguł technicznych powinny być normy. Na licznych przykładach wskazuje, że z zagranicy uznane reguły techniczne przejmowane są z przekłamaniami, a w kraju są tworzone w sposób karykaturalny.

  • Serwery automatycznego wnioskowania.

    Publikacja

    - Rok 2002

    Przedstawiono systemy automatycznego wnioskowania oparte o architektury klient-serwer. Przedstawiono przykłady istniejących i wdrażanych systemów opisując ich architekturę i funkcjonalność. Przeanalizowano korzyści wynikające z osadzenia takich systemów w środowiskach serwerów aplikacyjnych.

  • Reguły efektywnego projektowania semantycznych usług WWW

    Publikacja

    - Rok 2010

    W pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...

  • Sprawność egzaminowania. Uprawnienia budowlane - nowe reguły.

    Publikacja

    - Rok 2004

    Nowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste

  • Architektury bloków wnioskowania systemów rozmytych

    W pracy przedstawiono kilka różnych architektur bloków wnioskowania cyfrowych sterowników rozmytych. Architektury te zostały zaimplementowane w układach reprogramowalnych FPGA-Spartan3. Dokonano porównania tych architektur pod względem szybkości działania.

  • Problemy wnioskowania z ontologii Semantic Web

    Idea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...

  • Optymalizacja treningu i wnioskowania sieci neuronowych

    Sieci neuronowe są jedną z najpopularniejszych i najszybciej rozwijających się dziedzin sztucznej inteligencji. Ich praktyczne wykorzystanie umożliwiło szersze użycie komputerów w wielu obszarach komunikacji, przemysłu i transportu. Dowody tego są widoczne w elektronice użytkowej, medycynie, a nawet w zastosowaniach militarnych. Wykorzystanie sztucznej inteligencji w wielu przypadkach wymaga jednak znacznej mocy obliczeniowej,...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Metodyka Logicznego Wnioskowania w procesie realizacji zmiany.

    Publikacja

    - Rok 2008

    Rozdział ten jest poświecony problematyce możliwości wykorzystania metodyki i narzędzi Wnioskowania Logicznego w celu planowania i realizacji efektywnej zmiany. Przedstawiono w nim trzyetapowy model procesu Logicznego Wnioskowania i scharakteryzowano funkcje poszczególnych narzędzi. Zaprezentowano również przykłady budowy wybranych narzędzi TOC TP. W rozdziale przedstawiono ponadto miejsce poszczególnych narzędzi Logicznego Wnioskowania...

  • Wykorzystanie wnioskowania logicznego w planowaniu i sterowaniu produkcją

    Publikacja

    - Rok 2007

    Efektywną realizację zmain, również w procesie planowania i sterowania produkcją, wspomagają odpowiednie metody i narzędzia. W artykule przedstawiono etapy realizacji pełnej zmiany według Logicznego Wnioskowania, zgodnej z teoria Ograniczeń. Scharakteryzowano też cel i zakres stosowania poszczególnych narzędzi Logicznego Wnioskowania w realizacji zmainy procesu planowania i sterowania produkcją. Artykuł prezentuje ponadto powiązania...

  • Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.

    Publikacja

    - Rok 2003

    W artykule omówiono założenia projektowe i architekturę edukacyjnego systemu informatycznego nadzorującego proces wnioskowania użytkownika podczas rozwiązywania zadań obliczeniowych. Opisywany jest system z bazą wiedzy, w których wiedza o zadaniach z elementarnej matematyki, fizyki lub chemii jest reprezentowana w postaci modeli obliczeniowych, stanowiących szczególny przypadek sieci semantycznych. Scharakteryzowano prototypowy...