Hybrid programs: Symmetrically combining natively discrete and continuous truth-values

H. A. Blair, D. W. Jakel, R. J. Irwin, A. J. Rivera

Research output: Contribution to conferencePaper

Abstract

The iterates T P t (I) of the one-step consequence operator T P of a finite or infinite propositional normal logic program P applied to Herbrand interpretation I constitute a function t → T P t (I) from natural numbers to Herbrand interpretations. Without loss of generality, altering clause p←q1,.qm ¬r1,. ¬rn of P to dp/dt = p ⊕ (q1,. qm, ¬r1,.¬rn) amounts to regarding P as a system of first-order differential equations, where the mapping t → T P t (I) is a projection of the flow of the system with initial condition t 0 → I. The aim of this shift in viewpoint is to seamlessly combine logic program clauses with conventional first-order ordinary differential equations involving e.g. realvalued functions of a real variable. This is rigorously enabled by differentiation of functions that are morphisms in the category CONV of convergence spaces. The form of differentiation we describe is a conservative extension of differentiation of functions between familiar spaces associated with ordinary analysis. In particular, we can integrate logic programs over continuous time. In that case, stable models semantics provides the natural means to have an ordinary normal program be equivalent to its differential version.

Original languageEnglish (US)
Pages6P
StatePublished - Dec 1 2008
Event10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008 - Fort Lauderdale, FL, United States
Duration: Jan 2 2008Jan 4 2008

Other

Other10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008
CountryUnited States
CityFort Lauderdale, FL
Period1/2/081/4/08

ASJC Scopus subject areas

  • Artificial Intelligence
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Hybrid programs: Symmetrically combining natively discrete and continuous truth-values'. Together they form a unique fingerprint.

  • Cite this

    Blair, H. A., Jakel, D. W., Irwin, R. J., & Rivera, A. J. (2008). Hybrid programs: Symmetrically combining natively discrete and continuous truth-values. 6P. Paper presented at 10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008, Fort Lauderdale, FL, United States.