2
|
Abstract:
Abstract. This paper reports on the use of logic program updates to models actions that bring about changes in knowledge states describing the world and its rules. The LUPS language is employed to specify concurrent update rules to model actions that depend on, and change, rule rich world states, not described simply by propositional fluents. This language and corresponding semantics, whose original stable semantics we generalize to the well-founded setting, is briefly recapitulated here. The advantages of our approach to modelling actions as updates are brought out by a number of telling examples, especially conceived for the purpose. They have been test run in our implementation of LUPS, though the latter is not described here for lack of space.
Citations
| 1152 | The stable model semantics for logic programming – Gelfond, Lifschitz - 1988 |
| 714 | The well-founded semantics for general logic programs – Gelder, Ross, et al. - 1991 |
| 159 | Embracing causality in specifying the indirect effects of actions – Lin - 1995 |
| 98 | Answer sets in general nonmonotonic reasoning (preliminary report – Lifschitz, Woo - 1992 |
| 66 | Dynamic logic programming – Alferes, Leite, et al. - 1998 |
| 65 | LUPS – a language for updating logic programs – Alferes, Pereira, et al. |
| 22 | Action languages. Linkoping – Gelfond, Lifschitz - 1998 |
| 19 | Revision Specifications by Means of Programs – Marek, Truszczynski - 1994 |
| 17 | Modelling agent interaction in logic programming – Pereira, Quaresma - 1998 |
| 14 | Default negated conclusions: why not – Dam'asio, Pereira - 1996 |
