A formal analysis of some factor- and precedent-based accounts of precedential constraint
Henry Prakken
Abstract
Abstract In this paper several recent factor- and dimension-based models of precedential constraint are formally investigated and an alternative dimension-based model is proposed. Simple factor- and dimension-based syntactic criteria are identified for checking whether a decision in a new case is forced, in terms of the relevant differences between a precedent and a new case, and the difference between absence of factors and negated factors in factor-based models is investigated. Then Horty’s and Rigoni’s recent dimension-based models of precedential constraint are critically examined. An alternative to their reason models is proposed which is less expressive but arguably easier to apply in practice.
Topics & Concepts
Constraint (computer-aided design)Dimension (graph theory)Factor (programming language)Simple (philosophy)Computer scienceMathematicsEpistemologyProgramming languagePhilosophyCombinatoricsGeometryLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicConstraint Satisfaction and Optimization