Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Programming in Picat Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

A Numerical Optimisation Based Characterisation of Spatial Reasoning

verfasst von : Carl Schultz, Mehul Bhatt

Erschienen in: Rule Technologies. Research, Tools, and Applications

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We present a novel numerical optimisation based characterisation of spatial reasoning in the context of constraint logic programming (CLP). The approach —formalised and implemented within CLP— is developed as an extension to CLP(QS), a declarative spatial reasoning framework providing a range of mixed quantitative-qualitative spatial representation and reasoning capabilities. We demonstrate the manner in which the numerical optimisation based extensions further enhance the declarative spatial reasoning capabilities of CLP(QS).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Blockchain Temporality: Smart Contract Time Specifiability with Blocktime
Nächstes Kapitel Why Can’t You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints
Fußnoten
1
We employ the egg-yolk method of modelling regions with indeterminante boundaries [6] to characterise a class of regions (including polygons) that satisfies topological and relative orientation relations [17]. Each egg-yolk region is an equivalence class for all regions that are contained within the upper approximation (the egg white), and completely contain the lower approximations (the egg yolk).
 
2
\({\text {CLP}}(\mathcal {QS})\) is implemented in SWI-Prolog, and we have integrated the geometric constraint solver FreeCAD www.​freecadweb.​org.
 
Literatur
1.
2.
Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.A.K.: Handbook of Spatial Logics. Springer New York Inc., Secaucus (2007)CrossRefMATH
3.
Bhatt, M., Guesgen, H., Wölfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: emerging applications, trends, and directions. Spat. Cogn. Comput. 11(1), 1–14 (2011)
4.
Bhatt, M., Lee, J.H., Schultz, C.: CLP(QS): a declarative spatial reasoning framework. In: Egenhofer, M., Giudice, N., Moratz, R., Worboys, M. (eds.) COSIT 2011. LNCS, vol. 6899, pp. 210–230. Springer, Heidelberg (2011)CrossRef
5.
Byrd, R.H., Lu, P., Nocedal, J., Ciyou, Z.: A limited memory algorithm for bound constrained optimization. SIAM J. Sci. Comput. 16(5), 1190–1208 (1995)MathSciNetCrossRefMATH
6.
Cohn, A.G., Gotts, N.M.: The ‘egg-yolk’ representation of regions with indeterminate boundaries. Geogr. Objects Indeterminate Bound. 2, 171–187 (1996)
7.
Duesmann, G.: Applying principles of knowledge representation and reasoning by integrating declarative spatial reasoning and computer vision: a prototype system for histopathology. Bachelor thesis, The University of Münster (2016)
8.
Ge, J.-X., Chou, S.-C., Gao, X.-S.: Geometric constraint satisfaction using optimization methods. Comput. Aided Des. 31(14), 867–879 (1999)CrossRefMATH
9.
Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.: The CLP (R) language and system. ACM Trans. Program. Lang. Syst. (TOPLAS) 14(3), 339–395 (1992)CrossRef
10.
Kapur, D., Mundy, J.L. (eds.): Geometric Reasoning. MIT Press, Cambridge (1988)
11.
Light, R., Gossard, D.: Modification of geometric models through variational geometry. Comput. Aided Des. 14(4), 209–214 (1982)CrossRef
12.
Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley-ISTE, London (2011)MATH
13.
Pesant, G., Boyer, M.: Reasoning about solids using constraint logic programming. J. Autom. Reason. 22(3), 241–262 (1999)CrossRefMATH
14.
Raffaetà, A., Frühwirth, T.: Spatio-temporal annotated constraint logic programming. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 259–273. Springer, Heidelberg (2001)CrossRef
15.
Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. KR 92, 165–176 (1992)
16.
Schultz, C., Bhatt, M.: Declarative spatial reasoning with boolean combinations of axis-aligned rectangular polytopes. In: ECAI 2014–21st European Conference on Artificial Intelligence, pp. 795–800 (2014)
17.
Schultz, C., Bhatt, M.: Encoding relative orientation and mereotopology relations with geometric constraints in CLP(QS). In: 1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR 2015), Lodz, Poland, September 2015
18.
Schultz, C., Bhatt, M.: Spatial symmetry driven pruning strategies for efficient declarative spatial reasoning. In: Fabrikant, S.I., Raubal, M., Bertolotto, M., Davies, C., Freundschuh, S., Bell, S. (eds.) COSIT 2015. LNCS, vol. 9368, pp. 331–353. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-23374-1_​16 CrossRef
19.
Wałęga, P.A., Bhatt, M., Schultz, C.: ASPMT(QS): non-monotonic spatial reasoning with answer set programming modulo theories. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 488–501. Springer, Heidelberg (2015)CrossRef
Metadaten
Titel
A Numerical Optimisation Based Characterisation of Spatial Reasoning
verfasst von
Carl Schultz
Mehul Bhatt
Copyright-Jahr
2016
Buch
Rule Technologies. Research, Tools, and Applications

Print ISBN: 978-3-319-42018-9

Electronic ISBN: 978-3-319-42019-6

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-42019-6_13

Premium Partner

    Bildnachweise