Implementing semantics of disjunctive logic programs using fringes and abstract properties
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Heterogeneous active agents, I: semantics
Artificial Intelligence
Heterogeneous Agent Systems
Computing Non-Ground Representations of Stable Models
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Focused most probable world computations in probabilistic logic programs
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.01 |
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions that optimizes some objective function. In past work, Eiter et. al. have proposed a rule based framework for programming agents on top of heterogeneous data sources, but they provide no solutions to the above problem. In this paper, we propose a semantics called optimal feasible status set semantics for agents which allows the agent to associate an objective function with feasible status sets and act according to the feasible status set that optimizes this objective function. We provide both an algorithm to compute exact optimal feasible status sets as well as the TierOpt and FastOpt algorithms to find (suboptimal) feasible status set much faster. We report on experiments on a suite of real agent applications showing that the heuristic algorithms works well in practice.