Sciweavers

7960 search results - page 1 / 1592
» Systems for Knowledge and Beliefs
Sort
View
IICAI
2003
13 years 6 months ago
Belief Augmented Frame Sets for Knowledge Representation in Spoken Dialog Systems
We propose a frame structure that is augmented with belief functions to model knowledge in a spoken dialog system. In addition we propose methods to combine belief functions in the...
Colin Keng-Yan Tan, Kim-Teng Lua
ICAIL
1999
ACM
13 years 9 months ago
Knowledge criteria for the evaluation of legal beliefs
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
Laurens Mommers, H. Jaap van den Herik
JELIA
1990
Springer
13 years 9 months ago
Systems for Knowledge and Beliefs
Wiebe van der Hoek
ATAL
2005
Springer
13 years 10 months ago
A computationally grounded logic of knowledge, belief and certainty
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
APAL
2005
117views more  APAL 2005»
13 years 5 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger