All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

26 391 (0,173s)

Result

Fuzzy IF-THEN Rules from Logical Point of View

The theory of fuzzy IF-THEN rules proposed by L. Zadeh are investigated. We propose a comprehensive logical theory of fuzzy IF-THEN rules which is based on Hajek's predicate BL-logic....

BA - Obecná matematika

  • 2006
  • D
Result

Logical Foundations of Rule-Based Systems

IF-THEN rules free of conflicts (logically consistent) and rich enough to be able to makeThe evolution of a theory of fuzzy IF-THEN rules and its contribution to the establishment of fuzzy logic is a focus of this...

BA - Obecná matematika

  • 2006
  • Jx
Result

Neural Networks for Extraction of Fuzzy Logic Rules with Application to EEG Data

The extraction of logical rules from data is a key application of artificial neural networks (ANNs) in data mining. However, most of the ANN-based rule extraction are not very deep. That is especially much true for methods ...

BA - Obecná matematika

  • 2005
  • D
Result

Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics

as logics which relax the structural rules of classical logic but keep its logical rules as well as the rules of Identity and Cut, super-Belnap logics may be seen as logics whic...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2017
  • Jimp
  • Link
Result

Normal Default Rules as Epistemic Actions

default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action models logic. Then a 'trans...

AA - Filosofie a náboženství

  • 2016
  • Jx
Result

A Study of Rules Extraction Methods with an Application to EEG Data

The paper gives an overview of different kinds of methdos for the extraction of logical rules from data, paying particular attention to the oldest kind of such methods, the extraction of rules of the observational logic...

IN - Informatika

  • 2007
  • C
Result

Admissible Rules of Lukasiewicz Logic

We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity of universal sentences in free MV-a...

BA - Obecná matematika

  • 2010
  • Jx
Result

Admissible Rules in the Implication?Negation Fragment of Intuitionistic Logic

-conclusion admissible rules of the implication?negation fragments of intuitionistic logic IPC and its consistent axiomatic extensions (intermediate logics). A Kripke implication?negation fragments of intermediate logic...

BA - Obecná matematika

  • 2010
  • Jx
Result

Canonical Rules

ofadmissible rules in basic transitive logics which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalentWe develop canonical rules capable...

BA - Obecná matematika

  • 2009
  • Jx
Result

Logic of Association Rules

Basic themes of document: data mining; association rules; mathematical logic; GUHA method; 4ft-Miner procedure...

BA - Obecná matematika

  • 2005
  • Jx
  • 1 - 10 out of 26 391