Count-As Conditionals, Classification and Context
暂无分享,去创建一个
Searle represents constitutive norms as count-as conditionals, written as 'X counts as Y in context C'. Grossi et al. study a class of these conditionals as 'in context C, X is classified as Y'. In this paper we propose a generalization of this relation among count-as conditionals, classification and context, by defining a class of count-as conditionals as 'X in context C0 is classified as Y in context C'. We show that if context C0 can be different from context C, then we can represent a larger class of examples, and we have a weaker logic of count-as conditionals.
[1] Guido Boella,et al. Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.
[2] Marek J. Sergot,et al. A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.
[3] A. Koller,et al. Speech Acts: An Essay in the Philosophy of Language , 1969 .
[4] Frank Dignum,et al. Contextual Taxonomies , 2004, CLIMA.
[5] Leon van der Torre,et al. Input/Output Logics , 2000, J. Philos. Log..