2024-03-19T13:55:44Zhttp://digital.csic.es/dspace-oai/requestoai:digital.csic.es:10261/1646642020-12-13T09:17:49Zcom_10261_60com_10261_4col_10261_439
DIGITAL.CSIC
author
Flaminio, Tommaso
author
Godo, Lluis
author
Hosni, Hykel
funder
Ministerio de Economía y Competitividad (España)
funder
European Commission
2018-05-10T10:09:20Z
2018-05-10T10:09:20Z
2017-07-10
Symbolic and Quantitative Approaches to Reasoning with Uncertainty; 14th European Conference ECSQARU 2017. Proceedings; LNAI 10369: 246- 256 (2017)
http://hdl.handle.net/10261/164664
10.1007/978-3-319-61581-3_23
http://dx.doi.org/10.13039/501100000780http://dx.doi.org/10.13039/501100003329
This paper sheds a novel light on the longstanding problem of investigating the logic of conditional events. Building on the framework of Boolean algebras of conditionals previously introduced by the authors, we make two main new contributions. First, we fully characterise the atomic structure of these algebras of conditionals. Second, we introduce the logic of Boolean conditionals (LBC) and prove its completeness with respect to the natural semantics induced by the structural properties of the atoms in a conditional algebra as described in the first part. In addition we outline the close connection of LBC with preferential consequence relations, arguably one of the most appreciated systems of non-monotonic reasoning. © Springer International Publishing AG 2017.
eng
openAccess
Conditionals events
Uncertain reasoning
Non-monotonic reasoning
Boolean algebra of conditionals
On Boolean Algebras of Conditionals and Their Logical Counterpart
artículo
TGljZW5jaWEgQ1NJQyAKClBhcmEgcXVlIGVsIHJlcG9zaXRvcmlvIERpZ2l0YWwuQ1NJQyBwdWVkYSBhbG1hY2VuYXIgeSBkaXN0cmlidWlyIGVsIG9iamV0byBkaWdpdGFsIGRlcG9zaXRhZG8sIAplcyBuZWNlc2FyaW8gcXVlIGxhIHBlcnNvbmEgcXVlIGhhZ2EgZWwgZGVww7NzaXRvIGxlYSB5IGFjZXB0ZSBsYXMgY29uZGljaW9uZXMgZXN0YWJsZWNpZGFzIGVuIAplc3RhIGxpY2VuY2lhOiAKCkVsL2xvcyBhdXRvci9lcyBvIHBvc2VlZG9yL2VzIGRlbCBjb3B5cmlnaHQgZGVsIHRyYWJham8gZGVwb3NpdGFkbyBvIGVuIHN1IGNhc28gbGEgcGVyc29uYSAKZGVsZWdhZGEgcGFyYSBoYWNlcmxvLCBnYXJhbnRpemEgYWwgQ1NJQyBlbCBkZXJlY2hvIG5vIGV4Y2x1c2l2byBwYXJhIGRpc3RyaWJ1aXIsIGFsbWFjZW5hciB5IApwcmVzZXJ2YXIgZW4gZm9ybWF0byBlbGVjdHLDs25pY28gZWwgb2JqZXRvIGRpZ2l0YWwgZGVwb3NpdGFkby4KCkVsIGRlcG9zaXRhbnRlLCBlbiBjYXNvIGRlIHVuYSBvYnJhIGNvbiBtw6FzIGRlIHVuIGF1dG9yLCBnYXJhbnRpemEgcXVlIGxvIGhhY2UgcmVzcG9uc2FibGVtZW50ZSAKZW4gbm9tYnJlIHkgY29uIGNvbnNlbnRpbWllbnRvIGRlIGxvcyBkZW3DoXMgY29hdXRvcmVzLgoKRGVjbGFyYSBxdWUgc2UgdHJhdGEgZGUgdW4gdHJhYmFqbyBvcmlnaW5hbCB5IG5vIGVzdGEgc3VqZXRvIGEgcmVzdHJpY2Npb25lcyBkZSBjb3B5cmlnaHQgY29uIAp0ZXJjZXJvcyBwYXJhIHBvZGVyIG90b3JnYXIgYWwgQ1NJQyBsb3MgZGVyZWNob3MgcmVxdWVyaWRvcyBlbiBlc3RhIGxpY2VuY2lhLgoKU2kgZWwgdHJhYmFqbyBkZXBvc2l0YWRvIGNvbnRpZW5lIG1hdGVyaWFsIGRlbCBxdWUgZWwgYXV0b3Igbm8gcG9zZWUgZWwgY29weXJpZ2h0LCBlbCBhdXRvciAKZGVjbGFyYSBxdWUgaGEgb2J0ZW5pZG8gZWwgcGVybWlzbyBuZWNlc2FyaW8gZGVsIHByb3BpZXRhcmlvIGRlbCBjb3B5cmlnaHQgcGFyYSBnYXJhbnRpemFyIGFsIApDU0lDIGxvcyBkZXJlY2hvcyBkZXNjcml0b3MgZW4gZXN0YSBsaWNlbmNpYSwgeSBxdWUgZWwgcG9zZWVkb3IgZGVsIGNvcHlyaWdodCBlc3TDoSBjbGFyYW1lbnRlIAppZGVudGlmaWNhZG8geSByZWNvbm9jaWRvIGVuIGVsIHRleHRvIG8gY29udGVuaWRvIGRlbCBhcmNoaXZvIGRlcG9zaXRhZG8uCgpFbCBhdXRvciBhY2VwdGEgcXVlIGVsIENTSUMgcHVlZGUsIHNpbiByZWFsaXphciBjYW1iaW9zIGVuIGVsIGNvbnRlbmlkbywgY29udmVydGlyIGVsIHRyYWJham8gYSAKY3VhbHF1aWVyIG1lZGlvIG8gZm9ybWF0byBjb24gb2JqZXRpdm9zIGRlIHByZXNlcnZhY2nDs24uCgpBc2ltaXNtbyBlbCBhdXRvciBhY2VwdGEgcXVlIGVsIENTSUMgcHVlZGUgY29uc2VydmFyIG3DoXMgZGUgdW5hIGNvcGlhIGRlIGVzdGUgdHJhYmFqbyBwYXJhIGdhcmFudGl6YXIgCmxhIHNlZ3VyaWRhZCB5IGxhIHByZXNlcnZhY2nDs24gZGUgbG9zIGFyY2hpdm9zLgoKRWwgQ1NJQyBwcmVzZXJ2YXLDoSB5IGRpZnVuZGlyw6EgZXN0ZSB0cmFiYWpvLiBFbiBlbCBjYXNvIGRlIHF1ZSBubyBwdWVkYSBjb250aW51YXIgbWFudGVuaWVuZG8gZWwgCmFyY2hpdm8gY29tbyBwYXJ0ZSBkZWwgcmVwb3NpdG9yaW8gaW5zdGl0dWNpb25hbCBzZSByZXNlcnZhIGVsIGRlcmVjaG8gZGUgZGV2b2x2ZXIgZWwgY29udGVuaWRvIGFsIApkZXBvc2l0YW50ZS4gU2kgZXN0byBubyBlcyBwb3NpYmxlIChwb3JxdWUgbGEgY29tdW5pZGFkLCBjb2xlY2Npw7NuIGV0Yy4geWEgbm8gZXhpc3RhIG8gZWwgYXV0b3Igbm8gCmVzdMOpIGxvY2FsaXphYmxlKSwgZWwgbWF0ZXJpYWwgcG9kcsOtYSBzZXIgYXJjaGl2YWRvIGNvbW8gcGFydGUgZGVsIGFyY2hpdm8gZGlnaXRhbCBkZSBsYSBpbnN0aXR1Y2nDs24uIAoKU2kgbGEgY29udHJpYnVjacOzbiBzZSBiYXNhIGVuIHRyYWJham9zIGZpbmFuY2lhZG9zIG8gcGF0cm9jaW5hZG9zIHBvciBvcmdhbml6YWNpb25lcyBkaXN0aW50YXMgYWwgCkNTSUMsIGRlY2xhcmEgaGFiZXIgY3VtcGxpZG8gY29uIGN1YWxxdWllciBkZXJlY2hvIHkgb2JsaWdhY2nDs24gZXhwcmVzYWRvcyBlbiBlbCBjb250cmF0byBvIGFjdWVyZG8gCmNvbiBkaWNoYXMgb3JnYW5pemFjaW9uZXMuIAoKRWwgbm9tYnJlIGRlbCBkZXBvc2l0YW50ZSBxdWVkYXLDoSBjbGFyYW1lbnRlIGlkZW50aWZpY2FkbyBwb3IgZWwgQ1NJQyBjb21vIGVsIGRlbCBhdXRvciBvIHByb3BpZXRhcmlvIApkZSBsYSBjb250cmlidWNpw7NuLCB5IGVsIENTSUMgbm8gcmVhbGl6YXLDoSBuaW5ndW5hIGFsdGVyYWNpw7NuIGRlIHN1IGNvbnRyaWJ1Y2nDs24sIGV4Y2VwdG8gbGFzIHJlZmVyaWRhcyAKYWwgZm9ybWF0bywgcGVybWl0aWRhcyBwb3IgZXN0YSBsaWNlbmNpYS4K
URL
https://digital.csic.es/bitstream/10261/164664/1/ECSQARU17_LNAI10369%28246-256%29.pdf
File
MD5
71ffd6b45ac7b565c7f9f29f2c342613
335674
application/pdf
ECSQARU17_LNAI10369(246-256).pdf