Information and decision projects in the area of civil engineering are usually complex and heterogeneous. This, in turn, requires the use of IT solutions to support them. The selection of the appropriate models for data or knowledge representation, which are the information resources of such systems in connection with the selection of analytical and decision models, can be considered as one of the elements of the rationalization of engineering projects. The approach that takes account of the significant complexity and heterogeneity of problems is a system approach with the use of an object-oriented way of organizing data or knowledge. Not only does it ensure efficient modelling of information and decision processes in the field of engineering projects (also in crisis situations), due to the uniformity of the model approach, it also allows for maintaining the continuity of the implementation of complex processes of various specificity, e.g. the different levels of structuring or the randomness of partial problems.
PL
Przedsięwzięcia inżynieryjne w poszczególnych etapach budowy, czy odbudowy zniszczonych obiektów infrastruktury transportowej, można zaliczyć do skomplikowanych, zarówno z punktu widzenia technicznego, jak i organizacyjnego. Ponadto dodatkowym utrudnieniem są często ograniczenia czasowe nałożone na realizację procesów analityczno-decyzyjnych. Taka sytuacja wymusza konieczność ciągłych udoskonaleń w zakresie planowania, projektowania oraz organizacji budowy (odbudowy) obiektów inżynieryjnych. W praktyce inżynierskiej rozwiązanie sytuacji problemowej wymaga najczęściej podjęcia wieloetapowych i niejednorodnych działań. Dodatkowo, zbiory koniecznych do przeanalizowania decyzji dopuszczalnych są zazwyczaj liczne, co przy konieczności dodatkowego uwzględniania losowości zjawisk i niekompletności zasobów informacyjnych nakłada na decydenta - inżyniera konieczność specyficznego podejścia do rozwiązywanego problemu. Wydaje się, że istotnym aspektem takiego podejścia jest dostrzeganie w każdym działaniu cząstkowym (obliczeniach, decyzji) całości problemu decyzyjnego, którego to działanie dotyczy. Holistyczne podejście do zadań decyzyjnych, w odróżnieniu od podejścia redukcjonistycznego, daje możliwość analizy i uwzględniania wpływu poszczególnych elementów całości na inne elementy i, co równie ważne - wpływu każdego z tych elementów na funkcjonowanie całości. Za główny cel artykułu przyjęto zaprezentowanie holistycznego podejścia w procesie informacyjno-decyzyjnym związanym z budową mostów w sytuacjach kryzysowych, bazując na wojskowych konstrukcjach składanych. W niniejszym opracowaniu uwagę skupiono głównie na specyfice modeli oraz procesów modelowania w obszarze budownictwa lądowego. Ma ono obecnie szczególne znaczenie, kiedy program infrastruktury komunikacyjnej jest programem rządowym. Oznacza to modernizację dróg, a tym samym przebudowę mostów poprzez poszerzenie jezdni, czy budowę nowych przepraw mostowych. Jednak na czas przebudowy lub odbudowy stałych obiektów drogowych należy zapewnić mosty objazdowe bądź tymczasowe, które mogą być montowane z konstrukcji tymczasowych mostów składanych. Dlatego też opisywane przedsięwzięcia informacyjno-decyzyjne w budownictwie lądowym zobrazowano głównie przykładami, odnoszącymi się do projektowania technicznego obiektów mostowych oraz technologii i organizacji ich budowy w warunkach szczególnych (np. przebudowa mostów lub ich odbudowa po przejściu fali powodziowej).
With the introduction to the science paradigm of Granular Computing, in particular, information granules, the way of thinking about data has changed gradually. Both specialists and scientists stopped focusing on the single data records themselves, but began to look at the analyzed data in a broader context, closer to the way people think. This kind of knowledge representation is expressed, in particular, in approaches based on linguistic modelling or fuzzy techniques such as fuzzy clustering. Therefore, especially important from the point of view of the methodology of data research, is an attempt to understand their potential as information granules. In this study, we will present special cases of using the innovative method of representing the information potential of variables with the use of information granules. In a series of numerical experiments based on both artificially generated data and ecological data on changes in bird arrival dates in the context of climate change, we demonstrate the effectiveness of the proposed approach using classic, not fuzzy measures building information granules.
PL
Wraz z wprowadzeniem do nauki paradygmatu obliczeń ziarnistych, w szczególności ziaren informacji, sposób myślenia o danych stopniowo się zmieniał. Zarówno specjaliści, jak i naukowcy przestali skupiać się na samych rekordach pojedynczych danych, ale zaczęli patrzeć na analizowane dane w szerszym kontekście, bliższym ludzkiemu myśleniu. Ten rodzaj reprezentacji wiedzy wyraża się w szczególności w podejściach opartych na modelowaniu językowym lub technikach rozmytych, takich jak klasteryzacja rozmyta. Dlatego szczególnie ważna z punktu widzenia metodologii badania danych jest próba zrozumienia ich potencjału jako ziaren informacji. W niniejszym opracowaniu przedstawimy szczególne przypadki wykorzystania innowacyjnej metody reprezentacji potencjału informacyjnego zmiennych za pomocą ziaren informacji. W serii eksperymentów numerycznych opartych zarówno na danych generowanych sztucznie, jak i danych ekologicznych dotyczących zmian dat przylotów ptaków w kontekście zmian klimatycznych, demonstrujemy skuteczność proponowanego podejścia przy użyciu klasycznych, a nie rozmytych miar budujących ziarna informacji.
Celem pracy było opracowanie metodologii formalizacji wiedzy metalurgicznej na potrzeby wykorzystania jej do tworzenia komputerowych reprezentacji wiedzy dla systemów ekspertowych. Osiągniecie celu wymagało rozwiązania problemów: identyfikacji źródeł wiedzy, pozyskiwania wiedzy, integracji wiedzy, doboru formalnej metody reprezentacji wiedzy a także opracowania jej komputerowej reprezentacji. Jako formę reprezentacji wiedzy wykorzystano sztuczne sieci neuronowe i wskazano na możliwość ich wykorzystania do wspomagania dwóch procesów metalurgicznych, tj. procesu wytwarzania materiałów odlewanych z żeliwa sferoidalnego oraz procesu kucia matrycowego, jednego z procesów przeróbki plastycznej metali.
EN
The aim of the study was to develop a methodology to formalize metallurgical expertise for the purpose of using it to create computer representations of knowledge for expert systems. Achieving the goal required solving problems: identifying knowledge sources, acquiring knowledge, integrating knowledge, choosing a formal method of knowledge representation, and developing its computer representation. As a form of knowledge representation, artificial neural networks were used and the possibility of their use was indicated to support two metallurgical processes, i.e. the process of manufacturing ductile iron cast materials and matrix forging process, one of the metal forming processes.
The paper presents an application of Graph Data Base technology in knowledge engineering task concerned with knowledge representation of complex structures. The first example is graph representation of a composition of tractor gearbox. It is an example of application of static partonomy relation. The adequate codding of that relation in Graph Data Base is easily expressed in Cypher language. There were presented some applications of Graph Data Base useful in the management of the technical object existence in different “life” phases, as design, production, maintenance and recycling. The second example concerns the Graph representation of activity structure. Such structures were built based on an agricultural tractor’s technical revision system. Created Data Base allows for processing the queries referred to the questions of what activities in what period should be performed to maintain the agricultural tractor ready to work in good technical condition. The Graph Data Base technology is the first step to create semantic systems for data storing and processing in order to extract knowledge and information useful in precise physical process management.
Recently, we have observed a slow departure from printed texts towards electronic publications. However, electronic publications pretend to be paper-like. Whereas, such content may be presented in many ways, including three-dimensional, time-varying, layered, scaled detail, and aspect-oriented representations. This is the area of application for the Spread Page Initiative. Spread Page Initiative refers to the development of notation and tools for knowledge representation in a modern manner not limited by using the traditional paper-oriented technique. The article describes the Spread Page approach to the modeling of business processes. The authors consider a possibility of using new ways of knowledge representation to ensure accurate and more precise modeling of business processes.
PL
W ostatnim czasie obserwuje się powolne odchodzenie od tekstów drukowanych na papierze na rzecz treści publikowanych elektronicznie. Takie treści mogą być prezentowane w różnoraki sposób z uwzględnieniem reprezentacji trójwymiarowej, uwarunkowanej czasowo, aspektowej, warstwowej oraz zależnej od skali. Inicjatywa Spread Page zajmuje się opracowywaniem notacji i narzędzi reprezentacji wiedzy w sposób nowoczesny, nieograniczany przez technologię tradycyjnego wydruku. Niniejszy artykuł opisuje podejście Spread Page do modelowania procesów biznesowych. Autorzy rozważają możliwości zastosowania nowych sposobów reprezentowania wiedzy w taki sposób, aby zapewnić dokładniejsze i bardziej precyzyjne modelowanie procesów oraz danych, które są przez te procesy przetwarzane.
Wiele dziedzin wiedzy, szczególnie z zakresu medycyny, wymaga zastosowania profesjonalnego wspomagania procesu podejmowania decyzji. Celem niniejszego artykułu jest analiza reguł otrzymanych na podstawie badań demograficznych, klinicznych i termowizyjnych pacjentów z RZS oraz porównanie ich z istniejącymi systemami ekspertowymi służącymi do diagnostyki tej choroby.
EN
Great amount of knowledge domains, especially in medical branch, requires applying professional decision support. The aim of the current study is the analysis of rules obtained on the basis of demographic, clinical and thermovisual examinations of RA patients and its comparison with currently available expert systems which are designed for RA diagnosis.
The paper presents a concept of diagnostic network models. This class of models consists of statement networks in which nodes represent statements concerning an object. The advantages of such models were enumerated and, in particular, their usefulness in collaborative research on knowledge acquisition was emphasized. Furthermore, not only the significance of dictionaries of statements contents, but also the purposefulness of supporting the development process of the models in question through definition of ontology referring to the studied objects was discussed.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this work we propose an extension of logic programming, under the stable model semantics, and the action language BC where rule bodies and causal laws may contain a new kind of literal, that we call causal literal, that allows us to inspect the causal justifications of standard atoms. To this aim, we extend a recently proposed semantics where each atom belonging to a stable model is associated with a justification in the form of an algebraic expression (which corresponds to a logical proof built with rule labels). In particular, we use causal literals for evaluating and deriving new conclusions from statements like "A has been sufficient to cause B." We also use the proposed semantics to extend the action language BC with causal literals and, by some examples, show how this action language is useful for expressing a high level representation of some typical Knowledge Representation examples involving causal knowledge.
9
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We present the first direct tableau decision procedure for graded PDL, which uses global caching and has ExpTime (optimal) complexity when numbers are encoded in unary. It shows how to combine checking fulfillment of existential star modalities with integer linear feasibility checking for tableaux with global caching. As graded PDL can be used as a description logic for representing and reasoning about terminological knowledge, our procedure is useful for practical applications.
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Acyclicity constraints are prevalent in knowledge representation and applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in the satisfiability modulo theories (SMT) framework, and in this paper we carry out an analogous extension to the answer set programming (ASP) paradigm. The resulting formalism, ASP modulo acyclicity, offers a rich set of primitives to express constraints related to recursive structures. In the technical results of the paper, we relate the new generalization with standard ASP by showing (i) how acyclicity extensions translate into normal rules, (ii) how weight constraint programs can be instrumented by acyclicity extensions to capture stability in analogy to unfounded set checking, and (iii) how the gap between supported and stable models is effectively closed in the presence of such an extension. Moreover, we present an efficient implementation of acyclicity constraints by incorporating a respective propagator into the stateof- the-art ASP solver CLASP. The implementation provides a unique combination of traditional unfounded set checking with acyclicity propagation. In the experimental part, we evaluate the interplay of these orthogonal checks by equipping logic programs with supplementary acyclicity constraints. The performance results show that native support for acyclicity constraints is a worthwhile addition, furnishing a complementary modeling construct in ASP itself as well as effective means for translation-based ASP solving.
Jako menzurand przyjęto jeden z możliwych parametrów segmentu sygnału. Przedstawiono metodę jednolitego uwzględniania wszelkich dostępnych informacji o sygnale. Wykorzystano reprezentację sygnału w skończenie-wymiarowej przestrzeni liczbowej. Rozważono przypadek ogólny, gdy parametr mierzony nie jest równy parametrowi estymowanemu. Przeanalizowano użyteczność danej informacji o sygnale w estymacji określonego jego parametru. Przedstawiono przykład ilustrujący stosowanie zaproponowanej metody.
EN
In this paper a measurand is assumed to be some particular parameter of the signal segment - the estimated parameter E (Section 2). A model of measurement is formulated in which all the information items available about the investigated signal (both those available a priori and those provided by measurement) are uniformly taken into account during the evaluation of the uncertainty of E. All information items are assumed to be certain. It is shown (Section 3) that the investigated signal segment can be interpreted as a point in a finite-dimensional numerical space. With each available information item corresponds in that space a specific constraint (1) of possible signals. Finding out the global extremes of the estimated parameter over the resulting set of possible signals, gives the prior uncertainty interval (3) according to E (Section 4). Measurement of some additional parameter M continues restricting the prior set of possible signals. The uncertainty (4), remaining after the measurement of M, results from a structural discrepancy between parameters E and M. One of measurability necessary conditions is presented in Section 6. It enables an easy rejection of such measured parameters M that cannot be useful for the estimation of E. Finally, an illustrative example for the method has been provided in Section 7.
The article presents problems of the transformation of knowledge codified in the COLREGs into a form which permits its use in navigational information systems. The need to develop a knowledge base in this field and implement it in an expert system supporting navigational decisions onboard ships is rational. It is a well-known fact that navigational information systems greatly support navigation and increase its safety. Examples of regulations (COLREGs rule 13 – overtaking) are interpreted, then presented as decision tables in order to check whether decision rule induction is possible from such data. Selected algorithms of rule induction are briefly described and then tested. The experiments are compared and conclusions are drawn.
13
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Weight constraints are a powerful programming construct that has proved very useful within the Answer Set Programming paradigm. In this paper, we argue that practical Answer Set Programming might take profit from introducing some forms of nested weight constraints. We define such empowered constraints (that we call 'Nested Weight Constraints') and discuss their semantics and their complexity.
14
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Polyhierarchical structures play an important role in artificial intelligence, especially in knowledge representation. The main problem with using them efficiently is lack of efficient methods of accessing related nodes, which limits the practical applications. The proposed hybrid indexing approach generalizes various methods and makes possible combining them in a uniform manner within one index, which adapts to a particular topology of the data structure. This gives rise to a balance between compactness of the index and fast responses to the search requests. The correctness of the proposed method is formally shown, and its performance is evaluated. The results prove its high efficiency.
15
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper focuses on approximate reasoning based on the use of approximation spaces. Approximation spaces and the approximated relations induced by them are a generalization of the rough set-based approximations of Pawlak. Approximation spaces are used to define neighborhoods around individuals and rough inclusion functions. These in turn are used to define approximate sets and relations. In any of the approaches, one would like to embed such relations in an appropriate logical theory which can be used as a reasoning engine for specific applications with specific constraints. We propose a framework which permits a formal study of the relationship between properties of approximations and properties of approximation spaces. Using ideas from correspondence theory, we develop an analogous framework for approximation spaces. We also show that this framework can be strongly supported by automated techniques for quantifier elimination.
16
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The aim of this paper is to present the methods and algorithms of information systems decomposition. In the paper, decomposition with respect to reducts and the so-called global decomposition are considered. Moreover, coverings of information systems by components are discussed. An essential difference between two kinds of decomposition can be observed. In general, global decomposition can deliver more components of a given information system. This fact can be treated as some kind of additional knowledge about the system. The proposed approach is based on rough set theory. To demonstrate the usefulness of this approach, we present an illustrative example coming from the economy domain. The discussed decomposition methods can be applied e.g. for design and analysis of concurrent systems specified by information systems, for automatic feature extraction, as well as for control design of systems represented by experimental data tables.
17
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper presents a new class of Petri nets called generalised fuzzy Petri nets. The new class extends the existing fuzzy Petri nets by introducing three operators in the form of triangular norms, which are supposed to function as substitute for the min, max and * (algebraic product) operators. To demonstrate the power and the usefulness of this model, an application of the generalised fuzzy Petri nets in the domain of train traffic control is provided. The new model is more flexible than the classical one as in the former class the user has the chance to define the input/output operators. The proposed approach can be used for knowledge representation and reasoning in decision support systems.
Automatic communication between computer systems on board and ashore is a necessity. At this stage it is limited to simple exchange of information – the data transmitted in the messages. It is expected that it will take the more complex form soon, allowing the dialogue, the transmission of intentions and conducting negotiations. To make it possible, it is necessary to build suitable ontology, describing the processes of communication at sea. To apply this ontology in information systems it is necessary to present it in a proper representation. This paper presents a method of generating a representation in form of XML-Schema based on the ontology built with the use of Protégé program.
PL
Automatyczna komunikacja między systemami informatycznymi na statku i na lądzie jest koniecznością. Na obecnym etapie ogranicza się ona do prostej wymiany informacji – danych przesyłanych w komunikatach. Należy spodziewać się, że w niedługim czasie przybierze postać bardziej złożoną, umożliwiającą prowadzenie dialogu, przekazywanie intencji i prowadzenie negocjacji. Aby było to możliwe, konieczne jest zbudowanie odpowiedniej ontologii, opisującej procesy komunikacji na morzu. W celu zastosowania ontologii w systemach informatycznych niezbędne jest przedstawienie jej w odpowiedniej reprezentacji. W artykule omówiono metodę generowania reprezentacji w postaci XML-Schema na podstawie ontologii zbudowanej z wykorzystaniem programu Protégé.
The article presents the problem of knowledge representation contained in COLREGS for its use in navigation information systems. The idea of knowledge and representation of knowledge was discussed. A comparison of selected methods of knowledge representation was made and possibility of their use to represent the COLREGS rules was considered. By using selected COLREGS rule and presented methods of knowledge representation, functionality of the knowledge base was analyzed.
PL
W artykule przedstawiono zagadnienie reprezentacji wiedzy zawartej w MPDM dla potrzeb jej wykorzystania w nawigacyjnych systemach informacyjnych. Omówiono pojęcie wiedzy oraz sposoby jej reprezentowania. Dokonano porównania wybranych metod reprezentacji wiedzy. Rozpatrzono możliwość ich zastosowania do reprezentacji prawideł MPDM. Na przykładzie wybranego prawidła przeanalizowano funkcjonalność bazy wiedzy utworzonej z użyciem przedstawionych metod reprezentacji wiedzy. Sformułowano wnioski.
W niniejszym artykule opisano zdaniową reprezentację konglomeratów (semantycznych modułów ontologicznych). Pokazano, w jaki sposób reprezentacja ta może być przydatna do wnioskowania z konglomeratów. Zaprezentowano też prototypowy system o nazwie S-Pellet, realizujący działania algebry konglomeratów za pomocą reprezentacji zdaniowej. System ten wykorzystuje do wnioskowania program Pellet, realizujący algorytm tableau.
EN
In the article we introduce a prototypical system, named S-Pellet, which reasons over semantic modules with use of a standard reasoning engine, Pellet. The architecture, interfaces and a scenario of use of S-Pellet are presented. For the reasoning S-Pellet exploits the theory of sentential representation of s-modules; the theory is described and discussed in the paper.
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ć.