| 1. |
- Agrawal, Vikas, et al.
(författare)
-
The AAAI-13 Conference Workshops
- 2013
-
Ingår i: The AI Magazine. - : Association for the Advancement of Artificial Intelligence. - 0738-4602 .- 2371-9621. ; 34:4, s. 108-115
-
Tidskriftsartikel (refereegranskat)abstract
- The AAAI-13 Workshop Program, a part of the 27th AAAI Conference on Artificial Intelligence, was held Sunday and Monday, July 14-15, 2013, at the Hyatt Regency Bellevue Hotel in Bellevue, Washington, USA. The program included 12 workshops covering a wide range of topics in artificial intelligence, including Activity Context-Aware System Architectures (WS-13-05); Artificial Intelligence and Robotics Methods in Computational Biology (WS-13-06); Combining Constraint Solving with Mining and Learning (WS-13-07); Computer Poker and Imperfect Information (WS-13-08); Expanding the Boundaries of Health Informatics Using Artificial Intelligence (WS-13-09); Intelligent Robotic Systems (WS-13-10); Intelligent Techniques for Web Personalization and Recommendation (WS-13-11); Learning Rich Representations from Low-Level Sensors (WS-13-12); Plan, Activity,, and Intent Recognition (WS-13-13); Space, Time, and Ambient Intelligence (WS-13-14); Trading Agent Design and Analysis (WS-13-15); and Statistical Relational Artificial Intelligence (WS-13-16)
|
|
| 2. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Architecture, computing, and design assistance
- 2013
-
Ingår i: Automation in Construction. - : Elsevier. - 0926-5805 .- 1872-7891. ; 32, s. 161-164
-
Tidskriftsartikel (refereegranskat)abstract
- Design is one of the most complex of human endeavors requiring an enormous number of often conflicting criteria to be contemplated when identifying optimal solutions. Design is constrained by guidelines, codes, and standards applicable to the specific cultural and locational context that the design will be sited. Furthermore, a design has to be created within a collaborative team consisting of many professionals focused on specific subsystems and expert preferences that provide unique functionality to the overall design. The increasing use and capability of software tools involved in the creation and processing of such spatial information has also led to elevated levels of complexity that spurred a need to structure, query and reason about multiple spatial representations of buildings and their components in new ways.
|
|
| 3. |
|
|
| 4. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
CLP(QS) : A Declarative Spatial Reasoning Framework
- 2011
-
Ingår i: Spatial Information Theory. - Berlin, Heidelberg : Springer. - 9783642231957 - 9783642231964 ; , s. 210-230
-
Konferensbidrag (refereegranskat)abstract
- We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS) is a general framework, we demonstrate its applicability for the domain of Computer Aided Architecture Design. With CLP(QS) serving as a prototype, we position declarative spatial reasoning as a general paradigm open to other formalizations, reinterpretations, and extensions. We argue that the accessibility of qualitative spatial representation and reasoning mechanisms via the medium of high-level, logic-based formalizations is crucial for their utility toward solving real-world problems.
|
|
| 5. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation
- 2013
-
Ingår i: 2013 Workshop on Computational Models of Narrative. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik. - 9783939897576 ; , s. 24-29
-
Konferensbidrag (refereegranskat)abstract
- We position a narrative-centred computational model for high-level knowledge representation and reasoning in the context of a range of assistive technologies concerned with visuo-spatial perception and cognition tasks. Our proposed narrative model encompasses aspects such as space, events, actions, change, and interaction from the viewpoint of commonsense reasoning and learning in large-scale cognitive systems. The broad focus of this paper is on the domain of human-activity interpretation in smart environments, ambient intelligence etc. In the backdrop of a smart meeting cinematography domain, we position the proposed narrative model, preliminary work on perceptual narrativisation, and the immediate outlook on constructing general-purpose open-source tools for perceptual narrativisation.
|
|
| 6. |
- Bhatt, Mehul, Professor, 1980-
(författare)
-
Commonsense Inference in Dynamic Spatial Systems : Epistemological Requirements
- 2010
-
Ingår i: Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference (FLAIRS-23). - Menlo Park : AAAI Press. - 9781577354475 ; , s. 8-13
-
Konferensbidrag (refereegranskat)abstract
- We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to handle the frame problem whilst modeling inertia, and the causal minimisation of (Lin 1995) that is required to account for the ramifications of occurrences. Such patterns are both useful and necessary in order to operationalize a domain-independent qualitative spatial theory that is re-usable in arbitrary dynamic spatial systems, e.g., for spatial planning and causal explanation tasks. The illustration, grounded in the context of embedding arbitrary 'qualitative spatial calculi' within the situation calculus, utilizes topological and orientation calculi as examples.
|
|
| 7. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Computing Narratives of Cognitive User Experience for Building Design Analysis : KR for Industry Scale Computer-Aided Architecture Design
- 2014
-
Ingår i: Proceedings of the 14th international conference on principles of knowledge representation and reasoning. - : AAAI Press. - 9781577356578 ; , s. 508-517
-
Konferensbidrag (refereegranskat)abstract
- We present a cognitive design assistance system equipped with analytical capabilities aimed at anticipating architectural building design performance with respect to peoplecentred functional design goals. The paper focuses on the system capability to generate narratives of visuo-locomotive user experience from digital computer-aided architecture design (CAAD) models. The system is based on an underlying declarative narrative representation and computation framework pertaining to conceptual, geometric, and qualitative spatial knowledge. The semantics of the declarative narrative model, i.e., the overall representation and computation model, is founded on: (a) conceptual knowledge formalised in an OWL ontology; (b) a general spatial representation and reasoning engine implemented in constraint logic programming; and (c) a declaratively encoded (narrative) construction process (based on search over graph structures) implemented in answer-set programming.We emphasise and demonstrate: complete system implementation, scalability, and robust performance & integration with industry-scale architecture industry tools (e.g., Revit, Archi-CAD) & standards (BIM, IFC).
|
|
| 8. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Geospatial Narratives and Their Spatio-Temporal Dynamics : Commonsense Reasoning for High-Level Analyses in Geographic Information Systems
- 2014
-
Ingår i: ISPRS International Journal of Geo-Information. - Basel : MDPI AG. - 2220-9964. ; 3:1, s. 166-205
-
Tidskriftsartikel (refereegranskat)abstract
- The modeling, analysis and visualization of dynamic geospatial phenomena has been identified as a key developmental challenge for next-generation Geographic Information Systems (GIS). In this context, the envisaged paradigmatic extensions to contemporary foundational GIS technology raises fundamental questions concerning the ontological, formal representational and (analytical) computational methods that would underlie their spatial information theoretic underpinnings. We present the conceptual overview and architecture for the development of high-level semantic and qualitative analytical capabilities for dynamic geospatial domains. Building on formal methods in the areas of commonsense reasoning, qualitative reasoning, spatial and temporal representation and reasoning, reasoning about actions and change and computational models of narrative, we identify concrete theoretical and practical challenges that accrue in the context of formal reasoning about space, events, actions and change. With this as a basis and within the backdrop of an illustrated scenario involving the spatio-temporal dynamics of urban narratives, we address specific problems and solution techniques chiefly involving qualitative abstraction, data integration and spatial consistency and practical geospatial abduction.
|
|
| 9. |
- Bhatt, Mehul, Professor, 1980-
(författare)
-
Invited Speakers
- 2013
-
Ingår i: Space, Time, and Ambient Intelligence, Papers from the 2013 AAAI Workshop, Bellevue, Washington, USA, July 14, 2013. - : AAAI Press.
-
Konferensbidrag (refereegranskat)abstract
- In addition to six paper presentations, which will be accompanied by discussions, the workshop features two keynote speakers: Anthony Cohn (University of Leeds, UK) and Henry Kautz (University of Rochester, USA).
|
|
| 10. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Modelling Functional Requirements in Spatial Design
- 2010
-
Ingår i: Conceptual Modeling - ER 2010. - Berlin, Heidelberg : Springer. - 9783642163722 - 9783642163739 ; , s. 464-470
-
Konferensbidrag (refereegranskat)abstract
- We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally specified within practical information systems, wherein heterogeneous perspectives and conceptual commitments are needed. Focussing on semantics, modularity and consistency, we argue that our formalisation serves as a synergistic interface that mediates between the two disconnected domains of human abstracted qualitative/conceptual knowledge and its quantitative/precision-oriented counterpart within systems for spatial design (assistance). Our demonstration utilises simple, yet real world examples.
|
|
