Teaching Computational Reasoning without a Computer

Author(s):  
Rafael Dias ◽  
Aniko Costa ◽  
Jose Malaquias ◽  
Manuel Camara
2018 ◽  
Author(s):  
Alexander H. Hogan ◽  
Kevin Hogan ◽  
Christian Tilt

Author(s):  
Chiradeep Sen ◽  
Joshua D. Summers

AbstractFunction-based design and modeling have been taught, studied, and practiced in various forms for several years with efforts centered on using function modeling to help designers understand problems or to facilitate idea generation. Only limited focus has been placed on potential use for qualitative and quantitative reasoning and analysis of the design concept. This potential for early stage analysis has not been fully explored partly because computational reasoning tools have not been developed for this express purpose. This paper presents a set of requirements and their justification to realize this design enabling tool. The requirements include coverage, consistency, validity against physics laws, domain neutrality, physics-based definitions, normative and descriptive modeling, and qualitative and quantitative modeling and reasoning. Each requirement is defined in concrete terms and illustrated with examples and logic. With the requirements for function-based reasoning and representation clearly identified, future research toward formalizing of function-based design will be more focused and objective validation of proposed representations against these requirements would be possible.


Author(s):  
Jitesh H. Panchal ◽  
Matthias Messer

Information representation in engineering design is currently dominated by top–down approaches such as taxonomies and ontologies. While top–down approaches provide support for computational reasoning, they are primarily limited due to their static nature, limited scope, and developer-centric focus. Bottom–up approaches, such as folksonomies, are emerging as means to address the limitations of top–down approaches. Folksonomies refer to collaborative classification by users who freely assign tags to design information. They are dynamic in nature, broad in scope, and are user focused. However, they are limited due to the presence of ambiguities and redundancies in the tags used by different people. Considering their complementary nature, the ideal approach is to use both top–down and bottom–up approaches in a synergistic manner. To facilitate this synergy, the goal in this paper is to present techniques for using dynamic folksonomies to extract global characteristics of the structure of design information, and to create hierarchies of tags that can guide the development of structured taxonomies and ontologies. The approach presented in this paper involves using (a) tools such as degree distribution and K-neighborhood connectivity analysis to extract the global characteristics of folksonomies and (b) set-based technique and hierarchical clustering to develop a hierarchy of tags. The approach is illustrated using data from a collective innovation platform that supports collaborative tagging for design information. It is shown that despite the flat nature of the folksonomies insights about the hierarchy in information can be gained. The effects of various parameters on the tag hierarchy are discussed. The approach has potential to be used synergistically with top–down approaches such as ontologies to support the next generation collaborative design platforms.


Author(s):  
BARRY O'SULLIVAN

Engineering conceptual design can be defined as that phase of the product development process during which the designer takes a specification for a product to be designed and generates many broad solutions to it. This paper presents a constraint-based approach to supporting interactive conceptual design. The approach is based on an expressive and general technique for modeling: the design knowledge that a designer can exploit during a design project; the life-cycle environment that the final product faces; the design specification that defines the set of requirements the product must satisfy; and the structure of the various schemes that are developed by the designer. A computational reasoning environment based on constraint filtering is proposed as the basis of an interactive design support tool. Using such a tool, human designers can be assisted in interactively developing and evaluating a set of schemes that satisfy the various constraints imposed on the design.


Author(s):  
Concepcion Rebollar ◽  
Carolina Varela ◽  
Olatz Eugenio

Computational thinking is an essential skill set for today's students, given the digital age in which we live and work (CT). Without a precise definition, it is generally understood to be a collection of abilities and attitudes required to deal with difficulties in any aspect of life, whether or not a computer is involved. Measurement and evaluation of students' progress in CT abilities are critical, and this can only be done using instruments that have been tested and shown to work before. New students at the Basque Country's University of the Basque Country's Engineering Degrees are tested for critical thinking, algorithmic thinking, problem solving, cooperation and creativity using a previously proven tool.


2019 ◽  
Vol 69 (2) ◽  
pp. 345-362
Author(s):  
Paula M Mabee ◽  
James P Balhoff ◽  
Wasila M Dahdul ◽  
Hilmar Lapp ◽  
Christopher J Mungall ◽  
...  

Abstract There is a growing body of research on the evolution of anatomy in a wide variety of organisms. Discoveries in this field could be greatly accelerated by computational methods and resources that enable these findings to be compared across different studies and different organisms and linked with the genes responsible for anatomical modifications. Homology is a key concept in comparative anatomy; two important types are historical homology (the similarity of organisms due to common ancestry) and serial homology (the similarity of repeated structures within an organism). We explored how to most effectively represent historical and serial homology across anatomical structures to facilitate computational reasoning. We assembled a collection of homology assertions from the literature with a set of taxon phenotypes for the skeletal elements of vertebrate fins and limbs from the Phenoscape Knowledgebase. Using seven competency questions, we evaluated the reasoning ramifications of two logical models: the Reciprocal Existential Axioms (REA) homology model and the Ancestral Value Axioms (AVA) homology model. The AVA model returned all user-expected results in addition to the search term and any of its subclasses. The AVA model also returns any superclass of the query term in which a homology relationship has been asserted. The REA model returned the user-expected results for five out of seven queries. We identify some challenges of implementing complete homology queries due to limitations of OWL reasoning. This work lays the foundation for homology reasoning to be incorporated into other ontology-based tools, such as those that enable synthetic supermatrix construction and candidate gene discovery. [Homology; ontology; anatomy; morphology; evolution; knowledgebase; phenoscape.]


Sign in / Sign up

Export Citation Format

Share Document