A new polynomial-time algorithm for linear programming
Combinatorica
Constraint propagation with interval labels
Artificial Intelligence
The knowledge frontier: essays in the representation of knowledge
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Representations of commonsense knowledge
Representations of commonsense knowledge
Hierarchical reasoning about inequalities
Readings in qualitative reasoning about physical systems
Reasoning about linear constraints using parametric queries
FST and TC 10 Proceedings of the tenth conference on Foundations of software technology and theoretical computer science
Knowledge acquisition for temporal-abstraction mechanisms
Knowledge Acquisition - Special issue on knowledge acquisition for therapy-planning tasks
A framework for reasoning precisely with vague concepts
A framework for reasoning precisely with vague concepts
Intelligent monitoring and control
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Many knowledge-based systems need to represent vague concepts. Although the practical approach of representing vague concepts as precise intervals over numbers is well-accepted in AI, there is no systematic method to delimit the boundaries of intervals, only ad hoc methods. We present a framework to reason precisely with vague concepts based on the observation that the vague concepts and their interval-boundaries are constrained by the underlying domain knowledge. The framework is comprised of a constraint language to represent logical constraints on vague concepts, as well as numerical constraints on the intervalboundaries; a query language to request information about the interval boundaries; and a computational mechanism to answer the queries. A key step in answering queries is preprocessing the constraints by extracting the numerical constraints from the logical constraints and combining them with the given numerical constraints.