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

Znaleziono wyników: 14

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Fuzzy multi agent system for automatic classification and negotiation of QOS in cloud computing
Bakraouy Zineb, Abbass Wissam, Baina Amine, Bellafkih Mostafa
Journal of Automation Mobile Robotics and Intelligent Systems
|
2020
|
Vol. 14, No. 3
56--64
EN
The use of Multi Agents Systems (MAS), Cloud Computing (CC) and Fuzzy Inference System (FIS) in e-commerce has increased in recent years. The purpose of these systems is to enable users of electronic markets to make transactions in the best conditions and to help them in their decisions. The design and implementation is often characterized by the constant manipulation of information, many of which are imperfect. The use of the multi-agent paradigm for the realization of these systems implies the need to integrate mechanisms that take into account the processing of fuzzy information. This makes it necessary to design multi-agent systems (MAS) with fuzzy characteristics. For the modeling and realization of this system, we chose to use the FMAS model. This paper deals with the presentation of the use of the Fuzzy MAS model for the development of a management and decision support application in a virtual market with high availability. After the presentation of the system to be realized in the first section, we describe in the second section the application of the model FMAS for the design and the realization of this system. We then specify the JADE implementation platform and how the fuzzy agents of our model (Expert, Choice and Query) can be implemented using this platform.
2
Content available Wybrane metody sztucznej inteligencji zaimplementowane w języku programowania C/C++
Mreła Aleksandra
Studia i Materiały Informatyki Stosowanej
|
2019
|
nr 1
11--13
PL
Obecnie coraz częściej wykorzystuje się metody sztucznej inteligencji (AI) do budowania systemów ekspertowych, czy opartych na wiedzy. Jednakże, bardzo często podczas zajęć w szkole podstawowej i średniej podczas zajęć z programowania, lub ogólniej kształcenia myślenia komputacyjnego, uczniowie uczą się algorytmów rozwiązujących problemy w warunkach pewności. Wobec tego większość młodych ludzi nie ma okazji rozważania rozwiązań problemów w zakresie logiki rozmytej. Aby nauczyciele informatyki rozważali z uczniami metody sztucznej inteligencji, należy przygotować proste przykłady algorytmów AI. W artykule przedstawiono kilka prostych przykładów zbiorów i relacji rozmytych oraz prostego systemu wnioskującego zakodowanych w C++.
EN
Currently, artificial intelligence (AI) methods are increasingly used to build expert or knowledge-based systems. However, very often during elementary and high school classes while programming classes, or more general, computational thinking training, students learn algorithms that solve problems in conditions of certainty. Therefore, most young people have no opportunity to consider solutions to fuzzy logic problems. For IT teachers to discuss artificial intelligence methods with students, simple AI algorithms should be prepared. The article presents some simple examples of fuzzy sets and relations as well as a simple inference system coded in C++.
3
Content available Forecasting return products in an integrated forward/reverse supply chain utilizing an ANFIS
Kumar D. T., Soleimani H., Kannan G.
International Journal of Applied Mathematics and Computer Science
|
2014
|
Vol. 24, no. 3
669--682
EN
Interests in Closed-Loop Supply Chain (CLSC) issues are growing day by day within the academia, companies, and customers. Many papers discuss profitability or cost reduction impacts of remanufacturing, but a very important point is almost missing. Indeed, there is no guarantee about the amounts of return products even if we know a lot about demands of first products. This uncertainty is due to reasons such as companies’ capabilities in collecting End-of-Life (EOL) products, customers’ interests in returning (and current incentives), and other independent collectors. The aim of this paper is to deal with the important gap of the uncertainties of return products. Therefore, we discuss the forecasting method of return products which have their own open-loop supply chain. We develop an integrated two-phase methodology to cope with the closed-loop supply chain design and planning problem. In the first phase, an Adaptive Network Based Fuzzy Inference System (ANFIS) is presented to handle the uncertainties of the amounts of return product and to determine the forecasted return rates. In the second phase, and based on the results of the first one, the proposed multi-echelon, multi-product, multi-period, closed-loop supply chain network is optimized. The second-phase optimization is undertaken based on using general exact solvers in order to achieve the global optimum. Finally, the performance of the proposed forecasting method is evaluated in 25 periods using a numerical example, which contains a pattern in the returning of products. The results reveal acceptable performance of the proposed two-phase optimization method. Based on them, such forecasting approaches can be applied to real-case CLSC problems in order to achieve more reliable design and planning of the network.
4
Content available Two semantics of trust management language with negation
Felkner A.
Journal of Telecommunications and Information Technology
|
2013
|
nr 4
102--108
EN
The family of Role-based Trust management languages is used for representing security policies by defining a formalism, which uses credentials to handle trust in decentralized, distributed access control systems. A credential provides information about the privileges of users and the security policies issued by one or more trusted authorities. The main topic of this paper is RT⊖, a language which provides a carefully controlled form of non-monotonicity. The core part of the paper defines two different semantics of RT⊖ language – a relational, set-theoretic semantics for the language, and an inference system, which is a kind of operational semantics. The set-theoretic semantics maps roles to a set of entity names. In the operational semantics credentials can be derived from an initial set of credentials using a set of inference rules. The soundness and the completeness of the inference system with respect to the set-theoretic semantics of RT⊖ will be proven.
5
Schemat konglomeratowej bazy wiedzy
Goczyła K., Waloszek A., Waloszek W., Zawadzka T.
Studia Informatica
|
2012
|
Vol. 33, nr 2A
347-363
PL
Artykuł opisuje przebieg prac nad rozwojem konglomeratowych baz wiedzy w kierunku opracowania metodyki dla zastosowań inżynierskich. Jednym z pierwszych działań jest podjęcie próby zdefiniowania schematu i instancji bazy. Taki podział jest konieczny, aby zapewnić środki techniczne do ustanowienia ograniczeń związanych z kontrolą przebiegu procesu projektowania bazy oraz jej późniejszego użytkowania.
EN
The paper presents advances of s-modular approach towards developing design methodology for engineers. One of the first proceedings is an attempt to define and differentiate a schema and an instance of a knowledge base. Such distinction is necessary to provide technical means for establishing constraints to control the process of knowledge base design, maintenance and deployment.
6
Content available remote Computing Implications with Negation from a Formal Context
Missaoui R., Nourine L., Renaud Y.
Fundamenta Informaticae
|
2012
|
Vol. 115, nr 4
357-375
EN
The objective of this article is to define an approach towards generating implications with (or without) negation when only a formal context K = (G,M, I) is provided. To that end, we define a two-step procedure which first (i) computes implications whose premise is a key in the context K| K representing the apposition of the context K and its complementary �K with attributes in M (negative attributes), and then (ii) uses an inference axiom we have defined to produce the whole set of implications.
7
Czasowa ważność poświadczeń języka RT T+
Felkner A., Kozakiewicz A.
Studia Informatica
|
2011
|
Vol. 32, nr 3A
145-154
PL
Język RT T należy do języków zarządzania zaufaniem z rodziny języków role-based trust management, który jest używany do reprezentowania polityk bezpieczeństwa oraz poświadczeń w rozproszonym upoważnianiu. Łączy on zalety kontroli dostępu, opartej na roli i systemów zarządzania zaufaniem. W artykule zaproponowano wprowadzenie ograniczeń czasowych ważności poświadczeń w języku RT T.
EN
The topic of this paper is RT T, a language from the family of RT languages, which is used for representing security policies and credentials in distributed access control systems. The goal of this paper is introduction of time validity constraints to show how that can make RT T language more realistic.
8
Content available remote Neuro-fuzzy approach to the next day load curve forecasting
Dudek G.
Przegląd Elektrotechniczny
|
2011
|
R. 87, nr 2
61-64
EN
An adaptive neuro-fuzzy inference system ANFIS is used to the short-term load forecasting. ANFIS combines the comprehensibility of fuzzy rules and the adaptability and self-learning algorithms of neural networks. The model maps the input pattern of the sequence of the historical hourly load time series to the component of the next sequence. Input space is divided on fuzzy sets by fuzzy c-means clustering. The most informative input variables are determined using deterministic variable selection algorithms. Individual models are constructed for each day type and hour of the day. The method is applied to several load forecasting problems.
PL
Adaptacyjny neuronowo-rozmyty system wnioskujący ANFIS zastosowano do prognozowania krótkoterminowego obciążeń systemów elektroenergetycznych. ANFIS łączy czytelność reguł rozmytych i adaptacyjność samouczących się sieci neuronowych. Model odwzorowuje obraz wejściowy sekwencji historycznego godzinowego szeregu czasowego obciążeń na składową obrazu następnej sekwencji. Przestrzeń wejściowa jest dzielona na zbiory rozmyte przy użyciu rozmytej metody c-średnich. Zmienne wejściowe niosące najwięcej informacji wyznaczane są za pomocą deterministycznych algorytmów selekcji zmiennych. Odrębne modele są tworzone dla każdego typu dnia i godziny doby. Metodę zastosowano do kilku problemów prognozowania obciążeń.
9
Wnioskowanie z różnych źródeł osobników w systemie RKaSeA
Goczyła K., Waloszek A., Waloszek W., Zawadzka T.
Studia Informatica
|
2010
|
Vol. 31, nr 2A
89-103
PL
Niniejszy artykuł prezentuje koncepcję zarządzania wiedzą asercjonalną zastosowaną w systemie zarządzania wiedzą RKASEA. Koncepcja ta traktuje opis świata jako zbiór źródeł osobników. Dzięki temu udało się objąć nią również mechanizm obsługi reguł oraz mechanizm pozyskiwania wiedzy z zewnętrznych źródeł danych. Mechanizmy te są traktowane jako dodatkowe typy źródeł osobników.
EN
The paper presents the concept of managing assertional knowledge in a novel knowledge management system RKASEA. According to this concept the description of the world is handled as a set of sources of individuals. This concept turned out to be flexible enough to cover the mechanism for inferring with rules and the mechanism for acquiring the data from external data sources. In the presented framework the both mechanisms are recognized as additional types of sources of individuals.
10
Wewnętrzna reprezentacja konglomeratowej bazy wiedzy w systemie RKaSeA
Goczyła K., Waloszek A., Waloszek W., Zawadzka T.
Studia Informatica
|
2010
|
Vol. 31, nr 2A
105-120
PL
Niniejszy artykuł prezentuje koncepcję wewnętrznej reprezentacji wiedzy ontologicznej zastosowaną w nowo opracowanym systemie zarządzania wiedzą ontologiczno-regułową RKASEA. Reprezentacja ta stanowi praktyczne wdrożenie opublikowanej wcześniej koncepcji modularyzacji bazy wiedzy polegającej na jej podziale na semantyczne jednostki – konglomeraty. Opracowana metoda reprezentacji stanowi zarazem rozwinięcie wprowadzonej wcześniej metody kartograficznej.
EN
This article presents a novel method of internal knowledge representation. The method has been exploited in newly created RKASEA system and is a practical implementation of the recently published concept of s-modular knowledge bases. The method is also a development of earlier idea of knowledge cartography.
11
Język KQL jako realizacja idei języka SQL dla bazy wiedzy
Goczyła K., Piotrowski P., Waloszek A., Waloszek W., Zawadzki T.
Studia Informatica
|
2010
|
Vol. 31, nr 2A
47-61
PL
W ramach inicjatywy Semantic Web rozwijane są systemy wnioskowania z wiedzy. Ciągle otwartym problemem są również języki dostępu do takich systemów. W artykule zaproponowano nowy język dostępu do zmodularyzowanych baz wiedzy, o cechach umożliwiających jego kompleksowe wykorzystanie w systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka SQL w systemach relacyjnych baz danych.
EN
As a part of the Semantic Web initiative there are being developed knowledge inference systems. Moreover, the languages for accessing such systems are also open issues. The paper proposes a new language for accessing modularized knowledge bases, whose features allows for its comprehensive usage in knowledge management systems in an analogous way as SQL language in relational database systems.
12
Ideologiczny i praktyczny model metaontologii
Goczyła K., Waloszek A., Waloszek W., Zawadzka T.
Studia Informatica
|
2010
|
Vol. 31, nr 2A
63-75
PL
Rozwój inicjatywy Semantic Web spowodował rozwój różnych języków definiowania wiedzy i manipulowania nią. W ramach tych języków istotnym elementem jest zaprojektowanie rozkazów terminologicznych. W artykule przedstawiono sposób realizacji zapytań terminologicznych w języku KQL (Knowledge Query Language) – języku dostępu do systemu zarządzania wiedzą RKaSeA.
EN
The development of Semantic Web initiative resulted in development of many languages for defining and manipulating knowledge. An important aspect of design of those languages is design of terminological statements. The paper presents the way the terminological statements are realized in KQL language (acronym for Knowledge Query Language) – an access language for RKaSeA knowledge management system.
13
Content available remote On Inferences of Weak Multivalued Dependencies
Hartmann S., Link S.
Fundamenta Informaticae
|
2009
|
Vol. 92, nr 1-2
83-102
EN
Nesting is a useful technique in many areas of database practice. For instance, nesting is a fundamental operation for the nested relational data model, it can be applied to reduce the level of data redundancy in a database instance, to improve query processing or to convert data from one model to another. We further address the question when nesting operations commute with one another, i.e., when the final nested database relation is independent of the order in which the nesting operations are applied. In fact, it has been shown that the satisfaction of weakmultivalued dependencies provides a sufficient and necessary condition for the commutativity of nesting operations. We study inference systems for different notions of implication for weak multivalued dependencies. First, we establish an axiomatisation with the property that every weak multivalued dependency can be inferred either without any application of the complementation rule or by a single application of the complementation rule necessary only in the very last step of the inference. Consequently, the complementation rule is a mere means to achieve a decomposition of the database. Secondly, we drop the assumption of having a fixed underlying schema, and establish an axiomatisation of weak multivalued dependencies for the notion of implication in this context.
14
Content available remote Coinductive axiomatization of recursive type equality and subtyping
Brandt M., Henglein F.
Fundamenta Informaticae
|
1998
|
Vol. 33, nr 4
309-338
EN
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by coinductive characterizations of type containment and type equality via simulation and bisimulation, respectively. The main novelty of the axiomatization is the fixpoint rule (or coinduction principle). It states that from A,Pý P one may deduce Aý P, where P is either a type equality t = t1 or type containment t
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ć.