Cedric Thienot LAFORIA, Department of Computer Science, University P. Curie,...  Home/Search
Context
Related
| dcs.qmw.ac.uk/resear...CedricThienot.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmw.ac.uk/resea...proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article explores uncertainty in a quite unusual way. It develops a theory combining Belief Functions [9] and pseudo-intuitionistic logic [10]. Until today, the use of Belief functions in Kripke-like semantics has not been exploited. Moreover, pseudo-intuitionistic logic, by weakening the deduction mechanism, offers an ideal framework to introduce uncertain reasoning. The main feature of pseudo-intuitionistic logic is to differentiate known facts from deduced facts or in other terms axioms... (Update)
Active bibliography (related documents): More All
0.0: Reasoning About Knowledge: A Survey - Halpern (1995) (Correct)
0.0: A Nonstandard Approach to the Logical Omniscience Problem - Fagin, Halpern, Vardi (1990) (Correct)
0.0: Relevant and Substructural Logics - Restall (2001) (Correct)
Similar documents based on text: More All
0.0: Metaobject Protocols For Distributed Programming - Pawlak (1998) (Correct)
0.0: A New Way to Design Causally and Totally Ordered Multicast.. - Florin Toinard Cedric (1992) (Correct)
0.0: Network Membership: How to solve R-Broadcast efficiently? - Boichat, Duchien (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ thienot99intuitive,
author = "Cedric Thienot",
title = "Intuitive Reasoning with Pseudo-Intuitionistic Semantics",
booktitle = "Proceedings of the {IJCAI}-99 Workshop on Practical Reasoning and Rationality",
publisher = "International Joint Conference on Artificial Intelligence",
address = "Murray Hill, New Jersey",
editor = "John Bell",
pages = "39--47",
year = "1999",
url = "citeseer.ist.psu.edu/265955.html" }
Citations (may not include all citations):625 A mathematical theory of evidence (context) - shafer - 1976
183 A useful four-valued logic (context) - Belnap - 1977
34 Intuitionism, An introduction (context) - Heyting - 1971
1 A logic without modus ponens (context) - Thienot - 1997
1 De ondetrouwbaarheid der logishe principes (context) - Brouwer - 1908
1 Pense logico-mathmatique et intelligence artificielle (context) - De Glas
1 implication doesn't imply inclusion (context) - De Glas, Thienot et al. - 1996
1 Subintuitionistic Logics - Restall - 1994
1 Aspect of Basic Logic (context) - Behrostaghi - 1995
Documents on the same site (http://www.dcs.qmw.ac.uk/research/krr/events/prr/prr99/proceedings.html): More
Multivalued logics and Topics - Demolombe (Correct)
Practical Reasoning and Plan Execution with Active Logic - Purang, Purushothaman.. (1999) (Correct)
Risk Parameters for Utilitarian Desires (Extended Abstract) - van der Torre, Weydert (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC