The Counting Problem in the Light of Role Kinds
Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi · 2011
Starting from a general characterization of roles, we focus on the ways in which roles are specified, we examine the formal constraints on their definitions, and propose definitional schemas motivating different kinds of roles. This classification, in addition to clarify the notion of role itself, helps us to reconsider the two standard solutions that have been proposed for the famous counting problem, and to suggest that a third mixed approach may be considered. Commonsense allows us to answer the following questions: 1 How many Alitalia passengers were carried on yesterday’s AZ7342 flight? 2 How many passengers did Alitalia transport in 2009? However, as often happens in commonsense reasoning, a deep ontological analysis is necessary to make explicit what