30 search results - page 3 / 6 » A Syntax-based Approach to Reasoning about Action and Belief... |
ICAIL
2005
ACM
14 years 1 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...
IICAI
2007
13 years 9 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
AI
2010
Springer
13 years 7 months ago
2010
Springer
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...
DALT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...