Generalized metrics and topology in logic programming semantics
| dc.check.embargoformat | Embargo not applicable (If you have not submitted an e-thesis or do not want to request an embargo) | en |
| dc.check.info | Not applicable | en |
| dc.check.opt-out | Not applicable | en |
| dc.check.reason | Not applicable | en |
| dc.check.type | No Embargo Required | |
| dc.contributor.advisor | Seda, Tony | en |
| dc.contributor.author | Hitzler, Pascal | |
| dc.contributor.funder | Enterprise Ireland | en |
| dc.contributor.funder | University College Cork | en |
| dc.date.accessioned | 2019-05-30T14:24:58Z | |
| dc.date.available | 2019-05-30T14:24:58Z | |
| dc.date.issued | 2001 | |
| dc.date.submitted | 2001 | |
| dc.description.abstract | Many fixed-point theorems are essentially topological in nature. Among them are the Banach contraction mapping theorem on metric spaces and the fixed-point theorem for Scott-continuous mappings on complete partial orders. The latter theorem is fundamental in denotational semantics since semantic operators in most programming language paradigms satisfy its requirements. The use of negation in logic programming and non-monotonic reasoning, however, renders some semantic operators to be non-monotonic, hence discontinuous with respect to the Scott topology, and therefore invalidates the standard approach, so that alternative methods have to be sought. In this thesis, we investigate topological methods, including generalized metric fixed-point theorems, and their applicability to the analysis of semantic operators in logic programming and non-monotonic reasoning. In the first part of the thesis, we present weak versions of the Banach contraction mapping theorem for single-valued and multivalued mappings, and investigate relationships between the underlying spaces. In the second part, we apply the obtained results to several semantic paradigms in logic programming and non-monotonic reasoning. These investigations will also lead to a clearer understanding of some of the relationships between these semantic paradigms and of the general topological structures which underly the behaviour of the corresponding semantic operators. We will also obtain some results related to termination properties of normal logic programs, clarify some of the relationships between different semantic approaches in non-monotonic reasoning, and will establish some results concerning the conversion of logic programs into artificial neural networks. | en |
| dc.description.status | Not peer reviewed | en |
| dc.description.version | Accepted Version | |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.citation | Hitzler, P. 2001. Generalized metrics and topology in logic programming semantics. PhD Thesis, University College Cork. | en |
| dc.identifier.endpage | 159 | en |
| dc.identifier.uri | https://hdl.handle.net/10468/8001 | |
| dc.language.iso | en | en |
| dc.publisher | University College Cork | en |
| dc.relation.project | Enterprise Ireland (Grant SC/98/621) | en |
| dc.relation.project | University College Cork (Department of Mathematics) | en |
| dc.rights | © 2001, Pascal Hitzler. | en |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/ | en |
| dc.subject | Metrics | en |
| dc.subject | Topology | en |
| dc.subject | Logic programming semantics | en |
| dc.thesis.opt-out | true | |
| dc.title | Generalized metrics and topology in logic programming semantics | en |
| dc.type | Doctoral thesis | en |
| dc.type.qualificationlevel | Doctoral | en |
| dc.type.qualificationname | PhD | en |
