2016/03/30 by Marco Garapa, Garapa, Marco, Eduardo Fermé +3
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #cs.LO
paper · pdf · doi:10.48550/arxiv.1603.09286
arxiv created 2016/03/30 · openalex publication_date 2016/03/30 · arxiv updated 2016/03/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper we study the class of brutal base contractions that are based on a bounded ensconcement and also the class of severe withdrawals which are based on bounded epistemic entrenchment relations that are defined by means of bounded ensconcements (using the procedure proposed by Mary-Anne Williams). We present axiomatic characterizations for each one of those classes of functions and investigate the interrelation among them.