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


Tytuł:
Rough membership functions: a tool for reasoning with uncertainty
Autorzy:
Pawlak, Z.
Skowron, A.
Powiązania:
https://bibliotekanauki.pl/articles/1361085.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
evidence theory
rough sets
reasoning with incomplete information
fuzzy sets
Opis:
A variety of numerical approaches for reasoning with uncertainty have been investigated in the literature. We propose rough membership functions, rm-functions for short, as a basis for such reasoning. These functions have values in the interval [0,1] and are computable on the basis of the observable information about the objects rather than on the objects themselves. We investigate properties of the rm-functions. In particular, we show that our approach is intensional with respect to the class of all information systems [P91]. As a consequence we point out some differences between the rm-functions and the fuzzy membership functions [Z65], e.g. the rm-function values for X ∪ Y (X ∩ Y) cannot be computed in general by applying the operation max(min) to the rm-function values for X and Y.
Źródło:
Banach Center Publications; 1993, 28, 1; 135-150
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Neuro-Fuzzy System Based on Logical Interpretation of If-then Rules
Autorzy:
Łęski, J.
Henzel, N.
Powiązania:
https://bibliotekanauki.pl/articles/911145.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system rozmyty
implikacja rozmyta
fuzzy implications
approximate reasoning
neuro-fuzzy systems
soft computing
Opis:
Several important fuzzy implications and their properties are described on the basis of an axiomatic approach to the definition of the fuzzy implications. Then the idea of approximate reasoning using the generalized modus ponens and fuzzy implications is considered. The elimination of the non-informative part of the final fuzzy set before defuzzification plays the key role in this paper. After reviewing well-known fuzzy systems, a new artificial neural network based on logical interpretation of if-then rules (ANBLIR) is introduced. Moreover, this system automatically generates rules from numerical data. Applications of ANBLIR to pattern recognition on numerical examples using benchmark databases are indicated.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 4; 703-722
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An algorithm for finding most likely explanations in valuation based systems
Autorzy:
Wierzchoń, S.
Kłopotek, M.
Powiązania:
https://bibliotekanauki.pl/articles/206796.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
sieć Bayesa
Bayesian networks
most probable configurations
probabilistic reasoning
valuation based systems
Opis:
A method for finding a number of best explanations in so-called valuation based system is presented. Roughly speaking, the method allows to sort (decreasingly or increasingly) a function of many variables without explicit computation of values of this function. The only condition is that the function be decomposable, i.e. can be expressed as a combination of a number of low-dimensional functions called components. Two cases are considered: the combination operator has an inverse and a more elaborated case when the combination operator has no inverse.
Źródło:
Control and Cybernetics; 2000, 29, 4; 921-936
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of deontic logic in role-based access control
Autorzy:
Kołaczek, G.
Powiązania:
https://bibliotekanauki.pl/articles/907988.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
formal logic
access control
RBAC
system security
reasoning automation
Opis:
The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 269-275
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Imposing Restrictions on Density Functions Utilised in Computing With Words
Autorzy:
Gemeinder, M.
Powiązania:
https://bibliotekanauki.pl/articles/908038.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
computing with words
approximate reasoning
resemblance
Opis:
Applying the generalised extension principle within the area of Computing with Words typically leads to complex maximisation problems. If distributed quantities--such as, e.g., size distributions within human populations--are considered, density functions representing these distributions become involved. Very often the optimising density functions do not resemble those found in nature; for instance, an optimising density function could consist of two single Dirac pulses positioned near the opposite bounds of the interval limiting the possible values of the quantity considered. Therefore, in this article, density functions with certain shapes which enable us to overcome this lack of resemblance are considered. Furthermore, some considerations on solving the resulting maximisation problems are reported.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 3; 383-390
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Evolutionary computation based on Bayesian classifiers
Autorzy:
Miquelez, T.
Bengoetxea, E.
Larranaga, P.
Powiązania:
https://bibliotekanauki.pl/articles/907630.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
rozumowanie probabilistyczne
obliczenia ewolucyjne
sieć Bayesa
estymacja algorytmu dystrybucji
hybrid soft computing
probabilistic reasoning
evolutionary computing
classification
optimization
Bayesian networks
estimation of distribution algorithms
Opis:
Evolutionary computation is a discipline that has been emerging for at least 40 or 50 years. All methods within this discipline are characterized by maintaining a set of possible solutions (individuals) to make them successively evolve to fitter solutions generation after generation. Examples of evolutionary computation paradigms are the broadly known Genetic Algorithms (GAs) and Estimation of Distribution Algorithms (EDAs). This paper contributes to the further development of this discipline by introducing a new evolutionary computation method based on the learning and later simulation of a Bayesian classifier in every generation. In the method we propose, at each iteration the selected group of individuals of the population is divided into different classes depending on their respective fitness value. Afterwards, a Bayesian classifier---either naive Bayes, seminaive Bayes, tree augmented naive Bayes or a similar one---is learned to model the corresponding supervised classification problem. The simulation of the latter Bayesian classifier provides individuals that form the next generation. Experimental results are presented to compare the performance of this new method with different types of EDAs and GAs. The problems chosen for this purpose are combinatorial optimization problems which are commonly used in the literature.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2004, 14, 3; 335-349
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie z przesłanek prezentowanych w różnej kolejności. Empiryczna weryfikacja przewidywań teorii modeli umysłowych
Reasoning from promises presented in different orders. Empirical verification of the mental model theory
Autorzy:
Mackiewicz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/52405205.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
order of information
reasoning
the mental model theory
kolejność informacji
rozumowanie
teoria modeli umysłowych
Opis:
The aim of conducting research was to investigate how naive reasoners draw inferences from three premises presented one at a time on a computer screen. According to the mental model theory of reasoning those orders of the premises that call for construction of multiple models should be harder that orders calling for a single model that is only updated with the information from subsequent premises. This prediction was corroborated by means of both accuracy and reaction times in the experiment in which participants were free to draw their own conclusions. It also turned out that drawing conclusions from disjunction inferences with a positive categorical was more difficult that drawing conclusions from inferences with a positive categorical. Also inferences containing two disjunctions proved to be harder than disjunction and conditional inferences.
Źródło:
Roczniki Psychologiczne; 2004, 7, 1; 33-56
1507-7888
Pojawia się w:
Roczniki Psychologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Intelligent decision system based on the evidential reasoning approach and its applications
Autorzy:
Xu, D. L.
Yang, J. B.
Powiązania:
https://bibliotekanauki.pl/articles/308996.pdf
Data publikacji:
2005
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
multicriteria decision support systems
knowledge management
intelligent decision system
evidential reasoning approach
Opis:
Intelligent decision system (IDS) is a window-based software package that has been developed on the basis of the evidential reasoning (ER) approach, a recent development in handling hybrid multiple criteria decision analysis (MCDA) problems with uncertainties. In this paper, the evidential reasoning approach will be briefly described first, and its major differences from and the relationships with conventional MCDA methods will also be discussed. Then the main features, advantages and benefits of IDS will be demonstrated and explained using two application examples: supplier pre-qualification assessment and customer satisfaction survey analysis, which have been investigated as part of the research projects led by the authors and funded by the UK government and the EC. It is concluded in the paper that the ER approach can be used not only to deal with problems that traditional methods can solve, but also to model and analyse more complicated decision problems that traditional methods are incapable of handling.
Źródło:
Journal of Telecommunications and Information Technology; 2005, 3; 73-80
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On application of some artificial intelligence methods in ship design
Autorzy:
Meler-Kapcia, M.
Zieliński, S.
Kowalski, Z.
Powiązania:
https://bibliotekanauki.pl/articles/259171.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
artificial intelligence
expert system
neural networks
relational database
case-based reasoning method
aided ship design
Opis:
In the paper were presented examples of use of some intelligence tools such as a neural network, expert system and relational database to ship design. The neural network of back-propagation of errors was applied to select required power of ship main propulsion system on the basis of ship main parameters. Results obtained by using the network were compared with resulting values for similar ships found in Access database application. To aid design of the main propulsion system and ship power plant automation fuzzy logic was applied as an element of Case Based Reasoning (CBR) method in Exsys expert system as well as a few methods for selection of similar ships, elaborated by the authors.
Źródło:
Polish Maritime Research; 2005, 1; 14-20
1233-2585
Pojawia się w:
Polish Maritime Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A qualitative trajectory calculus as a basis for representing moving objects in Geographical Information Systems
Autorzy:
Weghe, N. van de
Cohn, A. G.
Tre, G. de
Maeyer, P. de
Powiązania:
https://bibliotekanauki.pl/articles/970477.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
obiekt ruchomy
wnioskowanie jakościowe
specyfikacja jakościowa
moving objects
qualitative reasoning
qualitative representation
spatio-temporal modelling
Opis:
Qualitative formalisms, suited to express qualitative temporal or spatial relationships between entities, have gained wide acceptance as a useful way of abstracting from the real world. The question remains how to describe spatio-temporal concepts, such as the interaction between disconnected moving objects, adequately within a qualitative calculus and more specifically how to use this in geographical information systems. In this paper, the Basic Qualitative Trajectory Calculus (QTCB) for representing and reasoning about moving objects is presented. QTCB enables comparisons between positions of objects at different time points ro be made. The calculus is based on few primitives (i.e., distance and speed constraints), making it elegant and theoretically simple. To clarify the way in which trajectories are represented within QTCB: specific cases of movements (e.g. circular movement) are presented. To illustrate the naturalness of QTC, a "predator-prey" example is studied.
Źródło:
Control and Cybernetics; 2006, 35, 1; 97-119
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Tropy. Korzenie paradygmatu poszlakowego
The trails - the roots of the circumstantial paradigm
Autorzy:
Ginzburg, Carlo
Powiązania:
https://bibliotekanauki.pl/articles/691260.pdf
Data publikacji:
2006
Wydawca:
Copernicus Center Press
Tematy:
circumstantial paradigm
reasoning
circumstantial reasoning
trace reasoning
Morelli method
rationalism
irrationalism
Opis:
The circumstantial reasoning is a common and widely used way of acquiring inferences based on a very limited number of premises. This paradigm emerged as an epistemological model at the end of the 19th century but has not yet received any systematic theoretical treatment. The paradigm became famous as the 'Morelli method' utilized by the historians of art to identify the authorship of various pieces of art, paintings in particular. The method allows the identification based on the investigation of certain features that are unnoticeable to the majority of observers. The same procedure seems to be operational among hunters who are capable of reconstructing the behavior as well as the species of an animal with the help of residual traces left in the surroundings. Also, it has its importance in medicine. The trace reasoning is essentially different in its methodology from that of the contemporary natural sciences within the Galilean paradigm. The difference consists in the radical importance of an individual as an individual as opposed to common regularities in nature studied by the natural sciences. Thus the circumstantial reasoning bears distinctively anthropocentric character. The theoretical analysis of this kind of reasoning may be helpful to overcome the tension between rationalism and irrationalism.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2006, 39; 8-65
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
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ł
Tytuł:
A step toward a universal theory of failure handling
Autorzy:
Obeid, N.
Rao, R.B.
Powiązania:
https://bibliotekanauki.pl/articles/328519.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
logika
monitoring
czas
rozumowanie
diagnozowanie
podejmowanie decyzji
uszkodzenie
logic
failure
reasoning
decision-making
learning
diagnosis
time
event
nonmonotonic
Opis:
We explore, in this paper, some of the fundamental requirements needed for a Universal Theory of Failure Handling. We shall show that dealing with failure touches on our reasoning, predictive, evaluative and judgmental capabilities and thus it requires the ability to reason with incomplete and uncertain temporal information. It also requires reasoning with events before they even happen and about the effect of actions for as long as these are relevant, even if the available time does not permit. There may also be a need for reasoning about the reasoning process itself. We shall discuss the notion of failure with respect to decision-making and knowledge. We give a very brief presentation of Dorner's logic of failure and research into artificial intelligence and its implication for handling failures. We shall propose means of computing the degrees of failure induced by humans and in physical systems. In addition, we shall initiate a discussion on reasoning with failures and put forward a proposal for an integrative and proactive approach to monitoring, diagnosis and learning from failures.
Źródło:
Diagnostyka; 2007, 1(41); 5-14
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Evolutionary prediction of manufacturing costs in tool manufacturing
Autorzy:
Ficko, M.
Vaupotič, B.
Balič, J.
Powiązania:
https://bibliotekanauki.pl/articles/384509.pdf
Data publikacji:
2007
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
prediction of tool manufacturing costs
case-based reasoning
genetic programming
Opis:
One of the most important factors in the offer for tool manufacture is the total manufacturing cost. Although the total manufacturing costs can be rather precisely determined by the cost analysis, this approach is not well applicable in tool-making due to cost and, particularly, time demand. Therefore, the authors propose a new approach to prediction of total manufacturing costs, which is based on case based-reasoning method and imitates the human expert. The system first abstracts from CAD-models the geometrical features, and then it calculates the similarities between the source cases and target case. The most similar cases are used for preparation of prediction by genetic programming. The genetic programming method provides the model connecting the individual geometrical features with the costs searched for. Regarding to the connections between geometrical features and tool cost of source cases the formula for calculation of tool cost of target case is being made. The experimental results show that the quality of predictions made by the intelligent system is comparable to the quality assured by the experienced expert.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2007, 1, 4; 51-58
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Komputerowo wspomagane oszacowanie kosztów obróbki skrawaniem z wykorzystaniem zasobów danych firmy
Computer aided estimation of machining costs taking advantage of data resources of a company
Autorzy:
Marowski, W.
Linkiewicz, G.
Filipek, A.
Makowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/209861.pdf
Data publikacji:
2007
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
obróbka metali
koszty
analiza kosztów
case-based reasoning
Opis:
Zasoby danych firmy powinny zawierać informacje o projektowanych w przeszłości procesach obróbki skrawaniem. Informacje takie mogą być wykorzystywane do przyspieszenia i poprawy dokładności szacowania kosztów aktualnie projektowanych procesów obróbki. Można w tym celu użyć aplikacji relacyjnej bazy danych oraz techniki case-based reasoning. Tego rodzaju podejście jest omawiane w niniejszej pracy. Przedstawiono w niej zastosowaną strukturę przechowywania danych procesów obróbki oraz zasadnicze koncepcje ukształtowania interfejsu użytkownika aplikacji. Zaproponowano również sposób określania kryteriów podobieństwa przypadku aktualnego oraz przypadków zrealizowanych w przeszłości i odnalezionych w bazie danych.
Data resources of the company should contain information about machining processes designed in the past. That information can be used to improve cost estimations for currently planned machining processes. The relational database application and case-based reasoning technique can be applied for that purpose. This approach is described in the paper. The data structure and basic concepts of the user interface are proposed. Some suggestions concerning formulating of similarity criteria for the current case and cases retrieved from the database are also presented.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2007, 56, sp.1; 139-148
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł

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