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.

Dettagli sul prodotto

• Autori: Bernhard Nebel
• Editore: Springer, Berlin
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 26.06.2009
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica
• EAN: 9783540524434
• ISBN: 978-3-540-52443-4
• Numero di pagine: 274
• Illustrazioni: XIV, 274 p.
• Dimensioni (della confezione): 17 x 24.2 cm
• Peso (della confezione): 408 g
• Serie: 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
• Categorie: Revision, KI, Intelligenz / Künstliche Intelligenz, Künstliche Intelligenz - AI, knowledge, Wissensdarstellung, AutomatischesSchließen, semantischesNetzwerk, hybrideWissensrepräsentationssysteme