ResearchSpace

Towards a logic of Dilation

Show simple item record

dc.contributor.author Britz, K
dc.contributor.author Varzinczak, I
dc.date.accessioned 2014-10-28T08:57:23Z
dc.date.available 2014-10-28T08:57:23Z
dc.date.issued 2014-07
dc.identifier.citation Britz, 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 2014 en_US
dc.identifier.uri http://ceur-ws.org/Vol-1205/00010059.pdf
dc.identifier.uri http://hdl.handle.net/10204/7747
dc.description PRUV 2014: 1st Workshop on Reasoning about Preferences, Uncertainty, and Vagueness, Vienna, Austria, 23-24 July 2014 en_US
dc.description.abstract 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. en_US
dc.language.iso en en_US
dc.relation.ispartofseries Workflow;13520
dc.subject Indiscernibility en_US
dc.subject Propositional theory dilation en_US
dc.subject Rough sets en_US
dc.subject Sematic approaches en_US
dc.subject Syntactic approaches en_US
dc.title Towards a logic of Dilation en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Britz, K., & Varzinczak, I. (2014). Towards a logic of Dilation. http://hdl.handle.net/10204/7747 en_ZA
dc.identifier.chicagocitation Britz, K, and I Varzinczak. "Towards a logic of Dilation." (2014): http://hdl.handle.net/10204/7747 en_ZA
dc.identifier.vancouvercitation Britz K, Varzinczak I, Towards a logic of Dilation; 2014. http://hdl.handle.net/10204/7747 . en_ZA
dc.identifier.ris 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 - en_ZA


Files in this item

Thumbnail
Name: Britz2_2014.pdf
Size: 234.6Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record