Reasoning and Revision in Hybrid Representation Systems

Representation and management of knowledge.- A hybrid representation formalism.- Reasoning in the formalism.- Terminological cycles.- Belief revision.- The revision in terminological systems.- Terminological reason maintenance.- Summary and outlook.- The universal term-forming formalism U.- Overview of formalism and systems.

Product details

• Authors: Bernhard Nebel
• Publisher: Springer, Berlin
• Content: Book
• Product form: Paperback / Softback
• Publication date: 26.06.2009
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT
• EAN: 9783540524434
• ISBN: 978-3-540-52443-4
• Pages: 274
• Illustrations: XIV, 274 p.
• Dimensions (packing): 17 x 24.2 cm
• Weight (packing): 408 g
• Series: Lecture Notes in Computer Science > Vol.422; Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence > Vol.422; Lecture Notes in Computer Science > 422; Lecture Notes in Artificial Intelligence > 422