OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : graduační práce (rigorózní, graduační, habilitační)
Domácí pracoviště * : Katedra informatiky a počítačů (31400)
Název * : Non-clausal Resolution Based Formal Logical Systems (PhD. dissertation)
Citace : Habiballa, H. Non-clausal Resolution Based Formal Logical Systems (PhD. dissertation). 2007.
Podnázev :
Rok : 2007
Obor : Využití počítačů, robotika a její aplikace
Místo obhajoby : Ostrava
Datum obhajoby :
Datum uzavření :
Typ graduační práce : Graduační
Počet stran : 121
Instituce :
Klíčová slova anglicky :
fuzzy logic; deduction; resolution;
Popis v původním jazyce :
The thesis presents refutational resolution theorem proving system for both the classical and many-valued logics based on the general (non-clausal) resolution rule. There is also presented a unification algorithm handling existentiality without the need of skolemization. This formalism integrates properties especially suitable for description logic and for fuzzy predicate logic. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Presented formalism overcomes the key unsolvable obstacle - clausal normal form generation (in fuzzy logic) - by introduction of generally applicable inference rule (working with general formulas not only clauses). Additionally we present several inference strategies for efficient theorem proving in fuzzy logic based on Detection of Consequent Formulas algorithm.
Popis v anglickém jazyce :
The thesis presents refutational resolution theorem proving system for both the classical and many-valued logics based on the general (non-clausal) resolution rule. There is also presented a unification algorithm handling existentiality without the need of skolemization. This formalism integrates properties especially suitable for description logic and for fuzzy predicate logic. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Presented formalism overcomes the key unsolvable obstacle - clausal normal form generation (in fuzzy logic) - by introduction of generally applicable inference rule (working with general formulas not only clauses). Additionally we present several inference strategies for efficient theorem proving in fuzzy logic based on Detection of Consequent Formulas algorithm.
Typ zdroje financování výsledku :
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01:

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
Complementary Content
  • ${title}${badge}
${loading}