Soft constraints for KnowLang
Pages 99 - 103
Abstract
Constraints are widely used in information technologies and research fields such as programming languages, artificial intelligence, databases, information security, web technologies, etc. In this paper, we present our preliminary steps of using soft constraints for knowledge representation. We integrate soft constraints in KnowLang, a formal language for knowledge representation in self-adaptive systems. KnowLang allows for efficient and comprehensive knowledge structuring where ontologies are integrated with rules and Bayesian networks. The approach targets at a technique where knowledge can be represented as special restrictive rules that may require full or partial satisfaction, i.e., restrictions are represented as some sort of good-to-have properties.
References
[1]
ASCENS. ASCENS - Autonomic Service-Component Ensembles, 2010. http://www.ascens-ist.eu/, last viewed April 2012.
[2]
A. Biso, F. Rossi, and A. Sperduti. Experimental results on learning soft constraints. In Proceedings of KR'2000, pages 435--444. SRI International, Menlo Park, California, USA, 2000.
[3]
S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201--236, 1997.
[4]
S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint logic programming: Syntax and semantics. ACM Trans. Program. Lang. Syst., 23(1):1--29, 2001.
[5]
S. Bistarelli, U. Montanari, and F. Rossi. Soft concurrent constraint programming. ACM Trans. Comput. Log., 7(3):563--589, 2006.
[6]
M. Bonani, V. Longchamp, S. Magnenat, P. Retornaz, D. Burnier, G. Roulet, F. Vaussard, H. Bleuler, and F. Mondada. The marxbot, a miniature mobile robot opening new perspectives for the collective-robotic research. In Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010). IEEE/RSJ, 2010.
[7]
M. G. Buscemi and U. Montanari. Cc-pi: A constraint-based language for specifying service level agreements. In R. D. Nicola, editor, ESOP 2007, LNCS 4421, pages 18--32. Springer, 2007.
[8]
European Commission - CORDIS. Seventh Framework Program (FP7), 2012. http://cordis.europa.eu/fp7/home_en.html, last viewed April 2012.
[9]
U. Montanari. Networks of constraints: Fundamental properties and application to picture processing. Information Science, (7):95--132, 1974.
[10]
R. Neapolitan. Learning Bayesian Networks. Prentice Hall, 2003.
[11]
E. Vassev and M. Hinchey. Knowledge representation and reasoning for intelligent software systems. IEEE Computer, 44(8):96--99, 2011.
[12]
E. Vassev and M. Hinchey. Towards a formal language for knowledge representation in autonomic service-component ensembles. In Proceedings of the 3rd International Conference on Data Mining and Intelligent Information Technology Applications (ICMiA 2011), pages 228--235. NASNIT, ICMIA, IEEE, 2011.
[13]
E. Vassev and M. Hinchey. Knowledge representation for cognitive robotic systems. In Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012), pages 156--163. IEEE Computer Society, 2012.
Index Terms
- Soft constraints for KnowLang
Recommendations
Formalizing eMobility with KnowLang
C3S2E '14: Proceedings of the 2014 International C* Conference on Computer Science & Software EngineeringeMobility is a transportation concept based on a network of electrical vehicles and offering new benefits to both society and business. Due to CO2-emission reduction, legislation and decreasing oil availability, electric (e-) vehicles increasingly gain ...
Conflict-Directed a* search for soft constraints
CPAIOR'06: Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ProblemsAs many real-world problems involve user preferences, costs, or probabilities, constraint satisfaction has been extended to optimization by generalizing hard constraints to soft constraints. However, as techniques such as local consistency or conflict ...
Possibilistic constraint satisfaction problems or "How to handle soft constraints ?"
UAI'92: Proceedings of the Eighth international conference on Uncertainty in artificial intelligenceMany AI synthesis problems such as planning or scheduling may be modelized as constraint satisfaction problems (CSP). A CSP is typically defined as the problem of finding any consistent labeling for a fixed set of variables satisfying all given ...
Comments
Information & Contributors
Information
Published In
June 2012
139 pages
ISBN:9781450310840
DOI:10.1145/2347583
- General Chair:
- Bipin C. Desai,
- Program Chairs:
- Emil Vassev,
- Sudhir Mudur,
- Bipin C. Desai
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- University of Limerick: University of Limerick
- BytePress
- Concordia University: Concordia University
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 27 June 2012
Check for updates
Author Tags
Qualifiers
- Short-paper
Funding Sources
Conference
C3S2E '12
Sponsor:
- University of Limerick
- Concordia University
C3S2E '12: Fifth International C* Conference on Computer Science & Software Engineering
June 27 - 29, 2012
Quebec, Montreal, Canada
Acceptance Rates
Overall Acceptance Rate 12 of 42 submissions, 29%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 66Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in