Count-as Conditionals, Classification and Context

Authors:
Guido Boella;Leendert van der Torre
Affiliations:
Dipartimento di Informatica-Università di Torino-Italy. E-mail: guido@di.unito.it;Department of Computer Science, University of Luxembourg. E-mail: leendert@vandertorre.com
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 2
Cited 0

Contextual taxonomies

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Enterprise Architecture at Work: Modelling, Communication, and Analysis

Enterprise Architecture at Work: Modelling, Communication, and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.