Brian Falkenhainer, Adam Farquhar, Daniel Bobrow, Richard Fikes, Ken Forbus, Tom Gruber, Yumi Iwasaki, and Ben Kuipers, "CML: A Compositional Modeling Language," KSL in SRI Technical Report KSL-94-16, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Performing this reasoning requires in turn a precise representation of the functions and behaviors involved. A powerful framework for compositional reasoning and a language called CML for representing the behaviors of components and composing the behavior of devices has been proposed in [2]. But these frameworks still lack the ontology of function and behavior in as much as a generality as might be useful. A recent version of the CML language [3] based as it is on some of the ideas developed here, has provisions for representing functions. A second subtask is that of choosing ....

Falkenhainer, B., Farquhar A., Bobrow D., Fikes R., Forbus K., Gruber T., Iwasaki Y., & Kuipers B. (1994). CML: A Compositional Modeling Language. Technical Report, Stanford University Knowledge Systems Laboratory.

....in this field was proposed byB.Falkenhainer and K. Forbus under the framework of compositional modeling (Falkenhainer and Forbus 1991) Later, a language, CML, to describe the knowledge of the model fragments and the modeling process has been provided in a reusable and shared manner for engineers (Falkenhainer et al. 1994). Some recent work developed collaborativeenvironments for the CML based modeling to enhance its usability (Iwasaki et al. 1997) Concurrently, a number of recent researches proposed new ontology to extend the range of domains of the knowledge based automated modeling. The representatives are the ....

B. Falkenhainer et al. CML: A Compositional Modeling Language. Technical report KSL-94-16, Knowledge Systems Laboratory, Stanford University, 1994.

.... Defense Advanced Research Projects Agency (DARPA) Rapid Design Exploration and Optimization (RaDEO) program, for which NIST is a funding agent: the Model Based Support of Distributed Collaborative Design (previously How Things Work) project at the Stanford University Knowledge Systems Laboratory [23], 24] 25] and the Active Catalog project at the University of Southern California Information Sciences Institute [26] 27] Discussions are underway to explore the possibility of incorporating an existing behavior modeling language into the NIST Design Repository Project rather than developing ....

Falkenhainer, B., A. Farquhar, D. Bobrow et al. (1994), CML: A compositional modeling language, KSL-94-16 (technical report). Stanford Knowledge Systems Laboratory, Stanford University, Stanford, CA.

....and constraints. The lowest level of design information is parametric information, which assigns a specific numerical value to a physical or geometric property. Our agent based system consists of one or more designers and a system model described using the Compositional Modeling Language (CML) [Falkenhainer, et al., 1994]. The model is a logical description of the system that is composed from representations built by individual agents. Information exchange between agents is accomplished by updating and querying the CML model. Model representations are exported in order that design agents can perform analyses and ....

....groups, many of which have long been using similar languages. These languages are based primarily on the language originally defined by Qualitative Process Theory [Forbus 1984] and include the languages used for the Qualitative Physics Compiler [Farquhar 1994] compositional model formulation [Falkenhainer, et al., 1994]. CML uses a domain theory to describe the general classes of objects and phenomena in the system of interest. The domain theory consists of two sets of definitions: i) entities that define domain objects, and (ii) model fragments that capture the domain physics. Entities are persistent objects ....

Falkenhainer, B., Farquhar, A., Bobrow, D., Fikes, R., Forbus, K., Gruber, T., Iwasaki, Y., and Kuipers, B., "CML: A Compositional Modeling Language ", Technical Report KSL-94-16, Knowledge Systems Laboratory, Stanford University, 1994.

....One significant difference is the use of constraint primitives. In the Valve fragment, the Const Resistance is overridden. Its new definition, nothing, has no effect 2 . 4.2. 3 Dual Representation The semantics of (semi )qualitative languages are axiomatized in firstorder predicate calculus [30, 20, 25]. This allows to directly implement (semi )qualitative simulators with Lisp based rule engines. However, objectoriented languages have different semantics. In the qualitative realm, objects are modeled as relations. These relation are in turn translated into predicates and stored in a Knowledge ....

....to address in order to ground and implement the full semantics of the language. 57 5.2.1 Inheritance Self instantiating fragments and statecharts require specific inheritance rules that are not available in standard object oriented languages. Self Instantiation and Multiple Inheritance In CML [25], each fragment is instantiated as a separate environment and inheritance is additive. This allows to partially instantiate fragments. For example, let A, B, and C be three fragment models with the respective instantiation rules R A , R B , and R C . A and B are super classes of C 1 . Let C A , ....

B. Falkenhainer, A. Farquhar, D. Bobrow, R. Fikes, K. Forbus, T. Gruber, Y. Iwasaki, and B. Kuipers. CML: A compositional modeling language. Technical Report KSL-94-16, Knowledge Systems Laboratory, Stanford, sep 1994.

....the characterization is whether a piece of terrain is U, R, or SR, and those regions where this property is uniform correspond exactly to the regions found in a Combined Obstacle Overlay. To compute the properties required, we developed a domain theory for trafficability, expressed in CML [1] augmented with KIF [10] To create the new GIS layers corresponding to the COO and CFO, we developed algorithms that used the geometric processing library of ARC INFO [15] to do the necessary computations. We first describe the domain theories, and then we describe the GIS procedures. ....

B. Falkenhainer, A. Farquhar, D. Bobrow, R. Fikes, K. Forbus, T. Gruber, Y. Iwasaki, & B. Kuipers. CML: A Compositional Modeling Language. Knowledge Systems Laboratory, KSL-94-16, September 1994.

No context found.

Brian Falkenhainer, Adam Farquhar, Daniel Bobrow, Richard Fikes, Ken Forbus, Tom Gruber, Yumi Iwasaki, and Ben Kuipers, "CML: A Compositional Modeling Language," KSL in SRI Technical Report KSL-94-16, 1994.

No context found.

B. Falkenhainer, A. Farquhar, D. Bobrow, R. Fikes, K. Forbus, T. Gruber, Y. Iwasaki, and B. Kuipers. CML: a Compositional Modeling Language. Technical Report KSL-94-16, Knowledge Systems Lab., Stanford Univ., 1994.

No context found.

B. Falkenhainer et al. CML: A compositional modeling language. Unpublished manuscript., November 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC