15 research outputs found

    Generic Modal Cut Elimination Applied to Conditional Logics

    Full text link
    We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

    A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums

    No full text
    This article presents an affective-based sensemaking system for grouping and suggesting stories created by the users about the cultural artefacts in a museum. By relying on the T-CL commonsense reasoning framework, the system exploits the spatial structure of the Plutchik's "wheel of emotions" to organize the stories according to their extracted emotions. The process of emotion extraction, reasoning, and suggestion is triggered by an app, called GAMGame, and integrated with the sensemaking engine. Following the framework of Citizen Curation, the system allows classifying and suggesting stories encompassing cultural items able to evoke not only the very same emotions of already experienced or preferred museum objects but also novel items sharing different emotional stances and, therefore, able to break the filter bubble effect and open the users' view toward more inclusive and empathy-based interpretations of cultural content. The system has been designed tested, in the context of the H2020EU SPICE project (Social cohesion, Participation, and Inclusion through Cultural Engagement), in cooperation with the community of the d/Deaf and on the collection of the Gallery of Modern Art (GAM) in Turin. We describe the user-centered design process of the web app and of its components and we report the results concerning the effectiveness of the diversity-seeking, affective driven, recommendations of stories
    corecore