Towards a Type Discipline for Answer Set Programming

  • Camillo Fiorentini
  • Alberto Momigliano
  • Mario Ornaghi
Conference paper

DOI: 10.1007/978-3-642-02444-3_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5497)
Cite this paper as:
Fiorentini C., Momigliano A., Ornaghi M. (2009) Towards a Type Discipline for Answer Set Programming. In: Berardi S., Damiani F., de’Liguoro U. (eds) Types for Proofs and Programs. TYPES 2008. Lecture Notes in Computer Science, vol 5497. Springer, Berlin, Heidelberg

Abstract

We argue that it is high time that types had a beneficial impact in the field of Answer Set Programming and in particular Disjunctive Datalog as exemplified by the DLV system. Things become immediately more challenging, as we wish to present a type system for DLV-Complex, an extension of DLV with uninterpreted function symbols, external implemented predicates and types. Our type system owes to the seminal polymorphic type system for Prolog introduced by Mycroft and O’Keefe, in the formulation by Lakshman and Reddy. The most innovative part of the paper is developing a declarative grounding procedure which is at the same time appropriate for the operational semantics of ASP and able to handle the new features provided by DLV-Complex. We discuss the soundness of the procedure and evaluate informally its success in reducing, as expected, the set of ground terms. This yields an automatic reduction in size and numbers of (non isomorphic) models. Similar results could have only been achieved in the current untyped version by careful use of generator predicates in lieu of types.

Keywords

Answer set programming type checking grounding many sorted interpretation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Camillo Fiorentini
    • 1
  • Alberto Momigliano
    • 1
  • Mario Ornaghi
    • 1
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità degli Studi di MilanoItaly

Personalised recommendations