Sciweavers

242 search results - page 9 / 49
» Reasoning about Rationality and Beliefs
Sort
View
KR
2000
Springer
13 years 11 months ago
Iterated Belief Change in the Situation Calculus
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
Steven Shapiro, Maurice Pagnucco, Yves Lespé...
ISMIS
1994
Springer
14 years 1 days ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
AIR
2004
106views more  AIR 2004»
13 years 7 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
SYNTHESE
2010
130views more  SYNTHESE 2010»
13 years 6 months ago
Belief ascription under bounded resources
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
Natasha Alechina, Brian Logan
IVA
2010
Springer
13 years 5 months ago
Expression of Behaviors in Assistant Agents as Influences on Rational Execution of Plans
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
Jean-Paul Sansonnet, François Bouchet