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.

Sommario

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.

Dettagli sul prodotto

• Autori: Bernhard Nebel
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 26.06.2009
• EAN: 9783540524434
• ISBN: 978-3-540-52443-4
• Pagine: 274
• Peso: 408 g
• Illustrazioni: XIV, 274 p.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica