1,322 research outputs found
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
In [18,23], we presented a language for the specification of static, dynamic and deontic integrity constraints (IC's) for conceptual models (CM's). An important problem not discussed in that paper is how IC's are inherited in a taxonomic network of types. For example, if students are permitted to perform certain actions under certain preconditions, must we repeat these preconditions when specializing this action for the subtype of graduate students, or are they inherited, and if so, how? For static constraints, this problem is relatively trivial, but for dynamic and deontic constraints, it will turn out that it contains numerous pitfalls, caused by the fact that common sense supplies presuppositions about the structure of IC inheritance that are not warranted by logic. In this paper, we unravel some of these presuppositions and show how to avoid the pitfalls. We first formulate a number of general theorems about the inheritance of necessary and/or sufficient conditions and show that for upward inheritance, a closure assumption is needed. We apply this to dynamic and deontic IC's, where conditions arepreconditions of actions, and show that our common sense is sometimes mistaken about the logical implications of what we have specified. We also show the connection of necessary and sufficient preconditions of actions with the specification of weakest preconditions in programming logic. Finally, we argue that information analysts usually assume constraint completion in the specification of (pre)conditions analogous to predicate completion in Prolog and circumscription in non-monotonic logic. The results are illustrated with numerous examples and compared with other approaches in the literature
Reason Maintenance - State of the Art
This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is organized as follows: first, two motivating scenarios referring to semantic wikis are presented which are then used to introduce the different reason maintenance techniques
Using Event Calculus to Formalise Policy Specification and Analysis
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur. We present a method for transforming both policy and system behaviour specifications into a formal notation that is based on event calculus. Additionally it describes how this formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this notation and analysis technique could be used to perform policy refinement
Recommended from our members
Design as interactions of problem framing and problem solving
This paper introduces a model of framing in design. The model takes into account a reflective nature of designing, and it is based on the interplay between two conceptually distinct knowledge sources ā an explicit specification of a problem and a solution to it. The approach is novel in the former investigated aspect that is presented as a semi-formal operation of framing, i.e. interpretation of a problem using selected conceptual primitives. We argue that the interpretation of design problems lacks a similar rigorous investigation as problem solving received in both design theory and methodology. Furthermore, two design schemas of frame refinement and problem re-framing are discussed and exemplified
Reasoning over Taxonomic Change: Exploring Alignments for the Perelleschus Use Case
Classifications and phylogenetic inferences of organismal groups change in
light of new insights. Over time these changes can result in an imperfect
tracking of taxonomic perspectives through the re-/use of Code-compliant or
informal names. To mitigate these limitations, we introduce a novel approach
for aligning taxonomies through the interaction of human experts and logic
reasoners. We explore the performance of this approach with the Perelleschus
use case of Franz & Cardona-Duque (2013). The use case includes six taxonomies
published from 1936 to 2013, 54 taxonomic concepts (i.e., circumscriptions of
names individuated according to their respective source publications), and 75
expert-asserted Region Connection Calculus articulations (e.g., congruence,
proper inclusion, overlap, or exclusion). An Open Source reasoning toolkit is
used to analyze 13 paired Perelleschus taxonomy alignments under heterogeneous
constraints and interpretations. The reasoning workflow optimizes the logical
consistency and expressiveness of the input and infers the set of maximally
informative relations among the entailed taxonomic concepts. The latter are
then used to produce merge visualizations that represent all congruent and
non-congruent taxonomic elements among the aligned input trees. In this small
use case with 6-53 input concepts per alignment, the information gained through
the reasoning process is on average one order of magnitude greater than in the
input. The approach offers scalable solutions for tracking provenance among
succeeding taxonomic perspectives that may have differential biases in naming
conventions, phylogenetic resolution, ingroup and outgroup sampling, or
ostensive (member-referencing) versus intensional (property-referencing)
concepts and articulations.Comment: 30 pages, 16 figure
Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems
The modelling, analysis, and visualisation of dynamic geospatial phenomena
has been identified as a key developmental challenge for next-generation
Geographic Information Systems (GIS). In this context, the envisaged
paradigmatic extensions to contemporary foundational GIS technology raises
fundamental questions concerning the ontological, formal representational, and
(analytical) computational methods that would underlie their spatial
information theoretic underpinnings.
We present the conceptual overview and architecture for the development of
high-level semantic and qualitative analytical capabilities for dynamic
geospatial domains. Building on formal methods in the areas of commonsense
reasoning, qualitative reasoning, spatial and temporal representation and
reasoning, reasoning about actions and change, and computational models of
narrative, we identify concrete theoretical and practical challenges that
accrue in the context of formal reasoning about `space, events, actions, and
change'. With this as a basis, and within the backdrop of an illustrated
scenario involving the spatio-temporal dynamics of urban narratives, we address
specific problems and solutions techniques chiefly involving `qualitative
abstraction', `data integration and spatial consistency', and `practical
geospatial abduction'. From a broad topical viewpoint, we propose that
next-generation dynamic GIS technology demands a transdisciplinary scientific
perspective that brings together Geography, Artificial Intelligence, and
Cognitive Science.
Keywords: artificial intelligence; cognitive systems; human-computer
interaction; geographic information systems; spatio-temporal dynamics;
computational models of narrative; geospatial analysis; geospatial modelling;
ontology; qualitative spatial modelling and reasoning; spatial assistance
systemsComment: ISPRS International Journal of Geo-Information (ISSN 2220-9964);
Special Issue on: Geospatial Monitoring and Modelling of Environmental
Change}. IJGI. Editor: Duccio Rocchini. (pre-print of article in press
Reasoning over Taxonomic Change: Exploring Alignments for the Perelleschus Use Case
abstract: Classifications and phylogenetic inferences of organismal groups change in light of new insights. Over time these changes can result in an imperfect tracking of taxonomic perspectives through the re-/use of Code-compliant or informal names. To mitigate these limitations, we introduce a novel approach for aligning taxonomies through the interaction of human experts and logic reasoners. We explore the performance of this approach with the Perelleschus use case of Franz & Cardona-Duque (2013). The use case includes six taxonomies published from 1936 to 2013, 54 taxonomic concepts (i.e., circumscriptions of names individuated according to their respective source publications), and 75 expert-asserted Region Connection Calculus articulations (e.g., congruence, proper inclusion, overlap, or exclusion). An Open Source reasoning toolkit is used to analyze 13 paired Perelleschus taxonomy alignments under heterogeneous constraints and interpretations. The reasoning workflow optimizes the logical consistency and expressiveness of the input and infers the set of maximally informative relations among the entailed taxonomic concepts. The latter are then used to produce merge visualizations that represent all congruent and non-congruent taxonomic elements among the aligned input trees. In this small use case with 6-53 input concepts per alignment, the information gained through the reasoning process is on average one order of magnitude greater than in the input. The approach offers scalable solutions for tracking provenance among succeeding taxonomic perspectives that may have differential biases in naming conventions, phylogenetic resolution, ingroup and outgroup sampling, or ostensive (member-referencing) versus intensional (property-referencing) concepts and articulations.The article is published at http://journals.plos.org/plosone/article?id=10.1371/journal.pone.011824
- ā¦