TY - JOUR
T1 - Exploring the contribution of estrogen to amyloid-beta regulation
T2 - A novel multifactorial computational modeling approach
AU - Anastasio, Thomas J.
PY - 2013
Y1 - 2013
N2 - According to the amyloid hypothesis, Alzheimer Disease results from the accumulation beyond normative levels of the peptide amyloid-β (Aβ). Perhaps because of its pathological potential, Aβ and the enzymes that produce it are heavily regulated by the molecular interactions occurring within cells, including neurons. This regulation involves a highly complex system of intertwined normative and pathological processes, and the sex hormone estrogen contributes to it by influencing the Aβ-regulation system at many different points. Owing to its high complexity, Aβ regulation and the contribution of estrogen are very difficult to reason about. This report describes a computational model of the contribution of estrogen to Aβ regulation that provides new insights and generates experimentally testable and therapeutically relevant predictions. The computational model is written in the declarative programming language known as Maude, which allows not only simulation but also analysis of the system using temporal-logic. The model illustrates how the various effects of estrogen could work together to reduce Aβ levels, or prevent them from rising, in the presence of pathological triggers. The model predicts that estrogen itself should be more effective in reducing Aβ than agonists of estrogen receptor α (ERα), and that agonists of ERβ should be ineffective. The model shows how estrogen itself could dramatically reduce Aβ, and predicts that non-steroidal anti-inflammatory drugs should provide a small additional benefit. It also predicts that certain compounds, but not others, could augment the reduction in Aβ due to estrogen. The model is intended as a starting point for a computational/experimental interaction in which model predictions are tested experimentally, the results are used to confirm, correct, and expand the model, new predictions are generated, and the process continues, producing a model of ever increasing explanatory power and predictive value.
AB - According to the amyloid hypothesis, Alzheimer Disease results from the accumulation beyond normative levels of the peptide amyloid-β (Aβ). Perhaps because of its pathological potential, Aβ and the enzymes that produce it are heavily regulated by the molecular interactions occurring within cells, including neurons. This regulation involves a highly complex system of intertwined normative and pathological processes, and the sex hormone estrogen contributes to it by influencing the Aβ-regulation system at many different points. Owing to its high complexity, Aβ regulation and the contribution of estrogen are very difficult to reason about. This report describes a computational model of the contribution of estrogen to Aβ regulation that provides new insights and generates experimentally testable and therapeutically relevant predictions. The computational model is written in the declarative programming language known as Maude, which allows not only simulation but also analysis of the system using temporal-logic. The model illustrates how the various effects of estrogen could work together to reduce Aβ levels, or prevent them from rising, in the presence of pathological triggers. The model predicts that estrogen itself should be more effective in reducing Aβ than agonists of estrogen receptor α (ERα), and that agonists of ERβ should be ineffective. The model shows how estrogen itself could dramatically reduce Aβ, and predicts that non-steroidal anti-inflammatory drugs should provide a small additional benefit. It also predicts that certain compounds, but not others, could augment the reduction in Aβ due to estrogen. The model is intended as a starting point for a computational/experimental interaction in which model predictions are tested experimentally, the results are used to confirm, correct, and expand the model, new predictions are generated, and the process continues, producing a model of ever increasing explanatory power and predictive value.
KW - Alzheimer disease
KW - Amyloid-β
KW - Computational model
KW - Declarative programming
KW - Estrogen
KW - Formal methods
KW - Multi-drug therapy
KW - Multifactorial process
UR - http://www.scopus.com/inward/record.url?scp=84877965452&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84877965452&partnerID=8YFLogxK
U2 - 10.3389/fphar.2013.00016
DO - 10.3389/fphar.2013.00016
M3 - Article
C2 - 23459573
AN - SCOPUS:84877965452
SN - 1663-9812
VL - 4 MAR
JO - Frontiers in Pharmacology
JF - Frontiers in Pharmacology
M1 - Article 16
ER -