Results 1 -
7 of
7
E pluribus unum: Formalisation, Use-Cases, and Computational Support for Conceptual Blending
- In Tarek R. Besold, Marco Schorlemmer, and Allain Smaill, editors, Computational Creativity Research: Towards Creative Machines, Thinking Machines. Atlantis/Springer
, 2014
"... Abstract Conceptual blending has been employed very successfully to understand the process of concept invention, studied particularly within cognitive psychology and linguistics. However, despite this influential research, within computational cre-ativity little effort has been devoted to fully form ..."
Abstract
-
Cited by 3 (3 self)
- Add to MetaCart
(Show Context)
Abstract Conceptual blending has been employed very successfully to understand the process of concept invention, studied particularly within cognitive psychology and linguistics. However, despite this influential research, within computational cre-ativity little effort has been devoted to fully formalise these ideas and to make them amenable to computational techniques. Unlike other combination techniques, blend-ing aims at creatively generating (new) concepts on the basis of input theories whose domains are thematically distinct but whose specifications share structural similarity based on a relation of analogy, identified in a generic space, the base ontology. We here introduce the basic formalisation of conceptual blending, as sketched by the late Joseph Goguen, and discuss some of its variations. We illustrate the vast array of conceptual blends that may be covered by this approach and discuss the theoret-ical and conceptual challenges that ensue. Moreover, we show how the Distributed Ontology Language DOL can be used to declaratively specify blending diagrams of various shapes, and discuss in detail how the workflow and creative act of generating and evaluating a new, blended concept can be managed and computationally sup-ported within Ontohub, a DOL-enabled theory repository with support for a large number of logical languages and formal linking constructs.
Towards Resolution-based Reasoning for Connected Logics
- Electronic Notes in Theoretical Computer Science, 305:85–102. Postproceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA
, 2014
"... The method of connecting logics has gained a lot of attention in the knowledge representation and ontology communities because of its intuitive semantics and natural support for modular KR, its generality, and its robustness concerning decidability preservation. However, so far no dedicated automate ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
The method of connecting logics has gained a lot of attention in the knowledge representation and ontology communities because of its intuitive semantics and natural support for modular KR, its generality, and its robustness concerning decidability preservation. However, so far no dedicated automated reasoning solutions have been developed, and the only reasoning available was via translation into sufficiently expressive logics. In this paper, we present a simple modalised version of basic E-connections, and develop a sound, complete, and terminating resolution-based reasoning procedure. The approach is modular and can be extended to more expressive versions of E-connections.
2013 The Society for Modeling and Simulation International
"... dms.sagepub.com Producing reusable engineered systems through ontology: implementing an information sciences approach to architecture-driven, model-based, concurrent engineering George L Ball and Christopher (Kit) Runge The engineering community faces multiple challenges as it moves toward a future ..."
Abstract
- Add to MetaCart
dms.sagepub.com Producing reusable engineered systems through ontology: implementing an information sciences approach to architecture-driven, model-based, concurrent engineering George L Ball and Christopher (Kit) Runge The engineering community faces multiple challenges as it moves toward a future that will consist of virtual reality, model-based enterprises, and a heavy reliance on simulation for requirements development, design, manufacturing, assembly, and training for future products. The focus on model-based activities (e.g. design, systems engineering, manu-facturing) is seen as a way to better reuse knowledge, ensure higher quality, and reduce costs through virtual design and testing. However, the combination of discipline-focused decomposition, the functional to physical progression, proprie-tary data formats, and poor communication between disciplines due to different language and contexts leads to longer development times, increased rework, and a failure in product realization. Raytheon has been researching aspects of this future, targeted at shortening the product development lifecycle by an order of magnitude. One such recent Raytheon-funded study has indicated that a potentially more complete approach might be to address the problem from an infor-mation sciences perspective and the adoption of ‘‘product’ ’ models as the primary representation. In particular, the development of a workable rapid engineering environment will require an information architecture-leveraging product ontology designed specifically for this type of approach.
Will AI ever support Design Thinking?
"... Abstract. This paper addresses the question of whether AI will ever support Design Thinking, with a focus on Architecture and Urban Planning, by analyzing the current trends of research in AI and related fields. ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. This paper addresses the question of whether AI will ever support Design Thinking, with a focus on Architecture and Urban Planning, by analyzing the current trends of research in AI and related fields.
CIFECENTER FOR INTEGRATED FACILITY ENGINEERING A Knowledge-Based Framework for Automated Space-Use Analysis By
, 2012
"... Space-use can only be effectively determined when space, user, and activity perspectives are taken into account simultaneously. We develop a knowledge-based framework for automated space-use analysis to enable analyzers to predict and update space utilization simultaneously considering these three p ..."
Abstract
- Add to MetaCart
(Show Context)
Space-use can only be effectively determined when space, user, and activity perspectives are taken into account simultaneously. We develop a knowledge-based framework for automated space-use analysis to enable analyzers to predict and update space utilization simultaneously considering these three perspectives with computational assistance. The framework includes the formalization of the concepts for space-use analysis such as users, user activities, spaces, equipment, and space utilization, the ontological relationships among the concepts, and the automated space-use analysis process. We demonstrate the effectiveness of the proposed framework through a trial run on select areas in an academic building at Stanford University. Our results show that the proposed framework can support iterative refinement of the architectural design and its usage by predicting the utilization and visualizing the results automatically. This automation in space-use analysis contributes a consistent, clear, and efficient means of analyzing space-use in support of architects ’ and clients ’ decision-making about the design.
Applying ISO-Space to Healthcare Facility Design Evaluation Reports
"... This paper describes preliminary work on the spatial annotation of textual reports about healthcare facility design to support the long-term goal linking of report content to a three-dimensional building model. Emerging semantic annotation standards enable formal description of multiple types of dis ..."
Abstract
- Add to MetaCart
(Show Context)
This paper describes preliminary work on the spatial annotation of textual reports about healthcare facility design to support the long-term goal linking of report content to a three-dimensional building model. Emerging semantic annotation standards enable formal description of multiple types of discourse information. In this instance, we investigate the application of a spatial semantic annotation standard at the building-interior level, where most prior applications have been at inter-city or street level. Working with a small corpus of design evaluation documents, we have begun to apply the ISO-Space specification to annotate spatial information in healthcare facility design evaluation reports. These reports present an opportunity to explore semantic annotation of spatial language in a novel situation. We describe our application scenario, report on the sorts of spatial language found in design evaluation reports, discuss issues arising when applying ISO-Space to building-level entities and propose possible extensions to ISO-Space to address the issues encountered. 1.
Analytical Computing for Spatial Design: An Artificial Intelligence Perspective
"... www.sfbtr8.spatial-cognition.de/designspace.html Next-generation people-centred design systems, frameworks, assistive tools, educational aids, and design policies necessitate foundational abstraction and computational building blocks where the modalities of human perception, action, environmental ex ..."
Abstract
- Add to MetaCart
(Show Context)
www.sfbtr8.spatial-cognition.de/designspace.html Next-generation people-centred design systems, frameworks, assistive tools, educational aids, and design policies necessitate foundational abstraction and computational building blocks where the modalities of human perception, action, environmental experience, and design conception and se-mantics are central. Our research in this context addresses the following questions: – Contemporary CAAD tools provide robust geometric modeling methods; how can the future evolution of design computing bring notions of design semantics, structure, function, and people-centred design to the fore at an ontological, representational and computational level? – What is the role of specialized forms of visuo-spatial perception, abstraction, and common-sense spatial reasoning, within the broader realm of design computing, spatial design assistance, and tools for design learning and education? – What is the nature and form of the assistive design feedback that designers and planners expect during the early design conception and iterative refinement phase? What are the implications of this from the viewpoint of the usability, interface, and interaction design aspects of spatial design
