2026-09-19T23:48:25Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/1064472026-06-06T00:48:40Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023
Armando Solar-Lezama.
Voss, Chelsea (Chelsea S.)
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
2017-01-12T18:33:52Z
2017-01-12T18:33:52Z
2016
2016
http://hdl.handle.net/1721.1/106447
967663582
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 45-46).
Rule-based biological models help researchers investigate systems such as cellular signalling pathways. Although these models are generally programmed by hand, some research efforts aim to program them automatically using biological facts extracted from papers via natural language processing. However, NLP facts cannot always be directly converted into mechanistic reaction rules for a rule-based model. Thus, there is a need for tools that can convert biological facts into mechanistic rules in a logically sound way. We construct such a tool specifically for Kappa, a model programming language, by implementing Iota, a logic language for Kappa models. Our tool can translate biological facts into Iota predicates, check predicates for satisfiability, and find models that satisfy predicates. We test our system against realistic use cases, and show that it can construct rule-based mechanistic models that are sound with respect to the semantics of the biological facts from which they were constructed.
by Chelsea Voss.
M.Eng.
46 pages
eng
Massachusetts Institute of Technology
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
http://dspace.mit.edu/handle/1721.1/7582
Electrical Engineering and Computer Science.
A tool for automated inference in rule-based biological models
Thesis
application/pdf
false
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="0a72fa86-9e33-4f98-b1cc-35b2257d9d59">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>A tool for automated inference in rule-based biological models</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2016</PublicationDate>
<Authors>
<Author>
<DisplayName>Voss, Chelsea (Chelsea S.)</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Electrical Engineering and Computer Science.</Keyword>
<Abstract>Rule-based biological models help researchers investigate systems such as cellular signalling pathways. Although these models are generally programmed by hand, some research efforts aim to program them automatically using biological facts extracted from papers via natural language processing. However, NLP facts cannot always be directly converted into mechanistic reaction rules for a rule-based model. Thus, there is a need for tools that can convert biological facts into mechanistic rules in a logically sound way. We construct such a tool specifically for Kappa, a model programming language, by implementing Iota, a logic language for Kappa models. Our tool can translate biological facts into Iota predicates, check predicates for satisfiability, and find models that satisfy predicates. We test our system against realistic use cases, and show that it can construct rule-based mechanistic models that are sound with respect to the semantics of the biological facts from which they were constructed.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>