An expressive hybrid model for the composition of cardinal directions

In our previous paper (Kor and Bennett, 2003), we have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 atomic binary relations and 13 feasible as well as jointly exhaustive relations for the x and y directions respectively. Based on these atomic binary relations, we derive two separate 8x8 composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between ‘whole or part’ regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models

A Hybrid Reasoning Model for “Whole and Part” Cardinal Direction Relations

We have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model) in our previous papers (Kor and Bennett, 2003 and 2010). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 basic binary relations and 13 feasible as well as jointly exhaustive relations for the x- and y-directions, respectively. Based on these basic binary relations, we derive two separate composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between “whole or part” regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models

Composition for cardinal directions by decomposing horizontal and vertical constraints

In this paper, we demonstrate how to group the nine cardinal directions into sets and use them to compute a composition table. Firstly, we define each cardinal direction in terms of a certain set of constraints. This is followed by decomposing the cardinal directions into sets corresponding to the horizontal and vertical constraints. We apply two different techniques to compute the composition of these sets. The first technique is an algebraic computation while the second is the typical technique of reasoning with diagrams. The rationale of applying the latter is for confirmation purposes. The use of typical composition tables for existential inference is rarely demonstrated. Here, we shall demonstrate how to use the composition table to answer queries requiring the common forward reasoning as well as existential inference. Also, we combine mereological and cardinal direction relations to create a hybrid model which is more expressive

Pictorial Socratic dialogue and conceptual change

Counter-examples used in a Socratic dialogue aim to provoke reflection to effect conceptual changes. However, natural language forms of Socratic dialogues have their limitations. To address this problem, we propose an alternative form of Socratic dialogue called the pictorial Socratic dialogue. A Spring Balance System has been designed to provide a platform for the investigation of the effects of this pedagogy on conceptual changes. This system allows learners to run and observe an experiment. Qualitative Cartesian graphs are employed for learners to represent their solutions. Indirect and intelligent feedback is prescribed through two approaches in the pictorial Socratic dialogue which aim to provoke learners probe through the perceptual structural features of the problem and solution, into the deeper level of the simulation where Archimedes’ Principle governs

The Development of an Evaluation Framework for eGovernment Systems

This paper is a positioning paper which outlines a proposal for engaging in the evaluation of eGovernment systems. The primary purpose of our proposed research is to develop, apply, test, and disseminate an evaluation framework which can support continuous, adaptable, and reflective evaluation of eGovernment systems. The theoretical bases for the methodology will be the Information Systems (IS), Soft Systems Methodology, SSM (Checkland and Scholes, 1990) which provides the platform for the analyses of the ‘soft’ aspects (e.g. human, political, cultural and organisational factors) and the Hard Systems Methodology (HSM) which provides methods and tools for quantitative measures and analyses of the system. A further three interrelated bases are: Reflective Practice, Organisational Learning (OL), and Information and Knowledge Management (IKM). Some of the key underlying principles to a successful evaluation framework are good data collection and analyses methods, an evaluative reflective practice approach whichentails the complete process of identification and analysis of strengths and problems, followed by rigorous testing, implementation, and revision of solutions. Such a cycle encourages organisational learning and promotes continuous improvement to both the evaluation framework and system. Additionally, it aims to cultivate an organisational culture that supports evaluation through reflection, continuous learning, and knowledge management which facilitates knowledge creation, capture, sharing, application and dissemination

A Belief Rule-Based Environmental Responsibility Assessment for Small and Medium-Sized Enterprises

This paper is an extension of [17]. This research proposes the use of a Belief Rule-Based approach to assess an enterprise’s level commitment to environmental issues. Participating companies will have to complete a structured questionnaire. An automated analysis of their responses will determine their environmental responsibility level. This is followed by a recommendation on how to progress to the next level. The recommended best practices will help promote understanding, increase awareness, and make the organization greener. BRB Expert systems consist of two parts: Knowledge Base and Inference Engine, which are used to derive valid conclusions from rules, established by experts with domain-specific knowledge. The knowledge base in this research is constructed after an in-depth literature review, critical analyses of existing environmental performance assessment models and primarily guided by the EU Draft Background Report for the development of an EMAS Sectoral Reference Document on "Best Environmental Management Practice in the Telecommunications and ICT Services Sector". The reasoning algorithm of a selected Drools JBoss BRB inference engine is forward chaining. However, the forward chaining mechanism is not equipped with uncertainty handling. Therefore, a decision is made to deploy an evidential reasoning and forward chaining with a hybrid knowledge representation inference scheme to accommodate imprecision, ambiguity and fuzzy types of uncertainties. It is believed that such a system generates well balanced, sensible and Green ICT readiness adapted results, to help enterprises focus on making improvements on more sustainable business operations

Building Realistic Mobility Models for Mobile Ad Hoc Networks

A mobile ad hoc network (MANET) is a self-configuring wireless network in which each node could act as a router, as well as a data source or sink. Its application areas include battlefields and vehicular and disaster areas. Many techniques applied to infrastructure-based networks are less effective in MANETs, with routing being a particular challenge. This paper presents a rigorous study into simulation techniques for evaluating routing solutions for MANETs with the aim of producing more realistic simulation models and thereby, more accurate protocol evaluations. MANET simulations require models that reflect the world in which the MANET is to operate. Much of the published research uses movement models, such as the random waypoint (RWP) model, with arbitrary world sizes and node counts. This paper presents a technique for developing more realistic simulation models to test and evaluate MANET protocols. The technique is animation, which is applied to a realistic scenario to produce a model that accurately reflects the size and shape of the world, node count, movement patterns, and time period over which the MANET may operate. The animation technique has been used to develop a battlefield model based on established military tactics. Trace data has been used to build a model of maritime movements in the Irish Sea. Similar world models have been built using the random waypoint movement model for comparison. All models have been built using the ns-2 simulator. These models have been used to compare the performance of three routing protocols: dynamic source routing (DSR), destination-sequenced distance-vector routing (DSDV), and ad hoc n-demand distance vector routing (AODV). The findings reveal that protocol performance is dependent on the model used. In particular, it is shown that RWP models do not reflect the performance of these protocols under realistic circumstances, and protocol selection is subject to the scenario to which it is applied. To conclude, it is possible to develop a range of techniques for modelling scenarios applicable to MANETs, and these simulation models could be utilised for the evaluation of routing protocols

Sustainable and Green Information Systems: Preparing the next generation of practitioners.

Sustainable development and green computing issues are increasingly important for computing professionals. Preparing the next generation of implementers and developers requires that Higher Education providers develop curriculum to reflect this. There are a number of drivers behind this – encompassing industry and professional body demands, policy makers’ directives, as well as institutional commitments to sustainability. Other reasons include the effectiveness of this topic as a way to address particular issues in engagement and recruitment to computing courses. When considering “sustainability" or ("green-ness") in teaching, we should consider the appropriateness and suitability of material, and target it at an appropriate level. There are also choices about how to present the material so as to match students’ motivation, which can reflect gender and other demographic issues. Institutions can adopt different approaches, such as specialised courses as components of wider programmes, or as specialised courses in their own right. Some approaches integrate the topic into undergraduate teaching, treating environmental impact as a design constraint within a solution. This paper reports on some of these variations and directs readers to an online resource to enable colleagues interested in this topic to share ideas and approaches. Whilst the focus is on computing, many of the issues are transferrable to other STEM disciplines