PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 12

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  systemy regułowe
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Wnioskowanie regułowe z ontologiami OWL 2 RL
Bąk J., Nowak M., Jędrzejek Cz.
Studia Informatica
|
2014
|
Vol. 35, nr 2
111--125
PL
W pracy zaprezentowano metodykę transformacji ontologii OWL 2 RL do zestawu reguł, które mogą zostać użyte w regułowym silniku wnioskującym. Zaproponowano podział wnioskowania na dwie części: terminologiczną i asercyjną. Opracowano mechanizm transformacji ontologii do Abstrakcyjnej Składni Reguł i Faktów. Umożliwia to zamianę ontologii na język dowolnego silnika wnioskującego. W artykule opisano implementację dla silników Jess i Drools. Przeprowadzone eksperymenty pokazują, że opracowane narzędzie radzi sobie dużo lepiej we wnioskowaniu na danych niż w narzędziu HermiT.
EN
In this paper we present a method of transforming OWL 2 RL ontologies into a set of rules which can be used in a rule engine. We use HermiT reasoner to perform the TBox reasoning. The ontology is transformed into an Abstract Syntax of Rules and Facts and then into any forward chaining reasoning engine. We present an implementation of our method using Jess and Drools engines. The evaluation per-formed on benchmark ontologies shows that we can perform the ABox reasoning with considerably better performance than HermiT.
2
Content available Knowledge Representation, Modelling and Processing in Modern Semantic Systems
Adrian W. T.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 12
223-225
EN
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.
PL
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.
3
Content available HeaRT rule inference engine in intelligent systems
Bobek S.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 12
226-228
EN
Rules are one of the most important knowledge representation methods. Rule-based expert systems proved to be a successful AI technology in a number of areas. Building such systems requires creating a rule-base, as well as providing an effective inference mechanism that fires rules appropriate in a given context. Building and maintaining such a rule-base is a very difficult task and can be supported by a sepcially designed tools. Due to the fact that inference engines usually are parts of such tools it is difficult to integrate such expert systems with external software. In this paper a custom inference engine was presented, that implements three inference algorithms and can be easily integrated with other systems. Its usage in selected intelligent systems was also described.
PL
Reguły są jedną z najważniejszych metod reprezentacji wiedzy. Systemy ekspertowe oparte na regułowej bazie wiedzy są istotną technologią w zastosowaniach sztucznej inteligencji w różnych dziedzinach. Budowanie takich systemów wymaga stworzenia bazy wiedzy, jak również dostarczenia wydajnego mechanizmu pozwalającego na uruchamianie reguł i wnioskowanie. Budowanie bazy wiedzy i zarządzanie nią jest bardzo trudnym zadaniem. Może ono być wspierane poprzez narzędzia przeznaczone do tego celu, jednak ponieważ silniki wnioskujące zazwyczaj stanowa integralną część takich narzędzi, integracja ich z zewnętrznym oprogramowanie stanowi jeszcze trudniejsze zadanie. W niniejszym artykule opisany został nowy regułowy silnik wnioskujący, pozwalający na stosowanie kilku algorytmów wnioskowania i łatwą integrację z innymi systemami. Przedstawione zostało również jego zastosowanie w wybranych inteligentnych systemach komputerowych.
4
Content available A Note on Analysis of BPMN Diagrams
Ligęza A.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 12
210-212
EN
BPMN has recently become a de facto standard for modeling and design of complex software intensive processes. It is widely used not only in the Business Process domain. Numerous tools supporting visual edition have been developed. Despite its unquestionable advantages the semantic analysis of logical properties seems to be one of the weaknesses of this formalism. In order to assure reliable process execution the overall structure of the graph and its logical operation should be verified.
PL
BPMN staje się powoli standardem de facto w modelowaniu i projektowaniu procesów zawierających istotne komponenty programowe. Jest powszechnie stosowany nie tylko dla modelowania procesów biznesowych. Zaimplementowano wiele narzędzi wspomagających wizualne projektowanie diagramów BPMN. Niestety, pomimo niezaprzeczalnych sukcesów semantyka BPMN i analiza własności logicznych stanowią ciągle słabe strony. Aby zapewnić niezawodną pracę systemów, należy przeprowadzić formalną analizę systemu.
5
Content available remote Defining the semantics of rule-based Web applications through model-driven development
Canadas J., Palma J., Túnez S.
International Journal of Applied Mathematics and Computer Science
|
2011
|
Vol. 21, no 1
41-55
EN
Rule languages and inference engines incorporate reasoning capabilities to Web information systems. This paper presents an approach for the specification and development of Web applications performing the usual functionalities of data management and incorporating a rule engine for reasoning capabilities. The proposed approach is based on the definition of a high-level representation of the semantics of rule-based applications through a formalism for conceptual modeling combining lightweight ontologies and production rules. These models are used as the source for a model-driven method that applies several transformations to conceptual models generating the rule-based Web application code in an automatic process. As a result, the rule-based Web application embeds a rule engine suitable for deducing information by applying an inference process. The structure of the information managed by the Web application is based on ontology classes, whereas the logical expressions applied in reasoning are obtained from production rules of the model. A rule-based Web application has been developed and evaluated using a supporting tool that implements the ideas presented in this paper.
6
Content available Agent-based monitoring using fuzzy logic and rules
Funika W., Szura F., Kitowski J.
Computer Science
|
2011
|
Vol. 12
103-113
PL
W pracy przedstawiono system agentowy, który pozwala na monitoring rozproszonych systemów. Każdy agent posiada własną wiedzę na temat możliwych reakcji na zaobserwowane sytuacje, np. awarie. W artykule przedstawiamy koncepcję automatyzacji monitoringu nazwaną SAMM compliant Agent. Jest ona rozszerzeniem systemu SAMM. Do opisu wiedzy użyte zostały zbiory rozmyte, a także reguły, przy czym reguły używane są do określenia prostych czynności, które może wykonać dany agent. W zaimplementowanej wersji reguły służą jako statyczna wiedza, natomiast logika rozmyta została wykorzystana jako główna idea reprezentacji wiedzy w przedstawionych agentach, z których każdy zarządza swoim segmentem wiedzy i może swoją wiedzę przekazywać innym agentom.
EN
In this paper we present two solutions ofmonitoring automation for distributed systems. We develop this system to automate monitoring of distributes systems. Both solutions are aimed to monitor data storage and web services like web page servers. The first solution implemented in a system called Saude-Net, is an rule-based top level monitoring tool. In this system there are implemented rules which provide conditions which refer to one or more measured values. This system is able to choose the best action for an observed situation, e.g. a failure. It is possible to define more than one rule which relate to the same monitoring resource. The second concept presented in this paper refers to a fuzzy logic agent based approach to network monitoring. It is called SAMM compliant Agent. It is an extension to the Semantic-based Autonomous Monitoring and Management system (SAMM). On the one hand, it uses rules to define simple actions, based on a simple condition and an action description. On the other hand the main knowledge of this solution is defined by fuzzy logic. This system is able to manage and modify its knowledge to better fit to monitored resources. The knowledge in this concept is distributed among all the agents. The agents residing on a different hosts handle their parts ofthe knowledge and are capable to share/exchange them.
7
Content available Modeling BPMN diagrams within XTT2 framework. A critical analysis
Ligęza A., Maślanka T., Kluza K., Nalepa G. J.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2011
|
T. 15, z. 2
299-306
EN
This paper presents preliminary results of the research concerning integration of Business Processes designed with BPMN models with Business Rules represented with the use of an expressive rule language XTT2. The presented solution allows for translation of BPMN diagram restricted to main control flow objects to XTT2. Business Rules. The translated rules can be executed using HeaRT, a rule engine for XTT2. The main goal of the research is to build a logical declarative model of BPMN-modeled process suitable for formal analysis.
PL
W pracy przedstawiono wstępne wyniki badań możliwości integracji narzędzi opisu procesów biznesowych z narzędziami do modelowania reguł. Proponowane podejście pozwala na translację bazowych diagramów BPMN do postaci regułowej w modelu XTT2, oraz na analizę i wykonanie otrzymanych reguł za pomocą silnika regułowego HeaRT. Badania ukierunkowane są na budowę logicznego, deklaratywnego modelu procesów BPMN, który pozwalałby na ich formalną analizę.
8
Content available remote Application of rule induction algorithms for analysis of data collected by seismic hazard monitoring systems in coal mines
Sikora M., Wróbel Ł.
Archives of Mining Sciences
|
2010
|
Vol. 55, no 1
91-114
EN
The article presents the results of application of rule induction algorithms for predictive classification of states of rockburst hazard in a longwall. Used in mining practice computer system which is a source of valuable data was described at the beginning of this article. The rule induction algorithm and the way of improving classification accuracy were explained in the theoretical part. The results of analysis of data from two longwalls were presented in the experimental section.
PL
W artykule przedstawiono możliwości zastosowania metody maszynowego uczenia, jaką jest indukcja reguł, do rozwiązania problemu predykcji stanu zagrożenia sejsmicznego w wyrobisku górniczym. Przedstawiono algorytm indukcji reguł, a także wyniki eksperymentów przeprowadzanych na danych pochodzących z dwóch ścian KWK Wesoła. Źródłem danych był system wspomagania stacji geofizyki górniczej Hestia. Przed przystąpieniem do analizy, dane zostały poddane agregacji tak, aby opisywały godzinowe i zmianowe przedziały czasu. W rozdziale czwartym umieszczono wyniki obrazujące dokładność proponowanych algorytmów w realizacji zadań predykcji zagrożeń sejsmicznych. Zadania predykcji definiowano w różny sposób (jako predykcję sumarycznej energii, jako predykcję zjawisk o określonej energii), różne były także rozważane horyzonty prognozy (zmianowy i godzinowy). Uzyskane wyniki wykazują, że przedstawiona metoda jest interesującą alternatywą dla innych metod opisanych w literaturze.
9
Content available AND-OR graph with knowledge propagation rules as a model for Constraint Satisfaction Problems
Ligęza A.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2009
|
T. 13, z. 2
411-419
EN
In this paper a model for Constraint Satisfaction Problems based on the concept of AND-OR graph is presented. The graph provides a structure to model search-space for alternative solutions. In order to represent auxiliary constraints it is completed with a set of rules for knowledge propagation. The rules can be used for efficient modelling of constraints for knowledge propagation and for detection of inconsistency. An example from the area of automated diagnosis is used to illustrate the application.
PL
W pracy przedstawiono koncepcję zastosowania grafu AND--OR do rozwiązywania problemów z ograniczeniami. Dla efektywnej eliminacji niepoprawnych rozwiązań zastosowano system regułowy. Jest on wykorzystywany do propagacji wiedzy. W przypadku wykrycia niespójności, potencjalne rozwiązanie jest eliminowane. Rozważania przeprowadzono na przykładzie zastosowania proponowanego podejścia do eliminacji niepoprawnych rozwiązań problemu diagnostycznego.
10
Content available Wymagania i założenia dla prototypu systemu wspierającego analityka systemowego w procesie projektowania
Gratkowski T.
Pomiary Automatyka Kontrola
|
2007
|
R. 53, nr 5
57-59
PL
Celem prowadzonych badań jest zbudowanie prototypu systemu, wspierającego analityka systemowego w procesie projektowania wielowarstwowych systemów informatycznych. Przyjęto, iż proces projektowania realizowany będzie zgodnie z metodyką Cheesmana-Danielsa, która został opracowana z myślą o systemach wytwarzanych w technologiach komponentowych. Zadaniem prototypu będzie automatyzacja wybranych zadań realizowanych przez analityka zgodnie z wytycznymi metodyki Cheesmana-Danielsa. W prezentowanym artykule przedstawiono wstępne wymagania i założenia dla prototypu systemu wspierającego analityka systemowego w procesie projektowania. W założeniach przyjęto również, iż w procesie automatyzacji zostanie wykorzystany system regułowy. Zastosowanie systemu regułowego pozwoli zautomatyzować wybrane zadania, do których rozwiązania, wymagana jest wiedza człowieka, a którą można zapisać przy użyciu reguł.
EN
The aim of the research is to build the prototype of the system supporting the system analyst in the process of designing the n-tier informatic systems. The process of designing is carried out according to the Cheesman-Daniels methodology, which has been worked out for designing the n-tier component system. The main task of the prototype will be automatization of selected tasks that are carried out by the analyst, according to the Cheesman-Daniels methodology. This paper presents the introductory requirements and principles for the prototype of the system supporting the system analyst in the process of designing. According to the principles, the rule-based system will be used in the process of automatization. Using the rule-based system will allow to automatize the selected tasks that are solved with help of human knowledge which can be written down as a system of rules.
11
Content available remote How to secure a high quality knowledge base in a rule-based system with uncertainty?
Jankowska B. M.
International Journal of Applied Mathematics and Computer Science
|
2006
|
Vol. 16, no 2
251-262
EN
Although the first rule-based systems were created as early as thirty years ago, this methodology of expert systems designing still proves to be useful. It becomes especially important in medical applications, while treating evidence given in an electronic format. Constructing the knowledge base of a rule-based system and, especially, of a system with uncertainty is a difficult task because of the size of this base as well as its heterogeneous character. The base consists of facts, ordinary rules and meta-rules, which differ from each other regarding both the syntax structure and the semantics. Having no tool to aid designing and maintaining the knowledge base of a rule-based system with uncertainty, we propose the algebra of rules with uncertainty which gives us theoretical foundations to build such a tool. Using the tool, it will be possible to indicate the facts and rules of a redundant character, as well as the pairs of facts and the pairs of rules which are contradictory to each other. The above tool is used in designing and maintaining the knowledge base of a system intended to prognosticate the effects of a medical treatment of the bronchial asthma disease.
12
Content available remote A new approach to the rule-based systems design and implementation process
Nalepa G.J.
Computer Science
|
2004
|
Vol. 6
65-79
EN
The paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called MIRELLA. The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation. The design specification is automatically translated into PROLOG code, so the designer can focus on logical specification of safety and reliability. On the other hand, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved.
PL
W artykule omówione zostały wybrane problemy związane z projektowaniem i implementacją systemów regułowych. W celu rozwiązania najważniejszych z nich przedstawiona została nowa wizualna metoda reprezentacji wiedzy (XTT) oraz zaprezentowano nową metodologię projektowania, implementacji i analizy takich systemów. Podejście to jest wspierane przez narzędzie typu CASE nazwane MIRELLA. Pozwala ono na projektowanie systemu na wysokim poziomie abstrakcji, przy równoczesnym zachowaniu jego własności logicznych i formalnych. Na podstawie projektu generowany jest prototypowy model systemu w języku PROLOG, którego własności formalne mogą być na bieżąco analizowane.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.