A Logic for Conceptual Hierarchies
نویسنده
چکیده
We propose a proof-theoretical way of obtaining detailed and precise information on conceptual hierarchies. The notion of concept finding proof, which represents a hierarchy of concepts, is introduced based on a substructural logic with mingle and strong negation. Mingle, which is a structural inference rule, is used to represent a process for finding a more general (or specific) concept than some given concepts. Strong negation, which is a negation connective, is used to represent a concept inverse operator. The problem for constructing a concept finding proof is shown to be decidable in PTIME.
منابع مشابه
Abstraction Hierarchies for Conceptual Engineering Design
ion Hierarchies for Conceptual Engineering Design 47 Abstraction Hierarchies for Conceptual Engineering Designion Hierarchies for Conceptual Engineering Design
متن کاملRelating Diagrams to Logic
Although logic is general enough to describe anything that can be implemented on a digital computer, the unreadability of predicate calculus makes it unpopular as a design language. Instead, many graphic notations have been developed, each for a narrow range of purposes. Conceptual graphs are a graphic system of logic that is as general as predicate calculus, but they are as readable as the spe...
متن کاملRole Modelling in SelfSync with Warped Hierarchies
In object-oriented software engineering roles are considered both classifications and instances. To reduce the gap between the conceptual modelling of roles and a corresponding implementation, we propose a new role modelling concept based on warped inheritance hierarchies. We integrated this new modelling concept in our prototype-based object-oriented round-trip engineering environment SelfSync...
متن کاملRole Modeling in SelfSync with Warped Hierarchies
In object-oriented software engineering roles are considered both classifications and instances. To reduce the gap between the conceptual modeling of roles and a corresponding implementation, we propose a new role modeling concept based on warped inheritance hierarchies. We integrated this new modeling concept in our prototype-based object-oriented round-trip engineering environment SelfSync. I...
متن کاملOLAP Hierarchies: A Conceptual Perspective1
OLAP (On-Line Analytical Processing) tools support the decision-making process by giving users the possibility to dynamically analyze high volumes of historical data using operations such as roll-up and drill-down. These operations need well-defined hierarchies in order to prepare automatic calculations. However, many kinds of complex hierarchies arising in real-world situations are not address...
متن کامل