Soft constraints for KnowLang

Authors:
Ugo Montanari;Emil Vassev
Affiliations:
Università di Pisa, Pisa, Italy;University of Limerick, Limerick, Ireland
Venue:
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Year:
2012

Citing 7
Cited 0

Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
Semiring-based constraint logic programming: syntax and semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft concurrent constraint programming

ACM Transactions on Computational Logic (TOCL)
Learning Bayesian Networks

Learning Bayesian Networks
CC-Pi: a constraint-based language for specifying service level agreements

ESOP'07 Proceedings of the 16th European conference on Programming
Knowledge Representation and Reasoning for Intelligent Software Systems

Computer
Knowledge Representation for Cognitive Robotic Systems

ISORCW '12 Proceedings of the 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops

Quantified Score

Hi-index	0.00

Visualization

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.