A compositional typed higher-order logic with definitions

Ingmar Dasseville, Matthias Van Der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

2 Sitaatiot (Scopus)
14 Lataukset (Pure)

Abstrakti

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.

AlkuperäiskieliEnglanti
OtsikkoTechnical Communications of the 32nd International Conference on Logic Programming
AlaotsikkoICLP 2016, October 16–21, 2016, New York City, USA
KustantajaSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Sivumäärä13
ISBN (elektroninen)9783959770071
DOI - pysyväislinkit
TilaJulkaistu - 1 marraskuuta 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Logic Programming - New York City, Yhdysvallat
Kesto: 16 lokakuuta 201621 lokakuuta 2016
Konferenssinumero: 32

Julkaisusarja

NimiOpen Access Series in Informatics
Vuosikerta52
ISSN (elektroninen)2190-6807

Conference

ConferenceInternational Conference on Logic Programming
LyhennettäICLP
MaaYhdysvallat
KaupunkiNew York City
Ajanjakso16/10/201621/10/2016

Sormenjälki Sukella tutkimusaiheisiin 'A compositional typed higher-order logic with definitions'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

  • Siteeraa tätä

    Dasseville, I., Van Der Hallen, M., Bogaerts, B., Janssens, G., & Denecker, M. (2016). A compositional typed higher-order logic with definitions. teoksessa Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA [14] (Open Access Series in Informatics ; Vuosikerta 52). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.ICLP.2016.14