< Back to previous page
Publication
A compositional typed higher-order logic with definitions
Book Contribution - Book Chapter Conference Contribution
Expressive KR languages are built by integrating different language constructs, or extending
a language with new language constructs. This process is difficult if non-truth-functional or
non-monotonic constructs are involved. What is needed is a compositional principle.
This paper presents a compositional principle for defining logics by modular composition of
logical constructs, and applies it to build a higher order logic integrating typed lambda calculus
and rule sets under a well-founded or stable semantics. Logical constructs are formalized as
triples of a syntactical rule, a semantical rule, and a typing rule. The paper describes how
syntax, typing and semantics of the logic are composed from the set of its language constructs.
The base semantical concept is the infon: mappings from structures to values in these structures.
Semantical operators of language constructs operate on infons and allow to construct the infons
of compound expressions from the infons of its subexpressions. This conforms to Frege’s principle
of compositionality.
Book: Technical Communications of the 32nd International Conference on Logic Programming
Pages: 14:1 - 14:1
ISBN:978-3-95977-007-1
Publication year:2016
Accessibility:Open