Formální logické systémy založené na neklauzulární rezoluci – PaedDr. Hashim HABIBALLA, Ph.D.
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íceAbstract:
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á fakultaOSTRAVSKÁ UNIVERZITA V OSTRAVĚ
Přírodovědecká fakultaDoktorský studijní program / obor:
Informatika / Informační systémy
Práce na příbuzné téma
- Žádné práce na příbuzné téma.