Sciweavers

673 search results - page 46 / 135
» Approximate coherence-based reasoning
Sort
View
TARK
2007
Springer
15 years 6 months ago
Common p-belief and uncertainty
This paper generalizes the notion of common p-beliefs to situations of ambiguity or Knightian uncertainty. When players have multiple prior beliefs,we show that Aumann’s no-agre...
Jayant V. Ganguli
CIE
2006
Springer
15 years 3 months ago
Inverting Monotone Continuous Functions in Constructive Analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
EUSFLAT
2007
136views Fuzzy Logic» more  EUSFLAT 2007»
15 years 1 months ago
Exploring Dialogue Games as Foundation of Fuzzy Logic
A dialogue game based approach to the problem of providing a deeper semantic foundation for t-norm based fuzzy logics is explored. In particular, various versions, extensions and ...
Christian G. Fermüller
APIN
2004
89views more  APIN 2004»
14 years 11 months ago
A Prototypical System for Soft Evidential Update
Autonomous agents that communicate using probabilistic information and use Bayesian networks for knowledge representation need an update mechanism that goes beyond conditioning on ...
Young-Gyun Kim, Marco Valtorta, Jirí Vomlel
FOIKS
2010
Springer
15 years 6 months ago
Towards a Paradoxical Description Logic for the Semantic Web
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang