172 search results - page 4 / 35 » Using Belief to Reason about Cache Coherence |
ATAL
2007
Springer
13 years 12 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
ICAIL
2005
ACM
13 years 11 months ago
2005
ACM
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
DALT
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
FUZZIEEE
2007
IEEE
14 years 3 days ago
2007
IEEE
— When multiple sources provide information about the same unknown quantity, their fusion into a synthetic interpretable message is often a tedious problem, especially when sourc...
JAIR
2011
13 years 22 days ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...