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.
Anomaly detection methods are of common use in many fields, including databases and large computer systems. This article presents new algorithm based on negative feature selection, which can be used to find anomalies in real time. Proposed algorithm, called Negative Feature Selection algorithm (NegFS) can be also used as first step for preprocessing data analyzed by neural networks, rule-based systems or other anomaly detection tools, to speed up the process for large and very large datasets of different types.
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.
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.
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.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.
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ę.
9
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
11
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The knowledge processed in empirical domains is more or less uncertain. In order to support people who deal with them, expert systems with uncertainty are used. The expert systems that serve for planning or simulation purposes are often implemented as rule-based systems. To express the uncertainty of facts and rules, different mathematical methods are used: from probability factors and modal logics to the Zadeh's fuzzy logic. The last method is the most general, and it helps to conclude very reliable hypotheses. In the simulation systems both the conclusions' reliability and the time necessary for reasonings are of great importance. In this paper we point at the rule of convergence as a method of reasoning which allows to speed up reasonings performed in rule-based systems with uncertainty. We discuss its advantages, limitations and possible applications.
12
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A formal approach to design and analysis of rule-based systems incorporated into embedded systems is presented in the paper. RTCP-nets, a subclass of timed coloured Petri nets, are used as a modelling language. They enable modelling of embedded systems incorporating an RBS (rule-based system). Such a system is represented as a D-net (decision net) that constitutes the bottom layer of the model. D-nets are used to represent a set of generalized decision rules with non-atomic attribute values. In order to assure reliable and efficient performance, analysis and verification of selected qualitative properties (such as completeness, consistency and optirnality) are carried out. The analysis and verification stage are based on Petri nets analysis methods and are included into the design process. Design and verification are supported by computer tools.
In order to address problems encountered in the design of rule-based and expert systems the paper discusses a proposal of a new approach to rule-based system design and verification using an integrated CASE tool supporting visual design of rule-based systems. The Mirella tool allows for dynamic on-line specification of components of the knowledge with simultaneous analysis of the rule-based system during the design phase. The main idea is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation, called eXtended Tabular Trees, supported by Mirella CASE tool. It consists of visual design environment integrated with Prolog-based analysis and verification engine. Along with editor's built in on-line checking capabilities it improves system performance and safety. Selected implementation aspects are also highlighted. The environment is implemented in ANSI C in the GNU/Linux environment using Gtk/GNOME/SWI-Prolog development platform. This makes it both efficient and portable. The tool has a multilayer, multimodule architecture which gives it flexibility and allows future extensions.
14
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
15
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The paper includes a proposal of advanced methodology for designing rule-based systems. The principal idea consists in an integrated design and verification methodology, supported by an integrated graphical environment for rule-based systems development. In order to present the structure in a transparent way a specific knowledge-representation tool known as tabular-trees is used. System structure is described in a XML-based meta-level knowledge representation language. Formal properties of the system can be verified on-line by an integrated Prolog-based inference engine. Furthermore this paper shows how rule-based network security systems, such as firewalls, can be largely improved by using formal design and verification techniques.
PL
W artykule zaprezentowane jest nowe podejście do zagadnienia projektowania i weryfikacji systemów regułowych. Proponowana metoda może być stosowana do szerokiej klasy systemów o różnej semantyce i wspomaga formalną weryfikację tworzonego systemu już w fazie jego projektu. Zaproponowane jest zintegrowane środowisko wspierające projektowanie systemu. Zawiera ono graficzny edytor reprezentujący strukturę tworzonego systemu za pomocą tzw. drzew-tabelarycznych. Struktura systemu jest zapisana za pomocą języka opartego na technologii XML. Istotnym elementem środowiska jest zintegrowany aparat wnioskujący wykorzystujący język Prolog. Pozwala on na formalną weryfikację własności tworzonego systemu na etapie projektu. Proponowane środowisko ułatwia i przyspiesza fazę projektowania systemów regułowych. Dzięki zintegrowanym procedurom wnioskującym pozwala na weryfikację własności formalnych systemu na etapie projektu. Przyczynia się to do poprawienia niezawodności tworzonych systemów. Taka integracja procesu projektowania i formalnej weryfikacji systemów regułowych pozwala na wizualne konstruowanie systemu regułowego o z góry zadanych własnościach formalnych. Artykuł omawia również możliwości zastosowania wspomnianej metodologii do projektowania sieciowych systemów bezpieczeństwa takich jak firewalle, w celu poprawienia ich niezawodności i wydajności.
16
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper (part of a sequence devoted to automatic identification of organic substructures [1,2]) a methodology of searching for optional classifiers for selected aromatic fragments embedded in organic molecules is briefly described. The developed methodology uses low-resolution mass spectra and employs computer program SCANKEE to create the databases of mass spectra and to search them to create spectrum-substructure correlation tables, and finally'to convert automatically these tables into the rules data--base which enable effective concluding.
PL
W niniejszej pracy (kolejnej w cyklu prac poświęconych automatycznej identyfikacji podslruktur organicznych [1 ,2]) przedstawiono metodologią tworzenia klasyfikatorów dla wybranych aromatycznych fragmentów strukturalnych, w oparciu o niskorozdzielcze widma masowe. Badania przeprowadzono przy pomocy systemu SCANKEE, który służył do zakładania i przeszukiwania bazy widm mas, tworzenia tablic korelacyjnych widmo podstmktura a następnie automatycznego przetwarzania ich w rcgułowe bazy wiedzy, umożliwiające prowadzenie efektywnego procesu wnioskowania.
17
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A process of knowledge acquisition from a collection of mass spectra of organic compounds is described. The knowledge is represented by means of correlation, describing the relations between peaks of fragment ions vs characteristic molecular subunits (substructures and functional groups). The information obtained was used in the form of correlation tables for an automatic conversion into the decision rules. This form of a knowledge base is suitable for automatic interpretation of mass spectra within an expert system.
PL
W pracy opisano proces pozyskiwania wiedzy ze zbiorów widm mas związków organicznych, w postaci korelacji opisujących zależności pomiędzy obserwowanymi w widmie pikami jonów fragmentacyjnych a charakterystycznymi fragmentami struktury badanego związku (podstrukturami i grupami funkcyjnymi). Uzyskana informacja (w formie tablic korelacyjnych) posłużyła do automatycznego generowania reguł interpretacji widm mas, zapisanych następnie w regułowej bazie wiedzy wykorzystanej do automatycznej interpretacji widm mas przez system ekspertowy.
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ć.