Mathematical Aspects of Logic Programming Semantics

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconve...

Full description

Saved in:
Bibliographic Details
Main Authors: Hitzler, Pascal, Seda, Anthony
Format: eBook Book
Language:English
Published: United States CRC Press 2010
Taylor & Francis
Taylor & Francis Group
Edition:1
Series:Chapman & Hall/CRC Studies in Informatics Series
Subjects:
Computer programming, programs, data
Computers
COMPUTERS / Information Theory bisacsh
COMPUTERS / Machine Theory bisacsh
COMPUTERS / Software Development & Engineering / Systems Analysis & Design bisacsh
Games
Information Theory
Logic
Logic programming
Machine Theory
Mathematical Programming
Mathematics
Mathematics and Science
Programming
Programming languages (Electronic computers)
Programming languages (Electronic computers) > Semantics
Semantics
logic programming semantics
supported model semantics
Banach Theorem
Binary Threshold Units
Cauchy Sequence
Multivalued Mappings
Fixed Point Theory
Ultra-metric Space
artificial intelligence
fixed-point theory
Spherically Complete
Banach Contraction Mapping Theorem
generalized metric spaces
Convergence Class
Denotational Semantics
Predicate Symbol
Fixed Point
Basic Open Sets
Bottom Element
symbolic representations
Scott topology
Logic Programming
mathematical analysis
Ultrametric Space
Fixed Point Theorem
Complete Lattice
Complete Partial Order
Cellular Automata
artificial neural networks
perfect model semantics
transfinite induction
Totally Bounded
Web Ontology Language Owl
Hasse Diagram
Ontology Language
Cantor topology
ISBN:1439829624, 9781439829622, 1138114227, 1439829616, 9781439829615, 9781138114227
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.
Bibliography:Includes bibliographical references (p. 243-264) and index
Summary: "Presenting the methods required to study the semantics of logic programs, this book significantly extends these tools from the order theory traditionally used in the subject to include nontraditional methods depending on topology, generalized distance functions, and their associated fixed-point theory. The authors provide a self-contained, detailed overview of the development of both conventional and nonconventional methods and techniques, fulfilling a significant gap in the literature on theoretical computer science. They examine the interaction between logic programming and connectionist systems from the point of view of semantics"--Provided by publisher
MODID-8df34d47a03:Routledge & CRC Press
ISBN:1439829624
9781439829622
1138114227
1439829616
9781439829615
9781138114227
DOI:10.1201/b10397