## Stationary generated models of generalized logic programs

- The interest in extensions of the logic programming paradigm beyond the class of normal logic programs is motivated by the need of an adequate representation and processing of knowledge. One of the most difficult problems in this area is to find an adequate declarative semantics for logic programs. In the present paper a general preference criterion is proposed that selects the ‘intended’ partial models of generalized logic programs which is a conservative extension of the stationary semantics for normal logic programs of [Prz91]. The presented preference criterion defines a partial model of a generalized logic program as intended if it is generated by a stationary chain. It turns out that the stationary generated models coincide with the stationary models on the class of normal logic programs. The general wellfounded semantics of such a program is defined as the set-theoretical intersection of its stationary generated models. For normal logic programs the general wellfounded semantics equals the wellfounded semantics.

Author: | Heinrich Herre, Axel Hummel |
---|---|

URN: | urn:nbn:de:kobv:517-opus-41501 |

Document Type: | Conference Proceeding |

Language: | English |

Year of Completion: | 2010 |

Publishing Institution: | Universität Potsdam |

Contributing Corporation: | Gesellschaft für Logische Programmierung e.V. |

Release Date: | 2010/03/04 |

Tag: | extensions of logic programs; knowledge representation; semantics |

Source: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 95 - 108 |

Organizational units: | Extern / Extern |

Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |

Collections: | Universität Potsdam / Tagungsbände/Proceedings (nicht forlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Theory of Logic Programming |

Licence (German): | Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht |