NDLI: Non-monotonic spatial reasoning with answer set programming modulo theories

Please wait, while we are loading the content...

Non-monotonic spatial reasoning with answer set programming modulo theories

Content Provider	Scilit
Author	Wałęga, Przemysław Andrzej Schultz, Carl Bhatt, Mehul
Copyright Year	2016
Description	The systematic modelling ofdynamic spatial systemsis a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and dynamic geographic information systems. We present Answer Set Programming Modulo Theories (ASPMT)(QS), a novel approach and fully implemented prototype for non-monotonic spatial reasoning — a crucial requirement within dynamic spatial systems — based on ASPMT. ASPMT(QS) consists of a (qualitative) spatial representation module (QS) and a method for turning tight ASPMT instances into Satisfiability Modulo Theories (SMT) instances in order to compute stable models by means of SMT solvers. We formalise and implement concepts of default spatial reasoning and spatial frame axioms. Spatial reasoning is performed by encoding spatial relations as systems of polynomial constraints, and solving via SMT with the theory of real non-linear arithmetic. We empirically evaluate ASPMT(QS) in comparison with other contemporary spatial reasoning systems both within and outside the context of logic programming. ASPMT(QS) is currently the only existing system that is capable of reasoning about indirect spatial effects (i.e., addressing the ramification problem), and integrating geometric and QS information within a non-monotonic spatial reasoning context.
Related Links	http://arxiv.org/pdf/1606.07860 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/040979A12B574D65FC7CD9CFC7720A46/S1471068416000193a.pdf/div-class-title-non-monotonic-spatial-reasoning-with-answer-set-programming-modulo-theories-a-href-afn1-ref-type-fn-a-a-href-afn2-ref-type-fn-a-div.pdf
Ending Page	225
Page Count	21
Starting Page	205
ISSN	14710684
e-ISSN	14753081
DOI	10.1017/s1471068416000193
Journal	Theory and Practice of Logic Programming
Issue Number	2
Volume Number	17
Language	English
Publisher	Cambridge University Press (CUP)
Publisher Date	2017-03-01
Access Restriction	Open
Subject Keyword	Theory and Practice of Logic Programming Hardware and Architecture Information Systems monotonic Spatial Reasoning Answer Set Programming Modulo Theories Declarative Spatial Reasoning Dynamic Spatial Systems Reasoning About Space and Change
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in