2019
|
Jakob Suchan; Mehul Bhatt; Srikrishna Vardarajan Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving Inproceedings In: Sarit Kraus; Thomas Eiter (Ed.): Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, August 10-16, 2019, ((In Press)). Abstract | Links | BibTeX @inproceedings{IJCAI2019-ASP-Vision-Driving,
title = {Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving},
author = {Jakob Suchan and Mehul Bhatt and Srikrishna Vardarajan},
editor = {Sarit Kraus and Thomas Eiter},
url = {https://www.researchgate.net/publication/333521132_Out_of_Sight_But_Not_Out_of_Mind_An_Answer_Set_Programming_Based_Online_Abduction_Framework_for_Visual_Sensemaking_in_Autonomous_Driving},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, August 10-16},
abstract = {We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking (in the backdrop of autonomous driving). A general method for online visual sensemaking using answer set programming is systematically formalised and fully implemented. The method integrates state of the art in (deep learning based) visual computing, and is developed as a modular framework usable within hybrid architectures for perception & control. We evaluate and demo with community established benchmarks KITTIMOD and MOT. As use-case, we focus on the significance of human-centred visual sensemaking ---e.g., semantic representation and explainability, question-answering, commonsense interpolation--- in safety-critical autonomous driving situations.},
note = {(In Press)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking (in the backdrop of autonomous driving). A general method for online visual sensemaking using answer set programming is systematically formalised and fully implemented. The method integrates state of the art in (deep learning based) visual computing, and is developed as a modular framework usable within hybrid architectures for perception & control. We evaluate and demo with community established benchmarks KITTIMOD and MOT. As use-case, we focus on the significance of human-centred visual sensemaking ---e.g., semantic representation and explainability, question-answering, commonsense interpolation--- in safety-critical autonomous driving situations. |
Mehul Bhatt; Jakob Suchan; Srikrishna Vardarajan Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural Features Inproceedings In: Artur Garcez; Freddy Lecue; Derek Doran (Ed.): Proceedings of the 14th International Workshop on Neural-Symbolic Learning and Reasoning (IJCAI 2019), Macao, August 10-16, 2019, ((In Press)). Abstract | Links | BibTeX @inproceedings{NeSy2019-DeepSemantics,
title = {Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural Features},
author = {Mehul Bhatt and Jakob Suchan and Srikrishna Vardarajan},
editor = {Artur Garcez and Freddy Lecue and Derek Doran},
url = {https://www.researchgate.net/publication/333480472_Deep_Semantics_for_Explainable_Visuospatial_Intelligence_Perspectives_on_Integrating_Commonsense_Spatial_Abstractions_and_Low-Level_Neural_Features},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of the 14th International Workshop on Neural-Symbolic Learning and Reasoning (IJCAI 2019), Macao, August 10-16},
abstract = {High-level semantic interpretation of (dynamic) visual imagery calls for general and systematic methods integrating techniques in knowledge representation and computer vision. Towards this, we position "deep semantics", denoting the existence of declarative models --e.g., pertaining "space and motion"-- and corresponding formalisation and methods supporting (domain-independent) explainability capabilities such as semantic question-answering, relational (and relationally-driven) visuospatial learning, and (non-monotonic) visuospatial abduction. Rooted in recent work, we summarise and report the status quo on deep visuospatial semantics ---and our approach to neurosymbolic integration and explainable visuo-spatial computing in that context--- with developed methods and tools in diverse settings such as behavioural research in psychology, art & social sciences, and autonomous driving.},
note = {(In Press)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
High-level semantic interpretation of (dynamic) visual imagery calls for general and systematic methods integrating techniques in knowledge representation and computer vision. Towards this, we position "deep semantics", denoting the existence of declarative models --e.g., pertaining "space and motion"-- and corresponding formalisation and methods supporting (domain-independent) explainability capabilities such as semantic question-answering, relational (and relationally-driven) visuospatial learning, and (non-monotonic) visuospatial abduction. Rooted in recent work, we summarise and report the status quo on deep visuospatial semantics ---and our approach to neurosymbolic integration and explainable visuo-spatial computing in that context--- with developed methods and tools in diverse settings such as behavioural research in psychology, art & social sciences, and autonomous driving. |
Beidi Li; Carl Schultz; Mehul Bhatt Lambda-Prolog(QS): Functional Spatial Reasoning in Higher Order Logic Programming Inproceedings In: In Proceedings of 14th International Conference on Spatial Information Theory 2019, Regensburg, Germany on September 9-13, 2019., 2019, ((In Press)). BibTeX @inproceedings{COSIT-LambdaSpace,
title = {Lambda-Prolog(QS): Functional Spatial Reasoning in Higher Order Logic Programming},
author = {Beidi Li and Carl Schultz and Mehul Bhatt},
year = {2019},
date = {2019-01-01},
booktitle = {In Proceedings of 14th International Conference on Spatial Information Theory 2019, Regensburg, Germany on September 9-13, 2019.},
note = {(In Press)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2018
|
Neziha Akalin; Andrey Kiselev; Annica Kristoffersson; Amy Loutfi The Relevance of Social Cues in Assistive Training with a Social Robot Inproceedings In: International Conference on Social Robotics, pp. 462–471, Springer 2018. BibTeX @inproceedings{akalin2018relevance,
title = {The Relevance of Social Cues in Assistive Training with a Social Robot},
author = {Neziha Akalin and Andrey Kiselev and Annica Kristoffersson and Amy Loutfi},
year = {2018},
date = {2018-12-31},
booktitle = {International Conference on Social Robotics},
pages = {462--471},
organization = {Springer},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Jennifer Renoux; Uwe Köckemann; Amy Loutfi Online Guest Detection in a Smart Home using Pervasive Sensors and Probabilistic Reasoning Inproceedings In: Proceedings of the 2018 European Conference on Ambient Intelligence, Larnaca, Cyprus, 2018. Abstract | Links | BibTeX @inproceedings{renoux2018online,
title = {Online Guest Detection in a Smart Home using Pervasive Sensors and Probabilistic Reasoning},
author = {Jennifer Renoux and Uwe Köckemann and Amy Loutfi},
url = {http://www.jenniferrenoux.com/wp-content/uploads/2018/11/jrx_ukn_ali.pdf
http://www.jenniferrenoux.com/wp-content/uploads/2018/10/jrx_ukn_ali.pdf},
year = {2018},
date = {2018-12-14},
booktitle = {Proceedings of the 2018 European Conference on Ambient Intelligence},
address = {Larnaca, Cyprus},
abstract = {Smart home environments equipped with distributed sensor networks are capable of helping people by providing services related to health, emergency detection or daily routine management. A backbone to these systems relies often on the system’s ability to track and detect activities performed by the users in their home. Despite the continuous progress in the area of activity recognition in smart homes, many systems make a strong underlying assumption that the number of occupants in the home at any given moment of time is always known. This paper presents a probabilistic approach able to estimate the number of persons in the environment at each time step. This approach works in two steps: first, an estimate of the number of persons present in the environment is done using a Constraint Satisfaction Problem solver, based on the topology of the sensor network and the sensor activation pattern at this time point. Then, a Hidden Markov Model refines this estimate by considering the uncertainty related to the sensors. Using both simulated and real data, our method has been tested and validated on two smart homes of different sizes and configuration and demonstrates the ability to accurately estimate the number of inhabitants.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Smart home environments equipped with distributed sensor networks are capable of helping people by providing services related to health, emergency detection or daily routine management. A backbone to these systems relies often on the system’s ability to track and detect activities performed by the users in their home. Despite the continuous progress in the area of activity recognition in smart homes, many systems make a strong underlying assumption that the number of occupants in the home at any given moment of time is always known. This paper presents a probabilistic approach able to estimate the number of persons in the environment at each time step. This approach works in two steps: first, an estimate of the number of persons present in the environment is done using a Constraint Satisfaction Problem solver, based on the topology of the sensor network and the sensor activation pattern at this time point. Then, a Hidden Markov Model refines this estimate by considering the uncertainty related to the sensors. Using both simulated and real data, our method has been tested and validated on two smart homes of different sizes and configuration and demonstrates the ability to accurately estimate the number of inhabitants. |
Jennifer Renoux; Franziska Klügl Simulating Daily Activities in a Smart Home for Data Generation Inproceedings In: Proceedings of the Winter Simulation Conference, Gothenburg, Sweden, 2018. Abstract | Links | BibTeX @inproceedings{renoux2018simulating,
title = {Simulating Daily Activities in a Smart Home for Data Generation},
author = {Jennifer Renoux and Franziska Klügl},
url = {http://www.jenniferrenoux.com/wp-content/uploads/2018/10/main.pdf},
year = {2018},
date = {2018-12-09},
booktitle = {Proceedings of the Winter Simulation Conference},
address = {Gothenburg, Sweden},
abstract = {Smart Homes are currently one of the hottest topics in the market of Internet of Things and Augmented Living. However, in order to provide high-level intelligent solutions, algorithms need to be developed that take into account which activities the inhabitants intend to perform. Sensor data plays an essential role in their development, ranging from testing the algorithms to learning underlying rules for classifying and connecting sensor patterns and to inhabitant activities. However, currently only few and limited data sets are available. In this contribution we present concepts and solutions for generating high-quality data using a flexible agent-based simulation tool. Hereby, we integrate the simulation of a sensorized apartment with human behaviour modeling. We selected a constraint-based planning approach for producing a sequence of daily activities of a human inhabitant. The overall set-up is shown to produce data that exhibits the same relevant properties than a comparable real-world scenario and thus can be used to replace expensive data collection campaigns.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Smart Homes are currently one of the hottest topics in the market of Internet of Things and Augmented Living. However, in order to provide high-level intelligent solutions, algorithms need to be developed that take into account which activities the inhabitants intend to perform. Sensor data plays an essential role in their development, ranging from testing the algorithms to learning underlying rules for classifying and connecting sensor patterns and to inhabitant activities. However, currently only few and limited data sets are available. In this contribution we present concepts and solutions for generating high-quality data using a flexible agent-based simulation tool. Hereby, we integrate the simulation of a sensorized apartment with human behaviour modeling. We selected a constraint-based planning approach for producing a sequence of daily activities of a human inhabitant. The overall set-up is shown to produce data that exhibits the same relevant properties than a comparable real-world scenario and thus can be used to replace expensive data collection campaigns. |
Marjan Alirezaie; Karl Hammar; Eva Blomqvist; Mikael Nystrom; Valentina Ivanova SmartEnv Ontology in E-care@home Workshop Proceedings of the 9th International Semantic Sensor Networks Workshop, 2213 , 2018, ISSN: 1613-0073. BibTeX @workshop{AlirezaieSSN2018,
title = {SmartEnv Ontology in E-care@home},
author = {Marjan Alirezaie and Karl Hammar and Eva Blomqvist and Mikael Nystrom and Valentina Ivanova},
issn = {1613-0073},
year = {2018},
date = {2018-09-10},
booktitle = {Proceedings of the 9th International Semantic Sensor Networks Workshop},
volume = {2213},
keywords = {},
pubstate = {published},
tppubtype = {workshop}
}
|
Mehul Bhatt Minds. Movement. Moving Image Journal Article In: Cognitive Processing, 19 (Suppl. 1), pp. S5–S5, 2018, (as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018)). Links | BibTeX @article{Bhatt-ICSC18-MMM-Symposia,
title = {Minds. Movement. Moving Image},
author = {Mehul Bhatt},
doi = {10.1007/s10339-018-0884-3},
year = {2018},
date = {2018-09-01},
journal = {Cognitive Processing},
volume = {19},
number = {Suppl. 1},
pages = {S5--S5},
institution = {University of Bremen, Bremen, Germany},
note = {as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018)},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Mehul Bhatt Embodied Architecture Design : On people-centered design of visuo-locomotive cognitive experiences Journal Article In: Cognitive Processing, 19 (Suppl. 1), pp. S5–S5, 2018, (as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018)). Links | BibTeX @article{Bhatt-ICSC18-Embodied,
title = {Embodied Architecture Design : On people-centered design of visuo-locomotive cognitive experiences},
author = {Mehul Bhatt},
doi = {10.1007/s10339-018-0884-3},
year = {2018},
date = {2018-09-01},
journal = {Cognitive Processing},
volume = {19},
number = {Suppl. 1},
pages = {S5--S5},
institution = {University of Bremen, Bremen, Germany},
note = {as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018)},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Vasiliki Kondyli; Mehul Bhatt Decision points in architectural space : How they affect users' visuo-locomotive experience during wayfinding Journal Article In: Cognitive Processing, 19 (Suppl. 1), pp. S43–S43, 2018, (as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018).). Links | BibTeX @article{Kondyli-Bhatt-ICSC18-Decision,
title = {Decision points in architectural space : How they affect users' visuo-locomotive experience during wayfinding},
author = {Vasiliki Kondyli and Mehul Bhatt},
doi = {10.1007/s10339-018-0884-3},
year = {2018},
date = {2018-09-01},
journal = {Cognitive Processing},
volume = {19},
number = {Suppl. 1},
pages = {S43--S43},
institution = {DesignSpace Group, University of Bremen, Bremen, Germany},
note = {as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018).},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Mehul Bhatt Cognitive Media Studies : Potentials for Spatial Cognition and AI research Journal Article In: Cognitive Processing, 19 (Suppl. 1), pp. S6–S6, 2018, (as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018)). Links | BibTeX @article{Bhatt-ICSC18-CogMedia,
title = {Cognitive Media Studies : Potentials for Spatial Cognition and AI research},
author = {Mehul Bhatt},
doi = {10.1007/s10339-018-0884-3},
year = {2018},
date = {2018-09-01},
journal = {Cognitive Processing},
volume = {19},
number = {Suppl. 1},
pages = {S6--S6},
institution = {University of Bremen, Bremen, Germany},
note = {as part of: Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018)},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Michael Sioutis; Amy Loutfi Efficient Dynamic Methods for Qualitative Constraint-based Spatial and Temporal Reasoning (Position Paper) Workshop PTHG-18: The Second Workshop on Progress Towards the Holy Grail, 2018. Abstract | Links | BibTeX @workshop{CP-PTHG,
title = {Efficient Dynamic Methods for Qualitative Constraint-based Spatial and Temporal Reasoning (Position Paper)},
author = {Michael Sioutis and Amy Loutfi},
url = {https://freuder.files.wordpress.com/2018/08/sioutis-loutfi.pdf},
year = {2018},
date = {2018-08-27},
booktitle = {PTHG-18: The Second Workshop on Progress Towards the Holy Grail},
abstract = {We describe a research roadmap for going beyond the state of the art in Qualitative Spatial and Temporal Reasoning (QSTR). Our proposal involves researching novel local consistencies in the aforementioned discipline, and defining dynamic algorithms pertaining to these consistencies that can allow for efficient reasoning over streams of spatio-temporal information. Simply put, QSTR is a major field of study in Artificial Intelligence that abstracts from numerical quantities of space and time by using qualitative descriptions instead (e.g., precedes, contains, is left of); thus, it provides a concise framework that allows for rather inexpensive reasoning about entities located in space or time. Applications of QSTR are found in a plethora of areas and domains such as smart environments, planning, and unmanned aircraft systems.},
keywords = {},
pubstate = {published},
tppubtype = {workshop}
}
We describe a research roadmap for going beyond the state of the art in Qualitative Spatial and Temporal Reasoning (QSTR). Our proposal involves researching novel local consistencies in the aforementioned discipline, and defining dynamic algorithms pertaining to these consistencies that can allow for efficient reasoning over streams of spatio-temporal information. Simply put, QSTR is a major field of study in Artificial Intelligence that abstracts from numerical quantities of space and time by using qualitative descriptions instead (e.g., precedes, contains, is left of); thus, it provides a concise framework that allows for rather inexpensive reasoning about entities located in space or time. Applications of QSTR are found in a plethora of areas and domains such as smart environments, planning, and unmanned aircraft systems. |
Gael Glorian; Jean-Marie Lagniez; Valentin Montmirail; Michael Sioutis An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks Inproceedings In: Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, Lille, France, August 27-31, 2018, pp. 160–178, Springer, 2018. Links | BibTeX @inproceedings{DBLP:conf/cp/GlorianLMS18,
title = {An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks},
author = {Gael Glorian and Jean-Marie Lagniez and Valentin Montmirail and Michael Sioutis},
url = {https://doi.org/10.1007/978-3-319-98334-9_11},
doi = {10.1007/978-3-319-98334-9_11},
year = {2018},
date = {2018-08-27},
booktitle = {Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, Lille, France, August 27-31, 2018},
volume = {11008},
pages = {160--178},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Neziha Akalin; Andrey Kiselev; Annica Kristoffersson; Amy Loutfi Enhancing Social Human-Robot Interaction with Deep Reinforcement Learning Inproceedings In: Proc. FAIM/ISCA Workshop on Artificial Intelligence for Multimodal Human Robot Interaction, 2018. BibTeX @inproceedings{akalinenhancing,
title = {Enhancing Social Human-Robot Interaction with Deep Reinforcement Learning},
author = {Neziha Akalin and Andrey Kiselev and Annica Kristoffersson and Amy Loutfi},
year = {2018},
date = {2018-07-15},
booktitle = {Proc. FAIM/ISCA Workshop on Artificial Intelligence for Multimodal Human Robot Interaction},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Marjan Alirezaie; Martin Längkvist; Michael Sioutis; Amy Loutfi A Symbolic Approach for Explaining Errors in Image Classification Tasks Workshop IJCAI Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge, 2018. Abstract | Links | BibTeX @workshop{IJCAI-LR,
title = {A Symbolic Approach for Explaining Errors in Image Classification Tasks},
author = {Marjan Alirezaie and Martin Längkvist and Michael Sioutis and Amy Loutfi},
url = {http://www.iiia.csic.es/LR2018/files/Alirezaie.pdf},
year = {2018},
date = {2018-07-14},
booktitle = {IJCAI Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge},
abstract = {Machine learning algorithms, despite their increasing success in handling object recognition tasks, still seldom perform without error. Often the process of understanding why the algorithm has failed is the task of the human who, using domain knowledge and contextual information, can discover systematic shortcomings in either the data or the algorithm. This paper presents an approach where the process of reasoning about errors emerging from a machine learning framework is automated using symbolic techniques. By utilizing spatial and geometrical reasoning between objects in a scene, the system is able to describe misclassified regions in relation to its context. The system is demonstrated in the remote sensing domain where objects and entities
are detected in satellite images.},
keywords = {},
pubstate = {published},
tppubtype = {workshop}
}
Machine learning algorithms, despite their increasing success in handling object recognition tasks, still seldom perform without error. Often the process of understanding why the algorithm has failed is the task of the human who, using domain knowledge and contextual information, can discover systematic shortcomings in either the data or the algorithm. This paper presents an approach where the process of reasoning about errors emerging from a machine learning framework is automated using symbolic techniques. By utilizing spatial and geometrical reasoning between objects in a scene, the system is able to describe misclassified regions in relation to its context. The system is demonstrated in the remote sensing domain where objects and entities
are detected in satellite images. |
Uwe Köckemann; Marjan Alirezaie; Lars Karlsson; Amy Loutfi Integrating Ontologies for Context-based Constraint-based Planning Workshop MRC-2018, 2018. Links | BibTeX @workshop{MRC-2018-Koeckemann_EtAl,
title = {Integrating Ontologies for Context-based Constraint-based Planning},
author = {Uwe Köckemann and Marjan Alirezaie and Lars Karlsson and Amy Loutfi},
url = {http://ceur-ws.org/Vol-2134/#paper06},
year = {2018},
date = {2018-07-09},
booktitle = {MRC-2018},
pages = {22-29},
keywords = {},
pubstate = {published},
tppubtype = {workshop}
}
|
Vasiliki Kondyli; Mehul Bhatt Spatial knowledge update in rotational locomotion. On the role of visuo-spatial cues and familiarity. A case-study at the Bremen train-station. Inproceedings In: Proceedings of the 16th European Workshop on Imagery and Cognition (EWIC), From World to Mind: Images and Representations, Padua, Italy, 2018. BibTeX @inproceedings{KondyliEWIC2018,
title = {Spatial knowledge update in rotational locomotion. On the role of visuo-spatial cues and familiarity. A case-study at the Bremen train-station.},
author = {Vasiliki Kondyli and Mehul Bhatt},
year = {2018},
date = {2018-06-01},
booktitle = {Proceedings of the 16th European Workshop on Imagery and Cognition (EWIC), From World to Mind: Images and Representations},
address = {Padua, Italy},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Marjan Alirezaie; Karl Hammar; Eva Blomqvist SmartEnv as a Network of Ontology Patterns Journal Article In: Semantic Web Journal (SWJ), 2018, ISSN: 1570-0844. Abstract | Links | BibTeX @article{swj-ecare,
title = {SmartEnv as a Network of Ontology Patterns},
author = {Marjan Alirezaie and Karl Hammar and Eva Blomqvist},
editor = {Aldo Gangemi},
url = {http://www.semantic-web-journal.net/system/files/swj1777.pdf},
issn = {1570-0844},
year = {2018},
date = {2018-03-20},
journal = {Semantic Web Journal (SWJ)},
abstract = {In this article we outline the details of an ontology, called SmartEnv, proposed as a representational model to assist the development process of smart (i.e., sensorized) environments. The SmartEnv ontology is described in terms of its modules representing different aspects including physical and conceptual aspects of a smart environment. We propose the use of the Ontology Design Pattern (ODP) paradigm in order to modularize our proposed solution, while at the same time avoiding strong dependencies between the modules in order to manage the representational complexity of the ontology. The ODP paradigm and related methodologies enable incremental construction of ontologies by first creating and then linking small modules. Most modules (patterns) of the SmartEnv ontology are inspired by, and aligned with, the Semantic Sensor Network (SSN) ontology, however with extra interlinks to provide further precision and cover more representational aspects. The result is a network of 8 ontology patterns together forming a generic representation for a smart environment. The patterns have been submitted to the ODP portal and are available on-line at stable URIs.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
In this article we outline the details of an ontology, called SmartEnv, proposed as a representational model to assist the development process of smart (i.e., sensorized) environments. The SmartEnv ontology is described in terms of its modules representing different aspects including physical and conceptual aspects of a smart environment. We propose the use of the Ontology Design Pattern (ODP) paradigm in order to modularize our proposed solution, while at the same time avoiding strong dependencies between the modules in order to manage the representational complexity of the ontology. The ODP paradigm and related methodologies enable incremental construction of ontologies by first creating and then linking small modules. Most modules (patterns) of the SmartEnv ontology are inspired by, and aligned with, the Semantic Sensor Network (SSN) ontology, however with extra interlinks to provide further precision and cover more representational aspects. The result is a network of 8 ontology patterns together forming a generic representation for a smart environment. The patterns have been submitted to the ODP portal and are available on-line at stable URIs. |
Michael Sioutis; Zhiguo Long; Sanjiang Li Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints Journal Article Forthcoming In: International Journal on Artificial Intelligence Tools, Forthcoming. Links | BibTeX @article{sslijait2018,
title = {Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints},
author = {Michael Sioutis and Zhiguo Long and Sanjiang Li},
doi = {10.1142/S0218213018600011},
year = {2018},
date = {2018-01-18},
journal = {International Journal on Artificial Intelligence Tools},
keywords = {},
pubstate = {forthcoming},
tppubtype = {article}
}
|
Jakob Suchan; Mehul Bhatt; Pzmyslaw Walega; Carl Schultz Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects Inproceedings In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, February 2-7, 2018, New Orleans, USA., AAAI Press, 2018, (Accepted for publication; to appear). Links | BibTeX @inproceedings{visualAbductionAAAI2018,
title = {Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects},
author = {Jakob Suchan and Mehul Bhatt and Pzmyslaw Walega and Carl Schultz},
url = {https://aaai.org/Conferences/AAAI-18/},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, February 2-7, 2018, New Orleans, USA.},
publisher = {AAAI Press},
note = {Accepted for publication; to appear},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Ali Mensi; Jean-François Condotta; Issam Nouaouri; Michael Sioutis; Lamjed Ben Saïd A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints Inproceedings In: Proceedings of the 10th Hellenic Conference on Artificial Intelligence,
SETN 2018, Patras, Greece, July 09-12, 2018, pp. 19:1–19:9, 2018. Links | BibTeX @inproceedings{DBLP:conf/setn/MensiCNSS18,
title = {A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints},
author = {Ali Mensi and Jean-François Condotta and Issam Nouaouri and Michael Sioutis and Lamjed Ben Saïd},
url = {http://doi.acm.org/10.1145/3200947.3201021},
doi = {10.1145/3200947.3201021},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the 10th Hellenic Conference on Artificial Intelligence,
SETN 2018, Patras, Greece, July 09-12, 2018},
pages = {19:1--19:9},
crossref = {DBLP:conf/setn/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Alessandro Vuono; Matteo Luperto; Jacopo Banfi; Nicola Basilico; Nunzio Alberto Borghese; Michael Sioutis; Jennifer Renoux; Amy Loutfi Seeking Prevention of Cognitive Decline in Elders via Activity Suggestion by A Virtual Caregiver Inproceedings In: Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15,
2018, pp. 1835–1837, 2018. Links | BibTeX @inproceedings{DBLP:conf/atal/VuonoLBBBSRL18,
title = {Seeking Prevention of Cognitive Decline in Elders via Activity Suggestion by A Virtual Caregiver},
author = {Alessandro Vuono and Matteo Luperto and Jacopo Banfi and Nicola Basilico and Nunzio Alberto Borghese and Michael Sioutis and Jennifer Renoux and Amy Loutfi},
url = {http://dl.acm.org/citation.cfm?id=3237994},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1835--1837},
crossref = {DBLP:conf/atal/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Carl P L Schultz; Mehul Bhatt; Jakob Suchan; Przemyslaw Andrzej Walega Answer Set Programming Modulo 'Space-Time' Inproceedings In: Christoph Benzm ü; Francesco Ricca; Xavier Parent; Dumitru Roman (Ed.): Rules and Reasoning - Second International Joint Conference, RuleML+RR
2018, Luxembourg, September 18-21, 2018, Proceedings, pp. 318–326, Springer, 2018. Links | BibTeX @inproceedings{DBLP:conf/ruleml/SchultzBSW18,
title = {Answer Set Programming Modulo 'Space-Time'},
author = {Carl P L Schultz and Mehul Bhatt and Jakob Suchan and Przemyslaw Andrzej Walega},
editor = {Christoph Benzm ü and Francesco Ricca and Xavier Parent and Dumitru Roman},
url = {https://doi.org/10.1007/978-3-319-99906-7_24},
doi = {10.1007/978-3-319-99906-7_24},
year = {2018},
date = {2018-01-01},
booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
2018, Luxembourg, September 18-21, 2018, Proceedings},
volume = {11092},
pages = {318--326},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Antonio Lieto; Mehul Bhatt; Alessandro Oltramari; David Vernon The role of cognitive architectures in general artificial intelligence Journal Article In: Cognitive Systems Research, 48 , pp. 1–3, 2018. Links | BibTeX @article{cog-architecture-2018,
title = {The role of cognitive architectures in general artificial intelligence},
author = {Antonio Lieto and Mehul Bhatt and Alessandro Oltramari and David Vernon},
url = {https://doi.org/10.1016/j.cogsys.2017.08.003},
doi = {10.1016/j.cogsys.2017.08.003},
year = {2018},
date = {2018-01-01},
journal = {Cognitive Systems Research},
volume = {48},
pages = {1--3},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Mehul Bhatt; Antonio Lieto (Ed.) Proceedings of the 1st International Workshop on Cognition and Artificial
Intelligence for Human-Centred Design 2017 co-located with IJCAI
2017, Melbourne, Australia, August 19, 2017 Proceeding CEUR-WS.org, 2099 , 2018. Links | BibTeX @proceedings{IJCAI-CAID-workshop-2018,
title = {Proceedings of the 1st International Workshop on Cognition and Artificial
Intelligence for Human-Centred Design 2017 co-located with IJCAI
2017, Melbourne, Australia, August 19, 2017},
editor = {Mehul Bhatt and Antonio Lieto},
url = {http://ceur-ws.org/Vol-2099},
year = {2018},
date = {2018-01-01},
volume = {2099},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
|
Jakob Suchan; Mehul Bhatt; Srikrishna Vardarajan; Seyed Ali Amirshahi; Stella Yu Semantic Analysis of (Reflectional) Visual Symmetry: A Human-Centred
Computational Model for Declarative Explainability Journal Article In: Advances in Cognitive Systems, 6 , pp. 65-84, 2018, ISSN: ISSN 2324-8416. Links | BibTeX @article{CogSys-Symmetry-2018,
title = {Semantic Analysis of (Reflectional) Visual Symmetry: A Human-Centred
Computational Model for Declarative Explainability},
author = {Jakob Suchan and Mehul Bhatt and Srikrishna Vardarajan and Seyed Ali Amirshahi and Stella Yu},
url = {http://www.cogsys.org/journal},
issn = {ISSN 2324-8416},
year = {2018},
date = {2018-01-01},
journal = {Advances in Cognitive Systems},
volume = {6},
pages = {65-84},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Vasiliki Kondyli; Mehul Bhatt Rotational Locomotion in Large-Scale Environments: A Survey and Implications for Evidence-Based Design Practice. Journal Article In: Built Environment, 44 (2), pp. 241-258, 2018, ISSN: 0263-7960. Abstract | Links | BibTeX @article{Kondyli_CognitionCity,
title = {Rotational Locomotion in Large-Scale Environments: A Survey and Implications for Evidence-Based Design Practice.},
author = {Vasiliki Kondyli and Mehul Bhatt},
url = {https://www.ingentaconnect.com/content/alex/benv/2018/00000044/00000002/art00009},
doi = {doi:10.2148/benv.44.2.241},
issn = {0263-7960},
year = {2018},
date = {2018-01-01},
journal = {Built Environment},
volume = {44},
number = {2},
pages = {241-258},
abstract = {Navigation performance in urban and large-scale built-up spaces (e.g. airports, train-stations, hospitals) depends on gradual environmental perception during locomotion, and spatial knowledge acquisition, update/integration at different times along a path. Rotational locomotion is regularly involved in everyday navigation; this, combined with the fact that people cannot perceive the whole of a large-scale setting at once often leads to incidents of cognitive loading and disorientation. Our research explores the mechanisms involved in rotational locomotion for human navigators, and the role of familiarity as well as the cost of cognitive load on orientation accuracy and spatial memory. We examine the impact of structural and featural cues on spatial knowledge updating in relation to egorotations from the viewpoint of behaviour-based design practice and evidencebased design interventions. The results are based on a case study in a train station, experimenting on rotational problems in navigation. Here we present preliminary results emphasizing the role of environmental cues in rotational location, outline possibilities for further study, and discuss implications},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Navigation performance in urban and large-scale built-up spaces (e.g. airports, train-stations, hospitals) depends on gradual environmental perception during locomotion, and spatial knowledge acquisition, update/integration at different times along a path. Rotational locomotion is regularly involved in everyday navigation; this, combined with the fact that people cannot perceive the whole of a large-scale setting at once often leads to incidents of cognitive loading and disorientation. Our research explores the mechanisms involved in rotational locomotion for human navigators, and the role of familiarity as well as the cost of cognitive load on orientation accuracy and spatial memory. We examine the impact of structural and featural cues on spatial knowledge updating in relation to egorotations from the viewpoint of behaviour-based design practice and evidencebased design interventions. The results are based on a case study in a train station, experimenting on rotational problems in navigation. Here we present preliminary results emphasizing the role of environmental cues in rotational location, outline possibilities for further study, and discuss implications |
Kondyli Vasiliki; Bhatt Mehul; Timo Hartmann Precedent Based Design Foundations for Parametric Design: Ŧhe Case of Navigation and Wayfinding Journal Article In: Advances in Computational Design, 3 (4), pp. pages 339-336, 2018. Links | BibTeX @article{Kondyli-TechnoEGICE2018,
title = {Precedent Based Design Foundations for Parametric Design: Ŧhe Case of Navigation and Wayfinding},
author = {Kondyli Vasiliki and Bhatt Mehul and Timo Hartmann},
doi = {http://dx.doi.org/10.12989/acd.2018.3.4.339},
year = {2018},
date = {2018-01-01},
journal = {Advances in Computational Design},
volume = {3},
number = {4},
pages = {pages 339-336},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2017
|
Marjan Alirezaie; Andrey Kiselev; Martin Längkvist; Franziska Klügl; Amy Loutfi An Ontology-Based Reasoning Framework for Querying Satellite Images for Disaster Monitoring Journal Article In: Sensors, 17 (11), 2017, ISSN: 1424-8220. Abstract | Links | BibTeX @article{s17112545,
title = {An Ontology-Based Reasoning Framework for Querying Satellite Images for Disaster Monitoring},
author = {Marjan Alirezaie and Andrey Kiselev and Martin Längkvist and Franziska Klügl and Amy Loutfi},
url = {http://www.mdpi.com/1424-8220/17/11/2545},
doi = {10.3390/s17112545},
issn = {1424-8220},
year = {2017},
date = {2017-11-05},
journal = {Sensors},
volume = {17},
number = {11},
abstract = {This paper presents a framework in which satellite images are classified and augmented with additional semantic information to enable queries about what can be found on the map at a particular location, but also about paths that can be taken. This is achieved by a reasoning framework based on qualitative spatial reasoning that is able to find answers to high level queries that may vary on the current situation. This framework called SemCityMap, provides the full pipeline from enriching the raw image data with rudimentary labels to the integration of a knowledge representation and reasoning methods to user interfaces for high level querying. To illustrate the utility of SemCityMap in a disaster scenario, we use an urban environment—central Stockholm—in combination with a flood simulation. We show that the system provides useful answers to high-level queries also with respect to the current flood status. Examples of such queries concern path planning for vehicles or retrieval of safe regions such as “find all regions close to schools and far from the flooded area”. The particular advantage of our approach lies in the fact that ontological information and reasoning is explicitly integrated so that queries can be formulated in a natural way using concepts on appropriate level of abstraction, including additional constraints.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
This paper presents a framework in which satellite images are classified and augmented with additional semantic information to enable queries about what can be found on the map at a particular location, but also about paths that can be taken. This is achieved by a reasoning framework based on qualitative spatial reasoning that is able to find answers to high level queries that may vary on the current situation. This framework called SemCityMap, provides the full pipeline from enriching the raw image data with rudimentary labels to the integration of a knowledge representation and reasoning methods to user interfaces for high level querying. To illustrate the utility of SemCityMap in a disaster scenario, we use an urban environment—central Stockholm—in combination with a flood simulation. We show that the system provides useful answers to high-level queries also with respect to the current flood status. Examples of such queries concern path planning for vehicles or retrieval of safe regions such as “find all regions close to schools and far from the flooded area”. The particular advantage of our approach lies in the fact that ontological information and reasoning is explicitly integrated so that queries can be formulated in a natural way using concepts on appropriate level of abstraction, including additional constraints. |
Kondyli Vasiliki; Schultz Carl; Mehul Bhatt Evidence-Based Parametric Design: Computationally generated spatial morphologies satisfying behavioural-based design constraints. Inproceedings In: Proceedings of the 13th International Conference on Spatial Information Theory 2017, L'Aquila, Italy, 2017, ISSN: 9781510847132. BibTeX @inproceedings{KondyliCOSIT2017,
title = {Evidence-Based Parametric Design: Computationally generated spatial morphologies satisfying behavioural-based design constraints.},
author = {Kondyli Vasiliki and Schultz Carl and Mehul Bhatt},
issn = {9781510847132},
year = {2017},
date = {2017-09-01},
booktitle = {Proceedings of the 13th International Conference on Spatial Information Theory 2017},
volume = {1},
address = {L'Aquila, Italy},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
