Results for 'Daniele Fulvi'

978 found
Order:
  1. Must We Worry About Epistemic Shirkers?Daniele Bruno - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy:1-26.
    It is commonly assumed that blameworthiness is epistemically constrained. If one lacks sufficient epistemic access to the fact that some action harms another, then one cannot be blamed for harming. Acceptance of an epistemic condition for blameworthiness can give rise to a worry, however: could agents ever successfully evade blameworthiness by deliberately stunting their epistemic position? I discuss a particularly worrisome version of such epistemic shirking, in which agents pre-emptively seek to avoid access to potentially morally relevant facts. As Roy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Una proposta per la caratterizzazione della credenza religiosa.Daniele Bertini - 2014 - Dialegesthai. Rivista Telematica di Filosofia 16.
    My paper challenges the externalist mainstream assumptions towards the understanding of religious beliefs (i.e., reliabilism by W.Alston, the warrant belief approach by A.Plantinga, the neowittgensteinian analysis of doxastic systems). According to such assumptions, religious beliefs should be evaluated rational in terms of the same doxastic standard giving justification for ordinary factual beliefs. Moving from the empiricist intuition that the kind of content of belief matters to the form of belief and the justification practices for it, I argue for the claim (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Assertion and hypothesis: a logical framework for their opposition relations.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logic Journal of the IGPL 25 (2):131-144.
    Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  4. Asymmetric Hybrids: Dialogues for Computational Concept Combination.Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria Hedblom & Pietro Galliani - 2022 - In Fabian Neuhaus & Boyan Brodaric (eds.), Formal Ontology in Information Systems - Proceedings of the Twelfth International Conference, {FOIS} 2021, Bozen-Bolzano, Italy, September 11-18, 2021. Frontiers in Artificial Intelligence and Applications 344. IOS Press. pp. 81-96.
    When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Dual PECCS: A Cognitive System for Conceptual Representation and Categorization.Antonio Lieto, Daniele Radicioni & Valentina Rho - 2017 - Journal of Experimental and Theoretical Artificial Intelligence 29 (2):433-452.
    In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  6. On the elusive notion of meta-agreement.Valeria Ottonelli & Daniele Porello - 2013 - Politics, Philosophy and Economics 12 (1):68-92.
    Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  7. Philosophical aspects of probabilistic seismic hazard analysis (PSHA): a critical review.Luca Zanetti & Daniele Chiffi - 2023 - Natural Hazards:1-20.
    The goal of this paper is to review and critically discuss the philosophical aspects of probabilistic seismic hazard analysis (PSHA). Given that estimates of seismic hazard are typically riddled with uncertainty, diferent epistemic values (related to the pursuit of scientifc knowledge) compete in the selection of seismic hazard models, in a context infuenced by non-epistemic values (related to practical goals and aims) as well. We frst distinguish between the diferent types of uncertainty in PSHA. We claim that epistemic and nonepistemic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Pink panthers and toothless tigers: three problems in classification.Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard & Claudio Masolo - 2019 - In Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard & Claudio Masolo (eds.), Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, Manchester, UK, September 10-11, 2019. {CEUR} Workshop Proceedings 2483. pp. 39-53.
    Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. From human to artificial cognition and back: New perspectives on cognitively inspired AI systems.Antonio Lieto & Daniele Radicioni - 2016 - Cognitive Systems Research 39 (c):1-3.
    We overview the main historical and technological elements characterising the rise, the fall and the recent renaissance of the cognitive approaches to Artificial Intelligence and provide some insights and suggestions about the future directions and challenges that, in our opinion, this discipline needs to face in the next years.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Sense and Proof.Carlo Penco & Daniele Porello - 2010 - In Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado Sinigaglia (eds.), New Essays in Logic and Philosophy of Science. College Publications.
    In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Towards Even More Irresistible Axiom Weakening.Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard - 2020 - In Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard (eds.), Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event, Rhodes, Greece.
    Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. The Trade between Fiction and Reality: Smuggling across Imagination and the World.Wolfgang Huemer, Daniele Molinari & Valentina Petrolini - 2022 - Discipline Filosofiche 32 (2):191-213.
    The current debate on literary cognitivism in the philosophy of fiction typically assumes that we can rigorously distinguish between fictional and factual, and focuses on the question of whether and how works of fiction can impart propositional knowledge to the reader. In this paper we suggest that this way of framing the debate may be problematic. We argue that works of fiction almost inevitably include a reference to the real world and that – contrary to what is usually assumed – (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. On assertion and denial in the logic for pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Journal of Applied Logic 25:S97-S107.
    The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Logical operators for ontological modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36.
    We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Some Preliminaries on Assertion and Denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:203-207.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Extending and Applying a Logic for Pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:227-244.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Incentives for Research Effort: An Evolutionary Model of Publication Markets with Double-Blind and Open Review.Mantas Radzvilas, Francesco De Pretis, William Peden, Daniele Tortoli & Barbara Osimani - 2023 - Computational Economics 61:1433-1476.
    Contemporary debates about scientific institutions and practice feature many proposed reforms. Most of these require increased efforts from scientists. But how do scientists’ incentives for effort interact? How can scientific institutions encourage scientists to invest effort in research? We explore these questions using a game-theoretic model of publication markets. We employ a base game between authors and reviewers, before assessing some of its tendencies by means of analysis and simulations. We compare how the effort expenditures of these groups interact in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Ontological Foundations of Competition.Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi & John Mylopoulos - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018). IOS Press. pp. 96-112.
    It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. (1 other version)Pluralities, Collectives, and Composites.Claudio Masolo, Laure Vieu, Stefano Borgo, Roberta Ferrario & Daniele Porello - 2020 - In Boyan Brodaric & Fabian Neuhaus (eds.), Formal Ontology in Information Systems - Proceedings of the 11th International Conference, {FOIS} 2020, Cancelled / Bozen-Bolzano, Italy, September 14-17, 2020. Frontiers in Artificial Intelligence and Applications 330. pp. 186-200.
    Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Companion robots: the hallucinatory danger of human-robot interactions.Piercosma Bisconti & Daniele Nardi - 2018 - In Piercosma Bisconti & Daniele Nardi (eds.), AIES '18: Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society. pp. 17-22.
    The advent of the so-called Companion Robots is raising many ethical concerns among scholars and in the public opinion. Focusing mainly on robots caring for the elderly, in this paper we analyze these concerns to distinguish which are directly ascribable to robotic, and which are instead preexistent. One of these is the “deception objection”, namely the ethical unacceptability of deceiving the user about the simulated nature of the robot’s behaviors. We argue on the inconsistency of this charge, as today formulated. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Needs and intentionality.Luca Biccheri, Roberta Ferrario & Daniele Porello - 2020 - In Boyan Brodaric & Fabian Neuhaus (eds.), Formal Ontology in Information Systems - Proceedings of the 11th International Conference, {FOIS} 2020, Cancelled / Bozen-Bolzano, Italy, September 14-17, 2020. Frontiers in Artificial Intelligence and Applications 330. pp. 125-139.
    A thorough understanding of what needs are is fundamental for design- ing well-behaved information systems for many social applications and in partic- ular for public services. Talking about needs pervades indeed the jargon of Public Administrations when motivating their service offering. In this paper, we propose an ontological analysis of needs, aiming at a principled disentangling of the differ- ent uses of the term. We leverage philosophical tradition on intentionality, for its rich understanding of mental entities, we compare it with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. DOLCE: A descriptive ontology for linguistic and cognitive engineering1.Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Emilio M. Sanfilippo & Laure Vieu - 2022 - Applied ontology 17 (1):45-69.
    dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  24. UFO: Unified Foundational Ontology.Giancarlo Guizzardi, Alessander Bottes Benevides, Claudemir M. Fonseca, João Paulo A. Almeida, Tiago Prince Sales & Daniele Porello - 2022 - Applied ontology 1 (17):167-210.
    The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Responsible innovation at work: gamification, public engagement, and privacy by design.Blok Vincent, Ruggio Daniele & Coenen Christopher - 2022 - Journal of Responsible Innovation.
    Download  
     
    Export citation  
     
    Bookmark  
  26.  92
    A Formal Account of AI Trustworthiness: Connecting Intrinsic and Perceived Trustworthiness.Piercosma Bisconti, Letizia Aquilino, Antonella Marchetti & Daniele Nardi - forthcoming - Aies '24: Proceedings of the 2024 Aaai/Acmconference on Ai, Ethics, and Society.
    This paper proposes a formal account of AI trustworthiness, connecting both intrinsic and perceived trustworthiness in an operational schematization. We argue that trustworthiness extends beyond the inherent capabilities of an AI system to include significant influences from observers' perceptions, such as perceived transparency, agency locus, and human oversight. While the concept of perceived trustworthiness is discussed in the literature, few attempts have been made to connect it with the intrinsic trustworthiness of AI systems. Our analysis introduces a novel schematization to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca & Daniele Porello - 2021 - Data and Knowledge Engineering 1 (134):101891.
    Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Hybrid collective intentionality.Thomas Brouwer, Roberta Ferrario & Daniele Porello - 2020 - Synthese 199 (1-2):3367-3403.
    The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29. Perceptron Connectives in Knowledge Representation.Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard - 2020 - In Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard (eds.), Knowledge Engineering and Knowledge Management - 22nd International Conference, {EKAW} 2020, Bolzano, Italy, September 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12387. pp. 183-193.
    We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  31. Complexity of Judgment Aggregation.Ulle Endriss, Umberto Grandi & Daniele Porello - 2012 - Journal of Artificial Intelligence Research 45:481--514.
    We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  32. Mettere a Fuoco Il Mondo. Conversazioni sulla Filosofia di Achille Varzi (Special Issue of Isonomia – Epistemologica).Elena Casetta, Valeria Giardino, Andrea Borghini, Patrizia Pedrini, Francesco Calemi, Daniele Santoro, Giuliano Torrengo, Claudio Calosi, Pierluigi Graziani & Achille C. Varzi (eds.) - 2014 - ISONOMIA – Epistemologica. University of Urbino.
    Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. The interplay between models and observations.Claudio Masolo, Alessander Botti Benevides & Daniele Porello - 2018 - Applied ontology 13 (1):41-71.
    We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Anti-doping, purported rights to privacy and WADA's whereabouts requirements: A legal analysis.Oskar MacGregor, Richard Griffith, Daniele Ruggiu & Mike McNamee - 2013 - Fair Play 1 (2):13-38.
    Recent discussions among lawyers, philosophers, policy researchers and athletes have focused on the potential threat to privacy posed by the World Anti-Doping Agency’s (WADA) whereabouts requirements. These requirements demand, among other things, that all elite athletes file their whereabouts information for the subsequent quarter on a quarterly basis and comprise data for one hour of each day when the athlete will be available and accessible for no advance notice testing at a specified location of their choosing. Failure to file one’s (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Geometry as a Universal mental Construction.Véronique Izard, Pierre Pica, Danièle Hinchey, Stanislas Dehane & Elizabeth Spelke - 2011 - In Stanislas Dehaene & Elizabeth Brannon (eds.), Space, Time and Number in the Brain: Searching for the Foundations of Mathematical Thought. Oxford University Press.
    Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The spatial content of the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  36. Design Knowledge Representation: An Ontological Perspective.Emilio M. Sanfilippo, Claudio Masolo & Daniele Porello - 2015 - In Emilio M. Sanfilippo, Claudio Masolo & Daniele Porello (eds.), Proceedings of the 1st Workshop on Artificial Intelligence and Design, {A} workshop of the {XIV} International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. pp. 41-54.
    We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the different kinds of (quali- tative and quantitative) knowledge involved in the designing process. We discuss the conceptual nature of engineering design by individuating and analyzing the involved notions. These notions are then formally charac- terized by extending the DOLCE foundational ontology. Our ultimate purpose is twofold: (i) to contribute to foundational issues of design; and (ii) to support (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. (1 other version)Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis.Davide Conigliaro, Celine Hudelot, Roberta Ferrario & Daniele Porello - 2017 - In Vittorio Murino, Marco Cristani, Shishir Shah & Silvio Savarese (eds.), Group and Crowd Behavior for Computer Vision, 1st Edition. pp. 297-319.
    In this paper, building on these previous works, we propose to go deeper into the understanding of crowd behavior by proposing an approach which integrates ontologi- cal models of crowd behavior and dedicated computer vision algorithms, with the aim of recognizing some targeted complex events happening in the playground from the observation of the spectator crowd behavior. In order to do that, we first propose an ontology encoding available knowledge on spectator crowd behavior, built as a spe- cialization of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca, Daniele Porello, Joao Paulo Almeida & Nicola Guarino - 2018 - In J. C. Trujillo, K. C. Davis, X. Du, Z. Li, T. W. Ling, G. Li & M. L. Lee (eds.), Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an, China, October 22-25, 2018, Proceedings. Springer. pp. 136--150.
    For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Features and Components in Product Models.Emilio M. Sanfilippo, Claudio Masolo, Stefano Borgo & Daniele Porello - 2016 - In Emilio M. Sanfilippo, Claudio Masolo, Stefano Borgo & Daniele Porello (eds.), Formal Ontology in Information Systems - Proceedings of the 9th International Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016. Frontiers in Artificial Intelligence and Applications 283. pp. 227-240.
    Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Towards Knowledge-driven Distillation and Explanation of Black-box Models.Roberto Confalonieri, Guendalina Righetti, Pietro Galliani, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Roberto Confalonieri, Guendalina Righetti, Pietro Galliani, Nicolas Toquard, Oliver Kutz & Daniele Porello (eds.), Proceedings of the Workshop on Data meets Applied Ontologies in Explainable {AI} {(DAO-XAI} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 18th to 19th, 2021. CEUR 2998.
    We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello & Joel Uckelman - 2011 - In Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello & Joel Uckelman (eds.), {IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pp. 18--23.
    Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. The Psychological Implications of Companion Robots: A Theoretical Framework and an Experimental Setup.Nicoletta Massa, Piercosma Bisconti & Daniele Nardi - 2022 - International Journal of Social Robotics (Online):1-14.
    In this paper we present a theoretical framework to understand the underlying psychological mechanism involved in human-Companion Robot interactions. At first, we take the case of Sexual Robotics, where the psychological dynamics are more evident, to thereafter extend the discussion to Companion Robotics in general. First, we discuss the differences between a sex-toy and a Sexual Robots, concluding that the latter may establish a collusive and confirmative dynamics with the user. We claim that the collusiveness leads to two main consequences, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Concept Combination in Weighted Logic.Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello (eds.), Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems {(FOIS} 2021), and the 12th Internati.
    We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  85
    Methodological Individualism and Methodological Localism: A Discussion with Daniel Little.Daniel Little, Nathalie Bulle & Francesco Di Iorio - 2023 - In Nathalie Bulle & Francesco Di Iorio (eds.), The Palgrave Handbook of Methodological Individualism: Volume II. Springer Verlag. pp. 633-658.
    This chapter takes the form of a discussion between the editors of this volume and Daniel Little regarding the relationship between methodological individualism and methodological localism. The focus is on Little’s view that methodological individualism is incompatible with the assumption that actors are socially constituted and socially situated as well as on other topics such as micro-foundations, the micro–macro link, ontological individualism, causal explanation, rationality, Bourdieu’s theory of habitus, and Durkheim.
    Download  
     
    Export citation  
     
    Bookmark  
  45. The Cognitive Basis of Computation: Putting Computation in Its Place.Daniel D. Hutto, Erik Myin, Anco Peeters & Farid Zahnoun - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 272-282.
    The mainstream view in cognitive science is that computation lies at the basis of and explains cognition. Our analysis reveals that there is no compelling evidence or argument for thinking that brains compute. It makes the case for inverting the explanatory order proposed by the computational basis of cognition thesis. We give reasons to reverse the polarity of standard thinking on this topic, and ask how it is possible that computation, natural and artificial, might be based on cognition and not (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  46. Is it Possible to Have Episodic Memories During Non-Lucid Dreams?Daniel Gregory - forthcoming - In Daniel Gregory & Kourken Michaelian (eds.), Dreaming and Memory. Springer.
    The purpose of this paper is not to show that the answer to the question in the title is ‘no’, but to show that it is ‘probably not’, at least on one particular theory of memory. Assuming that an experience will only be an episodic memory if we are ‘disposed to take the relevant experience into account when judging about the past’ (Debus 2010, p. 25), there are many obstacles to answering the question in the affirmative. If one holds that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Rationality and Acquaintance in Theories of Introspection.Daniel Stoljar - forthcoming - In Davide Bordini, Arnaud Dewalque & Anna Giustina (eds.), Consciousness and Inner Awareness. Cambridge University Press.
    Abstract: According to a rationalist theory of introspection, rational agents have a capacity to believe they are in conscious states when they are in them, much as they have the capacity, for example, to avoid obvious contradictions in their beliefs. For the agent to know or believe by introspection, on this view, is for them to exercise that capacity. According to an acquaintance theory of introspection, by contrast, whenever an agent is in a conscious state, the agent is aware of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Thought Experiments, Concepts and Conceptions.Daniele Sgaravatti - 2015 - In Eugen Fischer & John Collins (eds.), Experimental Philosophy, Rationalism, and Naturalism: Rethinking Philosophical Method. London: Routledge. pp. 132-150.
    The paper aims to offer an account of the cognitive capacities involved in judgements about thought experiments, without appealing to the notions of analyticity or intuition. I suggest that we employ a competence in the application of the relevant concepts. In order to address the worry that this suggestion is not explanatory, I look at some theories of concepts discussed in psychology, and I use them to illustrate how such competence might be realized. This requires, crucially, distinguishing between concepts and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  62
    Editors' Introduction.Daniel Gregory & Kourken Michaelian - forthcoming - In Daniel Gregory & Kourken Michaelian (eds.), Dreaming and Memory. Springer.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Data and the Good?Daniel Susser - 2022 - Surveillance and Society 20 (3):297-301.
    Surveillance studies scholars and privacy scholars have each developed sophisticated, important critiques of the existing data-driven order. But too few scholars in either tradition have put forward alternative substantive conceptions of a good digital society. This, I argue, is a crucial omission. Unless we construct new “sociotechnical imaginaries,” new understandings of the goals and aspirations digital technologies should aim to achieve, the most surveillance studies and privacy scholars can hope to accomplish is a less unjust version of the technology industry’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 978