Communication Dans Un Congrès Electronic Proceedings in Theoretical Computer Science Année : 2019

A Tractable Logic for Molecular Biology

Adrien Husson
  • Fonction : Auteur
Jean Krivine

Résumé

We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes. They can be composed in order to add or remove static and dynamic observations. A second-order circumscription operator then enables nonmonotonic reasoning on the changes implied by a formula. We introduce deduction rules that produce formulas which are, up to equivalence, in a first-order fragment with decidable satisfiability and validity. Importantly, the rules can produce circumscribed formulas.

Dates et versions

hal-02399098 , version 1 (08-12-2019)

Identifiants

Citer

Adrien Husson, Jean Krivine. A Tractable Logic for Molecular Biology. International Conference on Logic Programming, Sep 2019, Las Cruces, United States. pp.101-113, ⟨10.4204/EPTCS.306.17⟩. ⟨hal-02399098⟩
81 Consultations
0 Téléchargements

Altmetric

Partager

  • More