Sciweavers

882 search results - page 8 / 177
» Allowing State Changes in Specifications
Sort
View
ACL
1992
14 years 18 hour ago
Information States as First Class Citizens
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
Jørgen Villadsen
UAI
1996
14 years 5 days ago
A Qualitative Markov Assumption and Its Implications for Belief Change
The study of belief change has been an active area in philosophy and AI. In recent years, two special cases of belief change, belief revision and belief update, have been studied ...
Nir Friedman, Joseph Y. Halpern
SCP
1998
163views more  SCP 1998»
13 years 10 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
AAAI
2000
14 years 6 days ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin
JAIR
2008
173views more  JAIR 2008»
13 years 10 months ago
Computational Logic Foundations of KGP Agents
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...