Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "reasoning" wg kryterium: Temat


Wyświetlanie 1-5 z 5
Tytuł:
Reasoning algorithm for a creative decision support system integrating inference and machine learning
Autorzy:
Wilk-Kolodziejczyk, D.
Powiązania:
https://bibliotekanauki.pl/articles/305355.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
reasoning algorithm
inferential theory of learning
decision support
rule induction
logic of plausible reasoning
Opis:
In this paper a reasoning algorithm for a creative decision support system is proposed. It allows to integrate inference and machine learning algorithms. Execution of learning algorithm is automatic because it is formalized as aplying a complex inference rule, which generates intrinsically new knowledge using the facts stored already in the knowledge base as training data. This new knowledge may be used in the same inference chain to derive a decision. Such a solution makes the reasoning process more creative and allows to continue resoning in cases when the knowledge base does not have appropriate knowledge explicit encoded. In the paper appropriate knowledge representation and infeence model are proposed. Experimental verification is performed on a decision support system in a casting domain.
Źródło:
Computer Science; 2017, 18 (3); 317-338
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Agents modeling experience applied to control of semi-continuous production process
Autorzy:
Rojek, G.
Powiązania:
https://bibliotekanauki.pl/articles/305558.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
agent technology
industrial control
case-based reasoning
Opis:
The lack of proper analytical models of some production processes prevents us from obtaining proper values of process parameters by simply computing optimal values. Possible solutions of control problems in such areas of industrial processes can be found using certain methods from the domain of artificial intelligence: neural networks, fuzzy logic, expert systems, or evolutionary algorithms. Presented in this work, a solution to such a control problem is an alternative approach that combines control of the industrial process with learning based on production results. By formulating the main assumptions of the proposed methodology, decision processes of a human operator using his experience are taken into consideration. The researched model of using and gathering experience of human beings is designed with the contribution of agent technology. The presented solution of the control problem coincides with case-based reasoning (CBR) methodology.
Źródło:
Computer Science; 2014, 15 (4); 411-439
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Foundational Certification of Code Transformations Using Automatic Differentiation
Autorzy:
Tadjouddine, E. M.
Lv, W.
Powiązania:
https://bibliotekanauki.pl/articles/305770.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
relational Hoare logic
abductive reasoning
certification
automatic differentiation
Opis:
Automatic Differentiation (AD) is concerned with the semantics augmentation of an input program representing a function to form a transformed program that computes the function’s derivatives. To ensure the correctness of the AD transformed code (particularly for safety-critical applications), we aim at certifying the algebraic manipulations at the heart of the AD process. We have considered a WHILE-language, and have shown how such proofs can be constructed by using appropriate relational Hoare logic. In particular, we have shown how such inference rules can be constructed for both the forward- and reverse-mode AD by using an abductive logical reasoning.
Źródło:
Computer Science; 2014, 15 (2); 215-236
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Case study of project management in district court
Autorzy:
Kuźmicz, M.
Orłowski, C.
Bober, R.
Powiązania:
https://bibliotekanauki.pl/articles/305789.pdf
Data publikacji:
2018
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
IT system
IT project
IT project management
common courts
case study
case-based reasoning
district court
Opis:
The aim of this article is to present the project environment for the implementation of an IT system in a district court as well as an analysis of the entities and processes on the basis of which this model was built. It includes all of the identified processes that have been assigned responsible entities and the artifacts arising as a result of these processes. The analysis and identification of the processes, entities, and artifacts was carried out on the basis of the realized project of customizing and implementing an IT system. The customization involves the parameterization and adjustment of a standard solution to the needs of a specific recipient 18; in this case, to the needs of a district court. This case study is part of the research in the area of project management in the common courts for the needs of doctoral dissertations. The methodology of this research is presented in the third chapter.
Źródło:
Computer Science; 2018, 19 (4); 361-384
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A proposition of knowledge management methodology for the purpose of reasoning with the use of an upper-ontology
Propozycja metodologii do zarządzania wiedzą na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu
Autorzy:
Szymański, K.
Dobrowolski, G.
Koźlak, J.
Zygmunt, A.
Powiązania:
https://bibliotekanauki.pl/articles/305694.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
ontologia
zarządzanie wiedzą
integracja ontologii
ontologia wyższego poziomu
wnioskowanie
ontology
knowledge management
ontology integration
upper ontology
reasoning
Opis:
This article describes a proposition of knowledge organization for the purpose of reasoning using an upper-ontology. It presents a model of integrated ontologies architecture which consists of a domain ontologies layer with instances, a shared upper-ontology layer with additional rules and a layer of ontologies mapping concrete domain ontologies with the upper-ontology. Thanks to the upper-ontology, new facts were concluded from domain ontologies during the reasoning process. A practical realization proposition is given as well. It is based on some popular Semantic Web technologies and tools, such as OWL, SWRL, nRQL, Protege and Racer.
Artykuł przedstawia propozycję organizacji wiedzy na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu. Prezentuje model architektury zintegrowanych ontologii, składający się z ontologii domenowych z instancjami, współdzielonej ontologii wyższego poziomu z dodatkowymi regułami oraz z warstwy ontologii mapujących. Dzięki wiedzy wyższego poziomu uzyskano nowe fakty podczas wnioskowania. Zaprezentowano rownież propozycje praktycznej realizacji omawianego podejścia przy użyciu popularnych narzędzi i technologii dla Semantic Web, takich jak OWL, SWRL, nRQL, Protege i Racer.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 117-133
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies