Britz, KVarzinczak, I2014-10-282014-10-282014-07Britz, K and Varzinczak, I. 2014. Towards a logic of Dilation. In: PRUV 2014: 1st Workshop on Reasoning about Preferences, Uncertainty, and Vagueness, Vienna, Austria, 23-24 July 2014http://ceur-ws.org/Vol-1205/00010059.pdfhttp://hdl.handle.net/10204/7747PRUV 2014: 1st Workshop on Reasoning about Preferences, Uncertainty, and Vagueness, Vienna, Austria, 23-24 July 2014We investigate the notion of dilation of a propositional theory based on neighbourhoods in a generalized approximation space.We take both a semantic and a syntactic approach in order to define a suitable notion of theory dilation in the context of approximate reasoning on the one hand, and a generalized notion of forgetting in propositional logic on the other hand. We place our work in the context of existing theories of approximation spaces and forgetting, and show that neighbourhoods obtained by combining collective and selective dilation provide a suitable semantic framework within which to reason computationally with uncertainty in a classical setting.enIndiscernibilityPropositional theory dilationRough setsSematic approachesSyntactic approachesConference PresentationBritz, K., & Varzinczak, I. (2014). Towards a logic of Dilation. http://hdl.handle.net/10204/7747Britz, K, and I Varzinczak. "Towards a logic of Dilation." (2014): http://hdl.handle.net/10204/7747Britz K, Varzinczak I, Towards a logic of Dilation; 2014. http://hdl.handle.net/10204/7747 .TY - Conference Presentation AU - Britz, K AU - Varzinczak, I AB - We investigate the notion of dilation of a propositional theory based on neighbourhoods in a generalized approximation space.We take both a semantic and a syntactic approach in order to define a suitable notion of theory dilation in the context of approximate reasoning on the one hand, and a generalized notion of forgetting in propositional logic on the other hand. We place our work in the context of existing theories of approximation spaces and forgetting, and show that neighbourhoods obtained by combining collective and selective dilation provide a suitable semantic framework within which to reason computationally with uncertainty in a classical setting. DA - 2014-07 DB - ResearchSpace DP - CSIR KW - Indiscernibility KW - Propositional theory dilation KW - Rough sets KW - Sematic approaches KW - Syntactic approaches LK - https://researchspace.csir.co.za PY - 2014 T1 - Towards a logic of Dilation TI - Towards a logic of Dilation UR - http://hdl.handle.net/10204/7747 ER -