Fr. 106.80

A Proof Theory for Description Logics

Englisch · Taschenbuch

Versand in der Regel in 4 bis 7 Arbeitstagen

Beschreibung

Mehr lesen

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.

Inhaltsverzeichnis

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.

Zusammenfassung

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.

Produktdetails

Autoren Alexandre Rademaker
Verlag Springer, Berlin
 
Sprache Englisch
Produktform Taschenbuch
Erschienen 22.02.2012
 
EAN 9781447140016
ISBN 978-1-4471-4001-6
Seiten 106
Abmessung 155 mm x 235 mm x 6 mm
Gewicht 190 g
Illustration X, 106 p. 16 illus.
Serien SpringerBriefs in Computer Science
Springer
SpringerBriefs in Computer Science
Springerbriefs in Computer Sci
Thema Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.