Loupe
Search Loader

Alexandre Rademaker 
A Proof Theory for Description Logics 

Support

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.


A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.

€53.49
méthodes de payement

Table des matières

Introduction.- Background.- Sequent Calculus for ALC.- Comparing SCalc with other ALC Deduction Systems.- Natural Deduction for ALC.- A Proof Theory for ALCQI.- Proofs and Explanations.- A Prototype Theorem Prover.- Conclusion.

Langue Anglais ● Format PDF ● Pages 106 ● ISBN 9781447140023 ● Taille du fichier 2.8 MB ● Maison d’édition Springer London ● Lieu London ● Pays GB ● Publié 2012 ● Téléchargeable 24 mois ● Devise EUR ● ID 2476703 ● Protection contre la copie DRM sociale

Plus d’ebooks du même auteur(s) / Éditeur

16 155 Ebooks dans cette catégorie