bokomslag Proof Theory for Description Logics
Data & IT

Proof Theory for Description Logics

Alexandre Rademaker

Pocket

729:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Denna produkt går inte att reservera, köp den gärna online!

  • 106 sidor
  • 2012
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.
  • Författare: Alexandre Rademaker
  • Format: Pocket/Paperback
  • ISBN: 9781447140016
  • Språk: Engelska
  • Antal sidor: 106
  • Utgivningsdatum: 2012-05-18
  • Förlag: Springer London Ltd