No abstract

We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by adding, for each loop in the program, a corresponding loop formula to the program's completion, we obtain a one-to-one correspondence between the answer sets of the program and the models of the resulting propositional theory. In the worst case, there may be an exponential number of loops in a logic program. To address this problem, we propose an approach that adds loop formulas a few at a time, selectively. Based on these results, we implement a system called ASSAT(X), depending on the SAT solver X used, for computing one answer set of a normal logic program with constraints. We test the system on a variety of benchmarks including the graph coloring, the blocks world planning, and Hamiltonian Circuit domains. Our experimental results show that in these domains, for the task of generating one answer set of a normal logic program, our system has a clear edge over the state-of-art answer set programming systems Smodels and DLV.

Dynamic shape changes of the plasma membrane are fundamental to many processes ranging from morphogenesis and cell migration to phagocytosis and viral propagation. Here we demonstrate that Exo70, a component of the exocyst complex, induces tubular membrane invaginations towards the lumen of synthetic vesicles in vitro and generates protrusions on the surface of cells. Biochemical analyses using Exo70 mutants and independent molecular dynamics simulations based on Exo70 structure demonstrate that Exo70 generates negative membrane curvature through an oligomerization-based mechanism. In cells, the membrane-deformation function of Exo70 is required for protrusion formation and directional cell migration. Exo70 thus represents a membrane-bending protein that may couple actin dynamics and plasma membrane remodeling for morphogenesis.