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 |