R-CALCULUS: A Logic of Belief Revision
portes grátis
R-CALCULUS: A Logic of Belief Revision
Li, Wei; Sui, Yuefei
Springer Verlag, Singapore
11/2021
200
Dura
Inglês
9789811629433
15 a 20 dias
489
Descrição não disponível.
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.
Belief revision;AGM postulates;R-calculus;Gentzen deduction system;Soundness;Completeness;Reachability
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.
