Nie znaleźliśmy wyników w zadanych kryteriach!
Ale mamy wyniki w innych katalogach.Wyniki wyszukiwania dla: REGUŁY WNIOSKOWANIA
-
Powszechnie uznane reguły techniczne
PublikacjaArtykuł 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.
PublikacjaPrzedstawiono 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
PublikacjaW 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.
PublikacjaNowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste
-
Architektury bloków wnioskowania systemów rozmytych
PublikacjaW 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
PublikacjaIdea 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
PublikacjaSieci 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,...
-
Metodyka Logicznego Wnioskowania w procesie realizacji zmiany.
PublikacjaRozdział 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ą
PublikacjaEfektywną 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.
PublikacjaW 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...