Semantic Forcing in Disjunctive Logic Programs |
| |
Authors: | Marina De Vos & Dirk Vermeir |
| |
Affiliation: | Department of Computer Science, Free University of Brussels, VUB, Pleinlaan 2, Brussels 1050, Belgium |
| |
Abstract: | We propose a semantics for disjunctive logic programs, based on the single notion of forcing. We show that the semantics properly extends, in a natural way, previous approaches. A fixpoint characterization is also provided. We also take a closer look at the relationship between disjunctive logic programs and disjunctive-free logic programs. We present certain criteria under which a disjunctive program is semantically equivalent with its disjunctive-free (shifted) version. |
| |
Keywords: | agent architectures synthetic mind control states design space niche space |
|
|