R-CALCULUS: A Logic of Belief Revision

Introduction.- Preliminaries.- R-calculi for Propositional Logic.- R-calculi for Description Logics.- R-calculi for Modal Logic.- R-calculi for Logic Programming.- R-calculi for First-order Logic.- Nonmonotonicity of R-calculus.- Approximate R-calculus.- An application to Default Logic.- An application to Semantic Networks.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Inteligência artificial
• Teoria matemática da computação
• Lógica matemática
• Fundamentos da Matemática
• Modelação matemática
• Matemática para engenheiros
• Bases de Dados

Belief revision;AGM postulates;R-calculus;Gentzen deduction system;Soundness;Completeness;Reachability