product iamge

Reasoning and Revision in Hybrid Representation Systems

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Bernhard Nebel (auth.)
Series: Lecture Notes in Computer Science 422 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1990

Language: English
Pages: 274
Tags: Artificial Intelligence (incl. Robotics)

Introduction....Pages 1-9
Representation and management of knowledge....Pages 11-33
A hybrid representation formalism....Pages 35-72
Reasoning in the formalism....Pages 73-118
Terminological cycles....Pages 119-147
Belief revision....Pages 149-186
The revision in terminological systems....Pages 187-211
Terminological reason maintenance....Pages 213 -224
Summary and outlook....Pages 225-228
The universal term-forming formalism U....Pages 229-230
Overview of formalism and systems....Pages 231-235