Abstract
Aiming to satisfy the need for the formalization of semiquantitative reasoning in the analysis of biochemical systems, the O[M] formalism for reasoning with orders of magnitude and approximate relations has been developed. It is based on seven primitive relations among quantities and compound relations which are formed as implicit disjunctions of primitives. O[M] can perform inferences by using formal approximate relations, algebraic equations, inequalities, if-then rules, assumptions, and goals. The applications discussed include Michaelis-Menten kinetics, different modes of inhibition of an enzymatic reaction, analysis of fluxes in biochemical networks, and identification of rate-limiting steps of biochemical pathways. In these applications, O[M] provides a medium for acquisition and formalization of previously informal concepts, analysis of systems at the order-of-magnitude level of detail, and automation of commonsense reasoning.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
