Author:Rens, G; Ferrein, A; Van der Poel, EDate:Jun 2009Traditionally, agent architectures based on the Belief-Desire-Intention (BDI) model make use of precompiled plans, or if they do generate plans, the plans do not involve stochastic actions nor probabilistic observations. Plans that do involve ...Read more
Author:Varzinczak, IJDate:Jun 2009Logical theories in reasoning about actions may also evolve and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. Researchers here fill this gap by providing an algorithmic approach for ...Read more
Author:Booth, R; Meyer, T; Varzinczak, IJDate:Jun 2009Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on Horn logic. In addition ...Read more