Belief Revision in Non-Classical Logics

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing
Cover of the book Belief Revision in Non-Classical Logics by Márcio Moretto Ribeiro, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Márcio Moretto Ribeiro ISBN: 9781447141860
Publisher: Springer London Publication: August 21, 2012
Imprint: Springer Language: English
Author: Márcio Moretto Ribeiro
ISBN: 9781447141860
Publisher: Springer London
Publication: August 21, 2012
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer London

Cover of the book Preventive Dermatology by Márcio Moretto Ribeiro
Cover of the book Managing the Dynamics of New Product Development Processes by Márcio Moretto Ribeiro
Cover of the book Modeling and Simulating Command and Control by Márcio Moretto Ribeiro
Cover of the book Machining of Hard Materials by Márcio Moretto Ribeiro
Cover of the book Multivariate Calculus and Geometry by Márcio Moretto Ribeiro
Cover of the book Acute Pediatric Neurology by Márcio Moretto Ribeiro
Cover of the book Artificial Organs by Márcio Moretto Ribeiro
Cover of the book Three-phase AC-AC Power Converters Based on Matrix Converter Topology by Márcio Moretto Ribeiro
Cover of the book Infected Total Joint Arthroplasty by Márcio Moretto Ribeiro
Cover of the book Computational Methods in Biometric Authentication by Márcio Moretto Ribeiro
Cover of the book Developing Insights in Cartilage Repair by Márcio Moretto Ribeiro
Cover of the book Maritime Governance and Policy-Making by Márcio Moretto Ribeiro
Cover of the book Environmental Online Communication by Márcio Moretto Ribeiro
Cover of the book Peripheral, Head and Neck Surgery by Márcio Moretto Ribeiro
Cover of the book Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques by Márcio Moretto Ribeiro
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy