### 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 language | English (US) |
---|---|

Pages | 6P |

State | Published - Dec 1 2008 |

Event | 10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008 - Fort Lauderdale, FL, United States Duration: Jan 2 2008 → Jan 4 2008 |

### Other

Other | 10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008 |
---|---|

Country | United States |

City | Fort Lauderdale, FL |

Period | 1/2/08 → 1/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

*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.