Sur Les Programmes Logiques Localement Stratifi'es

Document Type

Report

Publication Date

1-1-1997

Abstract

Elementary ideas from topological dynamics are used to provide a constructive approach to Przymusinski's perfect model semantics for locally stratified normal logic programs. Our results utilise level mapping which take values in an arbitrary countable ordinal, and our methods are akin to those of Apt, Blair and Walker for stratified programs. we show the existence of unique supported models when certain inequalities are strict, improve Przymusinski's results for perfect models. Also, our results complement Fitting's treatment by metric methods of certain non-stratified programs which occur in the context of termination problems in logic programming.

Comments

Technical report from the Department of Mathematics, University College Cork, Technical Report, 1997.

Link to Full Text


Share

COinS