Matches in SemOpenAlex for { <https://semopenalex.org/work/W3155581168> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W3155581168 abstract "Abstract Logic-based artificial intelligence researchers propound the declarative programming paradigm as a solution to problems arising from conventional procedural programming methods. A formal language possessing a declarative semantics, called Knowledge Interchange Format (or KIF), has been used for interchanging information between disparate programs, each containing specialized internal representations to support specific requirements. A simple system has been developed to evaluate the utility of KIF and declarative programming. The domain chosen for this evaluation was lumped-parameter dynamic systems analysis, due to its well-established vocabulary and concepts. In particular, bond graph theory formed the basis of the knowledge representation which was written in KIF. Models were generated to analyze the physical dynamics of a servomechanism used in a compact disc player. Fully automated model construction and solution was achieved, beginning with a set of library elements written in KIF and ending with solution of a set of first-order differential equations which characterize dynamic behavior. Work has begun to include assembly as well as bond graph information in order to evaluate the system’s utility for managing constraints in multiple domains. Based on demonstrated success in the dynamics and assembly domains, the next step will be to apply declarative programming to more-open domains, such as functional tolerancing, for which a comprehensive vocabulary and conceptual framework is still lacking. The hope is that the declarative paradigm will contribute to the formalization of several domains which can then be more easily integrated within a concurrent engineering environment, thus fostering conceptual product designs which are more robust with respect to manufacturability constraints." @default.
- W3155581168 created "2021-04-26" @default.
- W3155581168 creator A5010922063 @default.
- W3155581168 date "1991-08-18" @default.
- W3155581168 modified "2023-09-25" @default.
- W3155581168 title "Automated Model Generation Using the KIF Declarative Language" @default.
- W3155581168 doi "https://doi.org/10.1115/cie1991-0018" @default.
- W3155581168 hasPublicationYear "1991" @default.
- W3155581168 type Work @default.
- W3155581168 sameAs 3155581168 @default.
- W3155581168 citedByCount "1" @default.
- W3155581168 crossrefType "proceedings-article" @default.
- W3155581168 hasAuthorship W3155581168A5010922063 @default.
- W3155581168 hasConcept C154945302 @default.
- W3155581168 hasConcept C199360897 @default.
- W3155581168 hasConcept C204321447 @default.
- W3155581168 hasConcept C41008148 @default.
- W3155581168 hasConceptScore W3155581168C154945302 @default.
- W3155581168 hasConceptScore W3155581168C199360897 @default.
- W3155581168 hasConceptScore W3155581168C204321447 @default.
- W3155581168 hasConceptScore W3155581168C41008148 @default.
- W3155581168 hasLocation W31555811681 @default.
- W3155581168 hasOpenAccess W3155581168 @default.
- W3155581168 hasPrimaryLocation W31555811681 @default.
- W3155581168 hasRelatedWork W1489779423 @default.
- W3155581168 hasRelatedWork W1532257472 @default.
- W3155581168 hasRelatedWork W1563533928 @default.
- W3155581168 hasRelatedWork W1663926435 @default.
- W3155581168 hasRelatedWork W173023008 @default.
- W3155581168 hasRelatedWork W1991935081 @default.
- W3155581168 hasRelatedWork W2013221386 @default.
- W3155581168 hasRelatedWork W2061802168 @default.
- W3155581168 hasRelatedWork W2083868959 @default.
- W3155581168 hasRelatedWork W2101179354 @default.
- W3155581168 hasRelatedWork W2118475790 @default.
- W3155581168 hasRelatedWork W2119803919 @default.
- W3155581168 hasRelatedWork W2131505649 @default.
- W3155581168 hasRelatedWork W2157919148 @default.
- W3155581168 hasRelatedWork W2229456774 @default.
- W3155581168 hasRelatedWork W2540599577 @default.
- W3155581168 hasRelatedWork W2544493181 @default.
- W3155581168 hasRelatedWork W2896267757 @default.
- W3155581168 hasRelatedWork W408266457 @default.
- W3155581168 hasRelatedWork W656401910 @default.
- W3155581168 isParatext "false" @default.
- W3155581168 isRetracted "false" @default.
- W3155581168 magId "3155581168" @default.
- W3155581168 workType "article" @default.