Vai al contenuto principale della pagina

Belief revision in non-classical logics / Márcio Moretto Ribeiro



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Ribeiro, Márcio Moretto Visualizza persona
Titolo: Belief revision in non-classical logics / Márcio Moretto Ribeiro
Link to work: Belief revision in non-classical logics Visualizza cluster
Pubblicazione: London ; New York : Springer, ©2013
Estensione: 1 online resource (xi, 120 pages).
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 005.101/5113
Titolo uniforme di collana: SpringerBriefs in computer science.
Genere/Forma: Electronic books
Index term-Uncontrolled: Artificial intelligence
Computer science
Logic
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Soggetto non controllato: Artificial intelligence
Computer science
Logic
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Termine d'indicizzazione-Occupazione: Artificial intelligence
Computer science
Logic
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Classificazione: 54.10
Classificazione LOC: QA76.9.L63 R53 2013eb
Contenuto supplementare: Includes bibliographical references and index.
Nota di contenuto: Consequence -- Logics -- Classical Belief Revision -- AGM Contraction in Non-Classical Logics -- AGM Revision in Logics Without Negation -- Base Revision in Logics Without Negation -- Algorithms for Belief Bases -- Conclusion.
Restrizioni accesso: Access is restricted to users affiliated with licensed institutions.
Sommario/riassunto: 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.
Collana: SpringerBriefs in computer science, 2191-5776
ISBN: 9781447141860
1447141865
9781447141853
1447141857
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 004624353
Localizzazioni e accesso elettronico https://ebookcentral.proquest.com/lib/nyulibrary-ebooks/detail.action?docID=972456
Collocazione: Electronic access
Lo trovi qui: New York University
Altra ed. diverso supporto: Print version: Belief revision in non-classical logics. London ; New York : Springer, ©2013 9781447141853 (OCoLC)788251188