Sciweavers

857 search results - page 77 / 172
» A Logic of Emotions for Intelligent Agents
Sort
View
DALT
2005
Springer
14 years 3 months ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
AAAI
2008
14 years 18 days ago
Nonmonotonic Modes of Inference
In this paper we investigate nonmonotonic `modes of inference'. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic co...
Victor Jauregui
AAAI
1998
13 years 11 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
ATAL
2004
Springer
14 years 3 months ago
Desires, Norms and Constraints
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
Laurence Cholvy, Christophe Garion
CIA
2003
Springer
14 years 3 months ago
Logic Programming for Evolving Agents
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
José Júlio Alferes, Antonio Brogi, J...