PaedDr. Hashim HABIBALLA, Ph.D.

Disertační práce

Formální logické systémy založené na neklauzulární rezoluci

Non-clausal Resolution based Formal Logical Systems
Anotace:
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 …více
Abstract:
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 …více
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 6. 2007
Zveřejnit od: 30. 6. 2007

Obhajoba závěrečné práce

  • Obhajoba proběhla 28. 8. 2007
  • Vedoucí: prof. RNDr. Alena Lukasová, CSc.

Citační záznam

Jak správně citovat práci

HABIBALLA, Hashim. Formální logické systémy založené na neklauzulární rezoluci. Ostrava, 2007. disertační práce (Ph.D.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Plný text práce

Právo: Autor si přeje zpřístupnit práci veřejnosti od 30.6.2007

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou od 30. 6. 2007 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Doktorský studijní program / obor:
Informatika / Informační systémy

Práce na příbuzné téma