This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Thu 28 of Mar, 2024 [19:08 UTC]
Menu

Category I.2.3 Deduction and Theorem Proving

Answer/reason extraction Deduction (e.g., natural, rule-based) Inference engines Logic programming Mathematical induction Metatheory Nonmonotonic reasoning and belief revision Resolution Uncertainty, ``fuzzy,'' and probabilistic reas
Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

search category: deep:

Hide subcategories objects

..
 

Objects (23)

I.2.3 Deduction and Theorem Proving Article A MAMDANI-TYPE FUZZY INFERENCE SYSTEM TO AUTOMATICALLY ASSESS ... Abstract: In education it is very important for both users and teachers to know how much the student has learned. To accomplish this task, GRAPHs (the eMathTeacher-compliant tool that will be used to  
I.2.3 Deduction and Theorem Proving Article COMPARING INERVAL ALTERNATIVES "AS WHOLE" Abstract: In this paper we address the following questions. Can we assume that choosing the best interval alternative by their pair-wise comparison, we thus choose the alternative that is preferable  
I.2.3 Deduction and Theorem Proving Article CONSTRUCTING AN OPTIMAL INVESTMENT PORTFOLIO BY USING FUZZY SETS THEORY Abstract: The problem of constructing an optimal portfolio of securities under uncertainty was considered. The global market crisis of recent years has shown that the existing theory of optimization 
I.2.3 Deduction and Theorem Proving Article CONSTRUCTING AN OPTIMAL INVESTMENT PORTFOLIO BY USING FUZZY SETS THEORY Abstract: The problem of constructing an optimal portfolio of securities under uncertainty was considered. The global market crisis of recent years has shown that the existing theory of optimization 
I.2.3 Deduction and Theorem Proving Article DECISION-MAKING IN GROUPS OF INTERVAL ALTERNATIVES Abstract: Problem of comparing alternatives with numerical quality indicators, which due to uncertainty have interval representations, is considered. It is demonstrated inevitability of presence in s 
I.2.3 Deduction and Theorem Proving Article DIRECT AND DUAL PROBLEM OF INVESTMENT PORTFOLIO OPTIMIZATION UNDER UNCERTAINTY Abstract: The problem of forming an optimal portfolio of securities under uncertainty was considered. The main objective of portfolio investment is to improve the investment environment, giving secur 
I.2.3 Deduction and Theorem Proving Article EVALUATING EXPECTED EFFECTIVENESS OF INTERVAL ALTERNATIVES Abstract: Earlier, in the framework of our previous papers, we introduced a criterion for comparing interval alternatives, which was called the assurance factor. It is based on the balance of chances 
I.2.3 Deduction and Theorem Proving Article Evaluating Expected Effectiveness of Interval Alternatives Abstract: Earlier, in the framework of our previous papers, we introduced a criterion for comparing interval alternatives, which was called the assurance factor. It is based on the balance of chances 
I.2.3 Deduction and Theorem Proving Article ON COMBINATION OF DEDUCTION AND ANALYTICAL TRANSFORMATIONS ... Abstract: We investigate a possible way for solving the problem of combination of logical inference search methods and symbolic computation tools in e-learning testing on the basis of the approaches 
I.2.3 Deduction and Theorem Proving Article ON THE COHERENCE BETWEEN PROBABILITY AND POSSIBILITY MEASURES1 Abstract: The purpose of this paper is to study possibility and probability measures in continuous universes, taking different line to the one proposed and dealt with by other authors. We study the c 
I.2.3 Deduction and Theorem Proving Article OPERATING MODEL OF KNOWLEDGE QUANTUM ENGINEERING ... Abstract: The operating model of knowledge quantum engineering for identification and prognostic decisionmaking in conditions of α-indeterminacy is suggested in the article. The synthesized operatin 
I.2.3 Deduction and Theorem Proving Article RISK BEHAVIOUR IN A SET OF INTERVAL ALTERNATIVES Abstract: Problem comparing alternatives under interval uncertainty is studied. It is assumed that the compared alternatives have indicators of quality in the form of interval estimates. It is shown  
I.2.3 Deduction and Theorem Proving Article THE DEVELOPMENT OF PARALLEL RESOLUTION ALGORITHMS USING THE GRAPH REPRESENTATION Abstract. The parallel resolution procedures based on graph structures method are presented. OR-, AND- and DCDP- parallel inference on connection graph representation is explored and modifications to 
I.2.3 Deduction and Theorem Proving Article THE INTELLIGENT DECISION SUPPORT SYSTEM FOR DIAGNOSTIC OF DIFFICULT DISEASES... Abstract: The work is devoted to methods and software tools of designing intelligent decision support systems (IDSS), which helps professionals (decision making persons) helping to diagnose complex p 
I.2.3 Deduction and Theorem Proving Article ИССЛЕДОВАНИЕ МНОГОКРИТЕРИАЛЬНОЙ ЗАДАЧИ ОП� Abstract: The problem of multicriteria fuzzy portfolio optimization is considered and investigated. This problem include two main criteria – portfolio profitableness and risk . A mathematical model  
I.2.3 Deduction and Theorem Proving Article КОМПЛЕКСНЫЙ АНАЛИЗ РИСКА БАНКРОТСТВА КОРПОРАЦИЙ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ Abstract: Different methods of enterprise bankruptcy risk analysis are considered in the paper. Discriminant analysis method of E.Altman and fuzzy method of Nedosekin are described. The method of ban 
I.2.3 Deduction and Theorem Proving Article МЕТОД ПОИСКА РЕШЕНИЙ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ... Аннотация: Рассматриваются методы поиска решений на основе прецедентов и аналогий в интеллектуальных систе 
I.2.3 Deduction and Theorem Proving Article МЕТОДЫ МОДЕЛИРОВАНИЯ ВРЕМЕННЫХ ЗАВИСИМОСТЕЙ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ С ... Аннотация: Работа посвящена методам моделирования временных зависимостей в интеллектуальных системах типа 
I.2.3 Deduction and Theorem Proving Article МОДЕЛИРОВАНИЕ ВРЕМЕННЫХ ЗАВИСИМОСТЕЙ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ ПОДДЕРЖКИ ... Аннотация: В работе рассматриваются вопросы, связанные с моделированием временных зависимостей в интеллект 
I.2.3 Deduction and Theorem Proving Article О ПРИМЕНИМОСТИ ОЦЕНКО МАТЕМАТИЧЕСКОГО ОЖИД Аннотация: В практических задачах сравнения альтернатив с интервальными, из-за неопределенности, показател� 
I.2.3 Deduction and Theorem Proving Article ОЦЕНКА ИНТЕРВАЛЬНЫХ АЛЬТЕРНАТИВ:... Аннотация: Рассмотрена задача принятия решений в условиях неопределенности с одним интервальным показател� 
I.2.3 Deduction and Theorem Proving Article СУЖЕНИЕ МНОЖЕСТВА ПАРЕТО НА ОСНОВЕ НЕЧЁТКОЙ ИНФОРМАЦИИ Аннотация: Обсуждается аксиоматический подход к решению проблемы сужения множества Парето на основе нечётк 
I.2.3 Deduction and Theorem Proving Article ТЕМПОРАЛЬНЫЕ СЕТИ ПЕТРИ И ИХ ПРИМЕНЕНИЕ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ ПОДДЕРЖКИ... Аннотация: Работа посвящена методам моделирования сложных процессов в динамических системах на основе моди 

Page: 1/1
1  
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.21 secs ]   [ Memory usage: 9.13MB ]   [ GZIP Disabled ]   [ Server load: 0.25 ]