Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie da
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.
Produkteigenschaften
- Artikelnummer: 9781447140016
- Medium: Buch
- ISBN: 978-1-4471-4001-6
- Verlag: Springer
- Erscheinungstermin: 18.05.2012
- Sprache(n): Englisch
- Auflage: 2012. Auflage 2012
- Serie: SpringerBriefs in Computer Science
- Produktform: Kartoniert
- Gewicht: 196 g
- Seiten: 106
- Format (B x H x T): 161 x 248 x 20 mm
- Ausgabetyp: Kein, Unbekannt