Sciweavers

1757 search results - page 284 / 352
» Alternating Refinement Relations
Sort
View
AI
2011
Springer
14 years 10 months ago
A unifying action calculus
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
Michael Thielscher
CDC
2010
IEEE
136views Control Systems» more  CDC 2010»
14 years 10 months ago
The role of social feedback in steady-state performance of human decision making for two-alternative choice tasks
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
Andrew Reed Stewart, Naomi Ehrich Leonard
COGSR
2011
109views more  COGSR 2011»
14 years 10 months ago
How groups develop a specialized domain vocabulary: A cognitive multi-agent model
We simulate the evolution of a domain vocabulary in small communities. Empirical data show that human communicators can evolve graphical languages quickly in a constrained task (P...
David Reitter, Christian Lebiere
FSS
2011
93views more  FSS 2011»
14 years 10 months ago
Upper and lower probabilities induced by a fuzzy random variable
We review two existing interpretations of fuzzy random variables. In the first one, the fuzzy random variable is viewed as a linguistic random variable. In the second case, it re...
Inés Couso, Luciano Sánchez
JAIR
2011
144views more  JAIR 2011»
14 years 10 months ago
Iterated Belief Change Due to Actions and Observations
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...
Aaron Hunter, James P. Delgrande