ENGLISH

Belief Revision in Non-Classical Logics

By Márcio Moretto Ribeiro

Book information

Publisher
Springer-Verlag London
Year
2013
ISBN
978-1-4471-4185-3, 978-1-4471-4186-0
DOI
10.1007/978-1-4471-4186-0
Language
english
Format
PDF
Filesize
1 MB (1198899 bytes)
Series
SpringerBriefs in Computer Science
Pages
120\126
Topic
Mathematics Logic
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Artificial Intelligence (incl. Robotics); Mathemat

Description

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics. Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include – besides most Description Logics such as the ones behind OWL – Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.

Similar books