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 pro- posed for the famous counting problem, and to suggest that a third mixed approach may be considered.

The Counting Problem in the Light of Role Kinds

Masolo Claudio;Vieu Laure;
2011

Abstract

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 pro- posed for the famous counting problem, and to suggest that a third mixed approach may be considered.
2011
Istituto di Scienze e Tecnologie della Cognizione - ISTC
Inglese
Commonsense-2011, the Tenth International Symposium on Logical Formalization on Commonsense Reasoning (CommonSense 2011)
24
7
AAAI Press
Menlo Park [CA]
STATI UNITI D'AMERICA
21-23 March 2011
Stanford, USA
Ontology; Conceptual Modeling; Time and Change; Roles
ID_PUMA: cnr.istc/2011-A2-037
2
none
Masolo, Claudio; Vieu, Laure; Kitamura, Yoshinobu; Kozaki, Kouji; Mizoguchi, Riichiro
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/179657
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact