Quantcast
Channel: Join eBook, Free eBook Download
Viewing all articles
Browse latest Browse all 3629

A Proof Theory for Description Logics

$
0
0
  A Proof Theory for Description Logics
Alexandre Rademaker, “A Proof Theory for Description Logics”
2012 | ISBN-10: 144714001X | 116 pages | PDF | 3 MB

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.

Download Links:  Uploaded


Viewing all articles
Browse latest Browse all 3629

Trending Articles