Wyniki wyszukiwania - Biblioteka Nauki

1

Fast reasoning in a rule-based system with uncertainty

100%

Jankowska B. M.

|

tom Vol. 31, No. 3-4

243-262

EN

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.

2

D-nets - Petri net form of rule-based systems

88%

Szpyrka M. , Szmuc T.

Foundations of Computing and Decision Sciences

|

2006

|

tom Vol. 31, No. 2

175-190

EN

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.

3

Defining the semantics of rule-based Web applications through model-driven development

88%

Canadas J. , Palma J. , Túnez S.

|

tom 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.

4

A new approach to applications of the pattern recognition methods in analytical chemistry. IV. Automatic identification of structural fragments in organic compounds

75%

Hippe Z. S. , Kerste A. , Varmuza K.

|

tom Vol. 46, No. 5

735-743

EN

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.

5

Wnioskowanie regułowe z ontologiami OWL 2 RL

75%

Bąk J. , Nowak M. , Jędrzejek C.

|

tom 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.

6

HeaRT rule inference engine in intelligent systems

75%

Bobek S.

|

tom 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.

7

How to secure a high quality knowledge base in a rule-based system with uncertainty?

75%

Jankowska B. M.

|

tom 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.

8

A new approach to applications of pattern recognition methods in analytical chemistry. III Search for spectral-structural correlations in mass spectra of organic compounds

63%

Kozioł J. , Varmuza K.

|

tom Vol. 46, No. 5

725-733

EN

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.

9

Knowledge Representation, Modelling and Processing in Modern Semantic Systems

51%

Adrian W. T.

|

tom 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.

10

A Note on Analysis of BPMN Diagrams

44%

Ligęza A.

|

tom 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.