Conceptual modeling of a portion of the world is a necessary prerequisite to set the stage and define software system boundaries. In this context, one of the challenges is to provide a unified framework to create a comprehensive representation of the targeted domain. According to many researchers, conceptual model (CM) development is a hard task, and system requirements are difficult to collect, causing many miscommunication problems. Accordingly, CMs require more than modeling ability alone: they first require an understanding of (...) the targeted domain that the model attempts to represent. Accordingly, a preconceptual modeling (pre-CM) stage is intended to address ontological issues before typical CM development is initiated. It involves defining a portion of reality when entities and processes are differentiated and integrated as unified wholes. This pre-CM phase forms the focus of research in this paper. The purpose is not show how to model; rather, it is to demonstrate how to establish a metaphysical basis of the involved portion of reality. To demonstrate such a venture, we employ the so-called thinging machine (TM) modeling that has been proposed as a high-level CM. A TM model integrates staticity and dynamism grounded in a fundamental construct called a thimac (things/machine). It involves two modes of reality, existence (events) and subsistence (regions: roughly, specifications of things and processes). Currently, the dominant approach in CM has evolved to limit its scope of application to develop ontological categorization (types of things). In contrast, advocates of TM modeling have pursued a broader metaphysical study of the nature of the domain’s things and processes beyond categorization. In the TM approach, pre-CM metaphysics is viewed as a part and parcel of CM itself. The general research problem is how to map TM constructs to what is out there in the targeted domain. Discussions involve the nature of thimacs (things and processes) and subsistence and existence as they are superimposed over each other in reality. Specifically, we make two claims, (i) the perceptibility of regions as a phenomenon and (ii) the distinctiveness of existence as a construct for events. The results contribute to further the understanding of TM modeling in addition to introducing some metaphysical insights. (shrink)

This is an explanation of a possible new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. No knowledge of the halting problem is required. -/- It is based on fully operational software executed in the x86utm operating system. The x86utm operating system (based on an excellent open source x86 emulator) was created to study the details of the halting problem proof counter-examples (...) at the much higher level of abstraction of C/x86. (shrink)

This contribution examines two radically different explanations of our phenomenal intuitions, one reductive and one strongly non-reductive, and identifies two germane ideas that could benefit many other theories of consciousness. Firstly, the ability of sophisticated agent architectures with a purely physical implementation to support certain functional forms of qualia or proto-qualia appears to entail the possibility of machine consciousness with qualia, not only for reductive theories but also for the nonreductive ones that regard consciousness as ubiquitous in Nature. Secondly, analysis (...) of introspective psychological material seems to hint that, under the threshold of our ordinary waking awareness, there exist further ‘submerged’ or ‘subliminal’ layers of consciousness which constitute a hidden foundation and support and another source of our phenomenal intuitions. These ‘submerged’ layers might help explain certain puzzling phenomena concerning subliminal perception, such as the apparently ‘unconscious’ multisensory integration and learning of subliminal stimuli. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...) navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed (...) to comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

This paper has a dual character, combining a philosophical ontological exploration with a conceptual modeling approach in systems and software engineering. Such duality is already practiced in software engineering, in which the current dominant modeling thesis is object orientation. This work embraces an anti-thesis that centers solely on the process rather than emphasizing the object. The approach is called occurrence-only modeling, in which an occurrence means an event or process where a process is defined as an (...) orchestrated net of events that form a semantical whole. In contrast to object orientation, in this occurrence-only modeling objects are nothing more than long events. We apply this paradigm to (1) a UML/BPMN inventory system in simulation engineering and (2) an event-based system that represents medical occurrences that occur on a timeline. The aim of such a venture is to enhance the field of conceptual modeling by adding yet a new alternative methodology and clarifying differences among approaches. Conceptual modeling’s importance has been recognized in many research areas. An active research community in simulation engineering demonstrates the growing interest in conceptual modeling. In the clinical domains, temporal information elucidates the occurrence of medical events (e.g., visits, laboratory tests). These applications give an opportunity to propose a new approach that includes (a) a Stoic ontology that has two types of being, existence and subsistence; (b) Thinging machines that limit activities to five generic actions; and (c) Lupascian logic, which handles negative events. With such a study, we aim to substantiate the assertion that the “occurrence only” approach is a genuine philosophical base for conceptual modeling. The results in this paper seem to support such a claim. (shrink)

In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand (...) by instantiation. Several software process modeling/meta-modeling languages have been introduced to formalize software process models. Nonetheless, none of them has managed to introduce a compatible yet precise language to include all necessary concepts and information for software process modeling. This paper presents Software Process Meta-Modeling and Notation (SP2MN); a meta-modeling language that provides simple and expressive graphical notations for the aim of software process modeling. SP2MN has been evaluated based upon the well-known ISPW-6 process example, a standard benchmark problem for software process modeling. SP2MN has proved that it presents a valid and expressive software process modeling language. (shrink)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these (...) interactions as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

Integration sustainability outcomes give attention to construction ecology in the design review of urban environments to comply with Earth’s System that is composed of integral parts of the (i.e., physical, chemical and biological components). Naturally, exchange patterns of industrial ecology have consistent and periodic cycles to preserve energy flows and materials in Earth’s System. When engineering topology is affecting internal and external processes in system networks, it postulated the valence of the first-level spatial outcome (i.e., project compatibility success). These (...) instrumentalities are dependent on relating the second-level outcome (i.e., participant security satisfaction). The construction ecology-based topology (i.e., as feedback energy system) flows from biotic and abiotic resources in the entire Earth’s ecosystems. These spatial outcomes are providing an innovation, as entails a wide range of interactions to state, regulate and feedback “topology” to flow as “interdisciplinary equilibrium” of ecosystems. The interrelation dynamics of ecosystems are performing a process in a certain location within an appropriate time for characterizing their unique structure in “equilibrium patterns”, such as biosphere and collecting a composite structure of many distributed feedback flows. These interdisciplinary systems regulate their dynamics within complex structures. These dynamic mechanisms of the ecosystem regulate physical and chemical properties to enable a gradual and prolonged incremental pattern to develop a stable structure. The engineering topology of construction ecology for integration sustainability outcomes offers an interesting tool for ecologists and engineers in the simulation paradigm as an initial form of development structure within compatible computer software. This approach argues from ecology, resource savings, static load design, financial other pragmatic reasons, while an artistic/architectural perspective, these are not decisive. The paper described an attempt to unify analytic and analogical spatial modeling in developing urban environments as a relational setting, using optimization software and applied as an example of integrated industrial ecology where the construction process is based on a topology optimization approach. (shrink)

Today, software instruments support all parts of engineering work, from design to creation. Many engineering processes call for tedious routine appointments and torments with manual handoffs and data storehouses. AI designers train profound brain networks and incorporate them into software structures.

Sabdabrahma Siddhanta, popularized by Patanjali and Bhartruhari will be scientifically analyzed. Sphota Vada, proposed and nurtured by the Sanskrit grammarians will be interpreted from modern physics and communication engineering points of view. Insight about the theory of language and modes of language acquisition and communication available in the Brahma Kanda of Vakyapadeeyam will be translated into modern computational terms. A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process (...) forming the basis to develop software for relevant mind-machine modeling will be presented. The implications of such a model to artificial intelligence and cognitive sciences will be discussed. The essentiality and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of Sanskrit language is put forward. Natural language comprehension as distinct and different from natural language processing is pointed out. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their func- tionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adapta- tions, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. (...) In particular, the analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an oppor- tunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would sug- gest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to imple- ment novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engi- neering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engi- neering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, (...) properties, instantiation, algorithms, etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

What we have learnt in the last six or seven decades about virtual machinery, as a result of a great deal of science and technology, enables us to offer Darwin a new defence against critics who argued that only physical form, not mental capabilities and consciousness could be products of evolution by natural selection. The defence compares the mental phenomena mentioned by Darwin’s opponents with contents of virtual machinery in computing systems. Objects, states, events, and processes in virtual machinery which (...) we have only recently learnt how to design and build, and could not even have been thought about in Darwin’s time, can interact with the physical machinery in which they are implemented, without being identical with their physical implementation, nor mere aggregates of physical structures and processes. The existence of various kinds of virtual machinery (including both “platform” virtual machines that can host other virtual machines, e.g. operating systems, and “application” virtual machines, e.g. spelling checkers, and computer games) depends on complex webs of causal connections involving hardware and software structures, events and processes, where the specification of such causal webs requires concepts that cannot be defined in terms of concepts of the physical sciences. That indefinability, plus the possibility of various kinds of self-monitoring within virtual machinery, seems to explain some of the allegedly mysterious and irreducible features of consciousness that motivated Darwin’s critics and also more recent philosophers criticising AI. There are consequences for philosophy, psychology, neuroscience and robotics. (shrink)

Ontologies are today being applied in almost every field to support the alignment and retrieval of data of distributed provenance. Here we focus on new ontological work on dance and on related cultural phenomena belonging to what UNESCO calls the “intangible heritage.” Currently data and information about dance, including video data, are stored in an uncontrolled variety of ad hoc ways. This serves not only to prevent retrieval, comparison and analysis of the data, but may also impinge on our ability (...) to preserve the data that already exists. Here we explore recent technological developments that are designed to counteract such problems by allowing information to be retrieved across disciplinary, cultural, linguistic and technological boundaries. Software applications such as the ones envisaged here will enable speedier recovery of data and facilitate its analysis in ways that will assist both archiving of and research on dance. (shrink)

Neural machine translation (NMT) is one of the success stories of deep learning and artificial intelligence. Revolutionary innovations in the computational architectures made in 2015–2017 have led to dramatic improvements in the quality of machine translation (MT) and changed the field forever. Some professional translators welcome these changes with enthusiasm, others less so. But everyone has to deal with them. Historically, the relationship between human translation and MT has been uneasy and complicated, but an increasing number of players in both (...) fields are now coming to view it as synergistic. -/- OPUS-CAT is a collection of machine translation software based on a Windows implementation of Marian NMT—a stable production-ready neural machine translation framework used in many industrial and research applications. It can be installed on your PC, fine-tuned to specialized translation domains, and integrated into CAT tools. (shrink)

In this research, we focus on the usage of adversarial sampling to test for the fairness in the prediction of deep neural network model across different classes of image in a given dataset. While several framework had been proposed to ensure robustness of machine learning model against adversarial attack, some of which includes adversarial training algorithm. There is still the pitfall that adversarial training algorithm tends to cause disparity in accuracy and robustness among different group. Our research is aimed at (...) using adversarial sampling to test for fairness in the prediction of deep neural network model across different classes or categories of image in a given dataset. We successfully demonstrated a new method of ensuring fairness across various group of input in deep neural network classifier. We trained our neural network model on the original image, and without training our model on the perturbed or attacked image. When we feed the adversarial samplings to our model, it was able to predict the original category/ class of the image the adversarial sample belongs to. We also introduced and used the separation of concern concept from software engineering whereby there is an additional standalone filter layer that filters perturbed image by heavily removing the noise or attack before automatically passing it to the network for classification, we were able to have accuracy of 93.3%. Cifar-10 dataset have ten categories of dataset, and so, in order to account for fairness, we applied our hypothesis across each categories of dataset and were able to get a consistent result and accuracy. (shrink)

In conceptual modeling (CM) as a subdiscipline of software engineering, current proposed ontologies (categorical analysis of entities) are typically established through whole adoption of philosophical theories (e.g. Bunge’s). In this paper, we pursue an interdisciplinary research approach to develop a diagrammatic-based ontological foundation for CM using philosophical ontology as a secondary source. It is an endeavor to escape an offshore procurement of ontology from philosophy and implant it in CM. In such an effort, the CM diagrammatic language plays (...) an important role in contrast to dogmatic philosophical languages’ obsession with abstract entities. Specifically, this paper is about developing a descriptive (in contrast to formal) ontology that a modeler accepts as a supplementary account of reality when using thinging machines (TMs; i.e. a reality that uncovers the ontology of things that TM modeling discusses or “talks about,” akin to the ontology of natural language). Although existence is a well-established notion, we defend subsistence (Stoic term) as a supplementary mode of reality (e.g. reflection of event). The aim here is aligned toward developing CM notions and processes that are firm enough. Classical analysis of being per se (e.g. identity, substance, classes, objects) is de-emphasized in this work; nevertheless, philosophical concepts form an acknowledged authority to compare to. As a case study, such a methodology is applied to the notion of information that provides a common-sense understanding of the world. This application would enhance understanding of the TM methodology and clarify some of the issues that shed light on the question of the nature of information as an important concept in software engineering. Information is defined as about events; that is, it is about existing things. It is viewed as having a subsisting nature that exists only through being “carried on” by other things. The results seem to indicate a promising approach to define information and understand its nature. (shrink)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We (...) advance a proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)

Explorations in Systems Phenomenology in Relation to Ontology, Hermeneutics and the Meta-dialectics of Design -/- SYNOPSIS A Phenomenological Analysis of Emergent Design is performed based on the foundations of General Schemas Theory. The concept of Sign Engineering is explored in terms of Hermeneutics, Dialectics, and Ontology in order to define Emergent Systems and Metasystems Engineering based on the concept of Meta-dialectics. -/- ABSTRACT Phenomenology, Ontology, Hermeneutics, and Dialectics will dominate our inquiry into the nature of the Emergent Design (...) of the System and its inverse dual, the Meta-system. This is an speculative dissertation that attempts to produce a philosophical, mathematical, and theoretical view of the nature of Systems Engineering Design. Emergent System Design, i.e., the design of yet unheard of and/or hitherto non-existent Systems and Metasystems is the focus. This study is a frontal assault on the hard problem of explaining how Engineering produces new things, rather than a repetition or reordering of concepts that already exist. In this work the philosophies of E. Husserl, A. Gurwitsch, M. Heidegger, J. Derrida, G. Deleuze, A. Badiou, G. Hegel, I. Kant and other Continental Philosophers are brought to bear on different aspects of how new technological systems come into existence through the midwifery of Systems Engineering. Sign Engineering is singled out as the most important aspect of Systems Engineering. We will build on the work of Pieter Wisse and extend his theory of Sign Engineering to define Meta-dialectics in the form of Quadralectics and then Pentalectics. Along the way the various ontological levels of Being are explored in conjunction with the discovery that the Quadralectic is related to the possibility of design primarily at the Third Meta-level of Being, called Hyper Being. Design Process is dependent upon the emergent possibilities that appear in Hyper Being. Hyper Being, termed by Heidegger as Being (Being crossed-out) and termed by Derrida as Differance, also appears as the widest space within the Design Field at the third meta-level of Being and therefore provides the most leverage that is needed to produce emergent effects. Hyper Being is where possibilities appear within our worldview. Possibility is necessary for emergent events to occur. Hyper Being possibilities are extended by Wild Being propensities to allow the embodiment of new things. We discuss how this philosophical background relates to meta-methods such as the Gurevich Abstract State Machine and the Wisse Metapattern methods, as well as real-time architectural design methods as described in the Integral Software Engineering Methodology. One aim of this research is to find the foundation for extending the ISEM methodology to become a general purpose Systems Design Methodology. Our purpose is also to bring these philosophical considerations into the practical realm by examining P. Bourdieu’s ideas on the relationship between theoretical and practical reason and M. de Certeau’s ideas on practice. The relationship between design and implementation is seen in terms of the Set/Mass conceptual opposition. General Schemas Theory is used as a way of critiquing the dependence of Set based mathematics as a basis for Design. The dissertation delineates a new foundation for Systems Engineering as Emergent Engineering based on General Schemas Theory, and provides an advanced theory of Design based on the understanding of the meta-levels of Being, particularly focusing upon the relationship between Hyper Being and Wild Being in the context of Pure and Process Being. (shrink)

In this paper I describe a novel application of contemplative techniques to software engineering with the goal of augmenting the intellectual capabilities of knowledge workers within the field in four areas: flexibility, attention, creativity, and trust. The augmentation of software engineers’ intellectual capabilities is proposed as a third complement to the traditional focus of methodologies on the process and environmental factors of the software development endeavor. I argue that these capabilities have been shown to be open (...) to improvement through the practices traditionally used in spiritual traditions, but now used increasingly in other fields of knowledge work, such as in the medical profession and the education field. Historically, the intellectual capabilities of software engineers have been treated as a given within any particular software development effort. This is argued to be an aspect ripe for inclusion within software development methodologies. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find self-evident) (...) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. Ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But the ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, ontologies such as the GO are in different respects comparable to scientific theories, to scientific databases, and to scientific journal publications. Such a view implies a new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

It has been stated that the notion of cause and effect is one object of study that sciences and engineering revolve around. Lately, in software engineering, diagrammatic causal inference methods (e.g., Pearl’s model) have gained popularity (e.g., analyzing causes and effects of change in software requirement development). This paper concerns diagrammatical (graphic) models of causal relationships. Specifically, we experiment with using the conceptual language of thinging machines (TMs) as a tool in this context. This would benefit (...) works on causal relationships in requirements engineering, enhance our understanding of the TM modeling, and contribute to the study of the philosophical notion of causality. To specify the causality in a system’s description is to constrain the system’s behavior and thus exclude some possible chronologies of events. The notion of causality has been studied based on tools to express causal questions in diagrammatic and algebraic forms. Causal models deploy diagrammatic models, structural equations, and counterfactual and interventional logic. Diagrammatic models serve as a language for representing what we know about the world. The research methodology in the paper focuses on converting causal graphs into TM models and contrasts the two types of representation. The results show that the TM depiction of causality is more complete and therefore can provide a foundation for causal graphs. (shrink)

Information may be defined as the conceptual or communicable part of the content of mental acts. The content of mental acts includes sensory data as well as concepts, particular as well as general information. An information system is an external (non-mental) system designed to store such content. Information systems afford indirect transmission of content between people, some of whom may put information into the system and others who are among those who use the system. In order for communication to happen, (...) the conceptual systems of the originators and users of the information must be sufficiently similar. A formal conceptual framework that can provide the basis for exchange of information is termed an ontology. In its most fundamental form, ontology studies the most basic constituents of reality. Traditionally, ontology seeks to reflects structures that are independent of thought and cognition. The term ontology is used more broadly in artificial intelligence and software engineering, to refer to the conceptual basis for an information system. (shrink)

Basic abstraction principles are reached through ontology, which was traditionally conceived as a depiction of the world itself. Ontology is also described using conceptual modeling (CM) that defines fundamental concepts of reality. CM is one of the central activities in computer science, especially as it is mainly used in software engineering as an intermediate artifact for system construction. To achieve such a goal, we propose Stoic CM (SCM) as a description of what a system must do functionally with (...) minimal ambiguity. As a case study, we apply SCM to investigate the ontology of BPMN (business process modeling notation). Such an undertaking would demonstrate SCM notions and simultaneously may offer a viable ontological foundation for BPMN. SCM defines the being of things and actions in reality based on Stoic notions of existence and subsistence. It has two levels of specification: (1) a subsistence static model where things and actions subsist and (2) an existence dynamic model where things and actions exist in time. From the Stoic ontological point of view, while a thing existing has a clear denotation, subsistence indicates the thing is “being there,” but it is inactive (does not participate in an event). We apply SCM to BPMN processes that involve buying a new car with many notions, such as activity, task, event, and message. The result indicates that SCM produces a tighter representation of reality, thus providing the necessary description of the part in the application world to be used as requirements for developing the software system. (shrink)

Recently in this journal, Jessica Morley and colleagues (AI & SOC 2023 38:411–423) review AI ethics and education, suggesting that a cultural shift is necessary in order to prepare students for their responsibilities in developing technology infrastructure that should shape ways of life for many generations. Current AI ethics guidelines are abstract and difficult to implement as practical moral concerns proliferate. They call for improvements in ethics course design, focusing on real-world cases and perspective-taking tools to immerse students in challenging (...) situations with relatable personal, social and environmental implications. The present paper considers the ACTWith model of moral cognition for use in such training contexts. Morley and colleagues' paper and contemporary literature are reviewed. Whistleblowing as a source for relatable case studies is discussed, and the purpose of ethics education considered. The ACTWith model is introduced, and correlations with contemporaries noted. The ACTWith model has been successfully employed in a broad range of technology ethics courses in the Netherlands and South Korea. Illustrations are offered. Correlations with contemporary efforts are drawn in the context of software engineering. Summary discussion considers strengths and limitations of the ACTWith program. Overall, the paper emphasizes training high-level moral reasoning through guided inquiry education informing lifetime professional practice, and indicates an outstanding need for teachers able to do the job. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find self-evident) (...) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. The ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But these ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, we shall argue, ontologies such as the GO are comparable to scientific theories, to scientific databases, or to scientific journal publications. Such a view implies a radically new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a radically new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

In August 2017, Google executives found themselves in a difficult position. An internal memo written by a disgruntled software engineer, James Damore, had just gone viral. In this memo, Damore claimed that the relatively small number of women in the tech industry was partly due to biological factors, and that many of Google’s diversity efforts were therefore counterproductive. The contents of this memo were offensive to many (and thus were having a negative impact on the overall workplace environment), but (...) the executives were aware that the wrong reaction to it would at least partially vindicate Damore’s claims about the lack of open discussion at Google. In the end, after two days of controversy, Google leadership decided to fire Damore on the grounds that he had violated the company’s code of conduct. This case gives students an opportunity to explore the numerous issues raised by Damore’s memo and the controversy surrounding it. Did Google handle this case properly? Was firing Damore the right thing to do? How could the situation have been handled more effectively? (shrink)

The objective of this paper will be to present a critical evaluation of the so-called “standard conception of a proof”. According to this conception, a text could only be called a “demonstration of a certain mathematical proposition” if we could find a completely formalized version of that demonstration, its “corresponding formal proof”. We will compare these ideas with the treatment of the same topic within two markedly different contexts, that of contemporary Swedish intuitionism and that of modern software (...) class='Hi'>engineering. Finally, we will offer a quick discussion of some of Wittgenstein's proposals regarding the subject. /// -/- O objetivo deste texto será o de apresentar uma avaliação crítica da assim chamada “concepção estândar” do que seja uma prova. Segundo essa concepção, um texto só poderia ser chamado de uma “demonstração de uma certa proposição matemática” se pudéssemos encontrar uma versão completamente formalizada daquela demonstração, sua “prova formal correspondente”. Faremos comparações com o tratamento do mesmo tópico em dois contextos muito distintos, aquele do intuicionismo sueco contemporâneo e o da moderna engenharia de software. Por fim, faremos uma rápida apresentação de algumas propostas de Wittgenstein sobre o assunto. (shrink)

Computer simulations constitute a significant scientific tool for promoting scientific understanding of natural phenomena and dynamic processes. Substantial leaps in computational force and software engineering methodologies now allow the design and development of large-scale biological models, which – when combined with advanced graphics tools – may produce realistic biological scenarios, that reveal new scientific explanations and knowledge about real life phenomena. A state-of-the-art simulation system termed Reactive Animation (RA) will serve as a study case to examine the contemporary (...) philosophical debate on the scientific value of simulations, as we demonstrate its ability to form a scientific explanation of natural phenomena and to generate new emergent behaviors, making possible a prediction or hypothesis about the equivalent real-life phenomena. (shrink)

Borrowing the functional modeling approach common in systems and software engineering, an implementable model of the functions of human consciousness proposed to have the capacity for general problem solving ability transferable to any domain, or true self-aware intelligence, is presented. Being a functional model that is independent of implementation, this model is proposed to also be applicable to artificial consciousness, and to platforms that organize individuals into what is defined here as a first order collective consciousness, or at (...) higher orders into what is defined here as Nth order collective consciousness. Part I of this two-part article includes: Summary; Introduction; Set of Postulates One; Set of Postulates Two; Overview of the Model; Model of Homeostasis; Model of the Functional Units; Model of the Body System; Model of the Other Basic Life Processes; Model of the Other Functional Systems; Model of Perceptions in the Perceptual Fields; Model of Body Processes as Paths in the Perceptual Field; & Model of Conscious Awareness. (shrink)

Coordination is a key problem for addressing goal–action gaps in many human endeavors. We define interpersonal coordination as a type of communicative action characterized by low interpersonal belief and goal conflict. Such situations are particularly well described as having collectively “intelligent”, “common good” solutions, viz., ones that almost everyone would agree constitute social improvements. Coordination is useful across the spectrum of interpersonal communication—from isolated individuals to organizational teams. Much attention has been paid to coordination in teams and organizations. In this (...) paper we focus on the looser interpersonal structures we call active support networks, and on technology that meets their needs. We describe two needfinding investigations focused on social support, which examined four application areas for improving coordination in ASNs: academic coaching, vocational training, early learning intervention, and volunteer coordination; and existing technology relevant to ASNs. We find a thus-far unmet need for personal task management software that allows smooth integration with an individual’s active support network. Based on identified needs, we then describe an open architecture for coordination that has been developed into working software. The design includes a set of capabilities we call “social prompting”, as well as templates for accomplishing multi-task goals, and an engine that controls coordination in the network. The resulting tool is currently available and in continuing development. We explain its use in ASNs with an example. Follow-up studies are underway in which the technology is being applied in existing support networks. (shrink)

The study, design and development of a low-cost digital braille printer is boarded with a transdisciplinary approach. The main challenge was focused on reducing significantly the high cost of this type of printers and their printing services. This context is aggravated with the low commercialization of these products in the country, a factor that makes the access of these tools -that are essential to much of the low and middle sectors of the Argentine social structure- even more difficult. An interdisciplinary (...) group of teachers, graduates and students of the careers of industrial design and informatics degree from the National University of La Plata, developed the design and prototype of a braille printer. The work was carried out according to the principles of Gandhian Engineering, based on the reuse of ink-jet printers. The project consists of the design, development and generation of a low-cost Braille printer, produced locally, which prioritizes the use of nationally manufactured components for assembly. To achieve this, an electronic and electromechanical system was designed and manufactured to adapt any Inkjet printer to the objectives of the project, enabling the recycling of obsolete printers. This means, it is proposed to resolve through the use of text printers, applying technical knowledge of computer science and industrial design, to adapt the technological components to the Braille lexicon printer. They also developed, on the one hand, software that controls the printer and allows its use in a simple and accessible way. On the other hand, the hardware and external components were adapted with 3D printing technology and thermoforming, producing a housing that contains the entire printer. Finally, a systematization of the assembly process of the printer prototype was carried out, making it possible to replicate it. Using methodologies of Gandhian Design, a prototype and two alternative proposals of carcasses were obtained. The main objective, which guided this work, was that blind people can access low-cost braille printers promoting by this a favorable impact on the cultural development of their daily lives. (shrink)

While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are examined and it is concluded that while lessons can be learned from the medical profession, the relation of mathematicians to those affected by their work (...) is significantly different. There is something to be learned also from the codes of conduct of cognate but professionalised quantitative disciplines such as engineering and accountancy, as well as from legal principles bearing on professional work. We conclude with recommendations that professional societies in mathematics should sponsor an (international) code of ethics, institutional mission statements for mathematicians and syllabuses of ethics courses for incorporation into mathematics degrees. (shrink)

Four modes of language acquisition and communication are presented translating ancient Indian expressions on human consciousness, mind, their form, structure and function clubbing with the Sabdabrahma theory of language acquisition and communication. The modern scientific understanding of such an insight is discussed. . A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process forming the basis to develop software for relevantmind-machine modeling will be presented. The implications of such (...) a model to artificial intelligence and cognitive sciences will be discussed. The essential nature and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of language processing in humans is put forward. (shrink)

The Emergic Cognitive Model (ECM) is a unified computational model of visual filling-in based on the Emergic Network architecture. The Emergic Network was designed to help realize systems undergoing continuous change. In this thesis, eight different filling-in phenomena are demonstrated under a regime of continuous eye movement (and under static eye conditions as well). -/- ECM indirectly demonstrates the power of unification inherent with Emergic Networks when cognition is decomposed according to finer-grained functions supporting change. These can interact to raise (...) additional emergent behaviours via cognitive re-use, hence the Emergic prefix throughout. Nevertheless, the model is robust and parameter free. Differential re-use occurs in the nature of model interaction with a particular testing paradigm. -/- ECM has a novel decomposition due to the requirements of handling motion and of supporting unified modelling via finer functional grains. The breadth of phenomenal behaviour covered is largely to lend credence to our novel decomposition. -/- The Emergic Network architecture is a hybrid between classical connectionism and classical computationalism that facilitates the construction of unified cognitive models. It helps cutting up of functionalism into finer-grains distributed over space (by harnessing massive recurrence) and over time (by harnessing continuous change), yet simplifies by using standard computer code to focus on the interaction of information flows. Thus while the structure of the network looks neurocentric, the dynamics are best understood in flowcentric terms. Surprisingly, dynamic system analysis (as usually understood) is not involved. An Emergic Network is engineered much like straightforward software or hardware systems that deal with continuously varying inputs. Ultimately, this thesis addresses the problem of reduction and induction over complex systems, and the Emergic Network architecture is merely a tool to assist in this epistemic endeavour. -/- ECM is strictly a sensory model and apart from perception, yet it is informed by phenomenology. It addresses the attribution problem of how much of a phenomenon is best explained at a sensory level of analysis, rather than at a perceptual one. As the causal information flows are stable under eye movement, we hypothesize that they are the locus of consciousness, howsoever it is ultimately realized. (shrink)

In this essay we collect and put together a number of ideas relevant to the under- standing of the phenomenon of creativity, confining our considerations mostly to the domain of cognitive psychology while we will, on a few occasions, hint at neuropsy- chological underpinnings as well. In this, we will mostly focus on creativity in science, since creativity in other domains of human endeavor have common links with scientific creativity while differing in numerous other specific respects. We begin by briefly (...) introducing a few basic notions relating to cognition, among which the notion of ‘concepts’ is of basic relevance. The myriads of concepts lodged in our mind constitute a ‘conceptual space’ of an enormously complex structure, where con- cepts are correlated by beliefs that are themselves made up of concepts and are as- sociated with emotions. The conceptual space, moreover, is perpetually in a state of dynamic evolution that is once again of a complex nature. A major component of the dynamic evolution is made up of incessant acts of inference, where an inference occurs essentially by means of a succession of correlations among concepts set up with beliefs and heuristics, the latter being beliefs of a special kind, namely, ones relatively free of emotional associations and possessed of a relatively greater degree of justification. Beliefs, along with heuristics, have been described as the ‘mind’s software’, and con- stitute important cognitive components of the self-linked psychological resources of an individual. The self is the psychological engine driving all our mental and physical activity, and is in a state of ceaseless dynamics resulting from one’s most intimate ex- periences of the world accumulating in the course of one’s journey through life. Many of our psychological resources are of a dual character, having both a self-linked and a shared character, the latter being held in common with larger groups of people and imbibed from cultural inputs. We focus on the privately held self-linked beliefs of an individual, since these are presumably of central relevance in making possible inductive inferences – ones in which there arises a fundamental need of adopting a choice or making a decision. Beliefs, decisions, and inferences, all have the common link to the self of an individual and, in this, are fundamentally analogous to free will, where all of these have an aspect of non-determinism inherent in them. Creativity involves a major restructuring of the conceptual space where a sustained inferential process eventually links remote conceptual domains, thereby opening up the possibility of a large number of new correlations between remote concepts by a cascading process. Since the process of inductive inference depends crucially on de- cisions at critical junctures of the inferential chain, it becomes necessary to examine the basic mechanism underlying the making of decisions. In the framework that we attempt to build up for the understanding of scientific creativity, this role of decision making in the inferential process assumes central relevance. With this background in place, we briefly sketch the affect theory of decisions. Affect is an innate system of response to perceptual inputs received either from the exter- nal world or from the internal physiological and psychological environment whereby a positive or negative valence gets associated with a perceptual input. Almost every sit- uation faced by an individual, even one experienced tacitly, i.e., without overt aware-ness, elicits an affective response from him, carrying a positive or negative valence that underlies all sorts of decision making, including ones carried out unconsciously in inferential processes. Referring to the process of inferential exploration of the conceptual space that gener- ates the possibility of correlations being established between remote conceptual do- mains, such exploration is guided and steered at every stage by the affect system, analogous to the way a complex computer program proceeds through junctures where the program ascertains whether specified conditions are met with by way of generating appropriate numerical values – for instance, the program takes different routes, depending on whether some particular numerical value turns out to be positive or negative. The valence generated by the affect system in the process of adoption of a choice plays a similar role which therefore is of crucial relevance in inferential processes, especially in the exploration of the conceptual space where remote domains need to be linked up – the affect system produces a response along a single value dimension, resembling a number with a sign and a magnitude. While the affect system plays a guiding role in the exploration of the conceptual space, the process of exploration itself consists of the establishment of correlations between concepts by means of beliefs and heuristics, the self-linked ones among the latter having a special role in making possible the inferential journey along alternative routes whenever the shared rules of inference become inadequate. A successful access to a remote conceptual domain, necessary for the creative solution of a standing problem or anomaly – one that could not be solved within the limited domain hitherto accessed – requires a phase of relatively slow cumulative search and then, at some stage, a rapid cascading process when a solution is in sight. Representing the conceptual space in the form of a complex network, the overall process can be likened to one of self-organized criticality commonly observed in the dynamical evolution of complex systems. In order that inferential access to remote domains may actually be possible, it is necessary that restrictions on the exploration process – necessary for setting the context in ordinary instances of inductive inference – be relaxed and a relatively free exploration in a larger conceptual terrain be made possible. This is achieved by the mind going into the default mode, where external constraints – ones imposed by shared beliefs and modes of exploration – are made inoperative. While explaining all these various aspects of the creative process, we underline the supremely important role that analogy plays in it. Broadly speaking, analogy is in the nature of a heuristic, establishing correlations between concepts. However, analo- gies are very special in that these are particularly effective in establishing correlations among remote concepts, since analogy works without regard to the contiguity of the concepts in the conceptual space. In establishing links between concepts, analogies have the power to light up entire terrains in the conceptual space when a rapid cas- cading of fresh correlations becomes possible. The creative process occurs within the mind of a single individual or of a few closely collaborating individuals, but is then continued by an entire epistemic community, eventually resulting in a conceptual revolution. Such conceptual revolutions make pos- sible the radical revision of scientific theories whereby the scope of an extant theory is broadened and a new theoretical framework makes its appearance. The emerging theory is characterized by a certain degree of incommensurability when compared with the earlier one – a feature that may appear strange at first sight. But incommen- surability does not mean incompatibility and the apparently contrary features of the relation between the successive theories may be traced to the multi-layered structureof the conceptual space where concepts are correlated not by means of single links but by multiple ones, thereby generating multiple layers of correlation, among which some are retained and some created afresh in a conceptual restructuring. We conclude with the observation that creativity occurs on all scales. Analogous to correlations being set up across domains in the conceptual space and new domains being generated, processes with similar features can occur within the confines of a domain where a new layer of inferential links may be generated, connecting up sub- domains. In this context, insight can be looked upon as an instance of creativity within the confines of a domain of a relatively limited extent. (shrink)

Preparing students for the real challenges in life is one of the most important goals in education. Constructivism is an approach that uses real-life experiences to construct knowledge. Problem-Based Learning (PBL), for almost five decades now, has been the most innovative constructivist pedagogy used worldwide. However, with the rising popularity, there is a need to revisit empirical studies regarding PBL to serve as a guide and basis for designing new studies, making institutional policies, and evaluating educational curricula. This need has (...) led the researchers to do a meta-analysis to analyse the effectiveness of PBL on secondary students’ achievement in different scientific disciplines. Following the set of inclusion and exclusion criteria, 11 studies in Eurasia, Africa, and America conducted from 2016 to 2020 have qualified for this study. Six of which focused on JHS (n = 1047) and five on SHS (n = 375). Studies were obtained from various meta-search engines including Google, ERIC, and JSTOR. Further, the researchers used Harzing’s Publish and Perish software to exhaust the search process. Sample size, mean, and standard deviation were analysed using the Comprehensive MetaAnalysis version 3 to determine the effect sizes (Hedge’s g) and the results of moderator analysis, forest plot, funnel plot, and Begg-Mazumdar test. Findings have shown that PBL, as an approach to teaching science, had a large and positive effect (ES = .871) on the achievement of secondary students. However, grade levels and various scientific disciplines did not influence students’ learning achievement. The conduct of more studies on the different factors affecting PBL implementation and specific effects of PBL on various student domains is recommended to facilitate comparative educational research in the future. (shrink)

This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to (...) identify a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (shrink)

This narrative commentary on Nietzschean ambitions, in part influenced by Zarathustra and Ecce Homo, centers on a long, ongoing, expansive, and highly imaginative technological projects by two men, Stuart Beholt and Alby Tolby. Having worked up adventurous software in university days, their experiences interwoven with their friendship bring out a panoply of current philosophical issues--and beyond. This narrative philosophy evokes and explores more issues than current philosophical debates concerning emerging technologies can include in a more conventional work. At the (...) same time, this structure makes the read readily accessible , including such issues as the intriguing recent flirtation of religion and materialism that have only been broached in the literature. At the same time, high finance and monetary issues, besides the alluring beauty of solving tremendous engineering problems, pull the two übermensch into ever greater schemes, well evoking the question of the limits of ethics and epistemology. Even if this approach does not coincide with the reader's research, it can offer an enjoyable delving into philosophical problems. (shrink)

I discuss two categories of causal relationships: primitive causal interactions of the sort characterized by Phil Dowe and the more general manipulable causal relationships as defined by James Woodward. All primitive causal interactions are manipulable causal relationships, but there are manipulable causal relationships that are not primitive causal interactions. I’ll call the latter constructed causal relationships, and I’ll argue that constructed causal relationships serve as a foundation for both computing and complex systems. -/- Perhaps even more interesting are autonomous causal (...) relationships. These are constructed causal relationships in which the causal mechanism resides primarily in the effect. A typical example is a software execution engine. Software execution engines are on the effect side of a cause-effect relationship in which software is the cause and the behavior of the execution engine is the effect. The mechanism responsible for that causal relationship resides in the execution engine. (shrink)

In 2012, a major traffic safety organization tasked the MIT AgeLab with developing a data-driven system for rating the effectiveness of new technologies intended to improve safety. Such a system was envisioned as having the potential to educate and guide consumers towards more confident and strategic purchasing decisions, ideally encouraging adoption of technologies with demonstrated safety benefit. In addition, an evaluation of the status and extent of existing data was seen as a way of identifying research gaps in the state (...) of knowledge about safety systems. The focus was on technologies as a class, not on a rating review of individual vehicle model implementations. As conceptualized, the system aimed to complement traditional NCAP style ratings as well as to provide consumers with transparent information on early stage and often improving safety technologies. Development of the rating system and identification of data was undertaken in consultation with a range of academic, industrial, consumer, NGO, and governmental experts as well as with representatives of many of the major automotive manufacturers and suppliers. -/- A key observation that emerged was that data on objectively demonstrable real-world benefits were generally sparse and often lower than expectations based on theoretical considerations, simulation studies, or pre-production evaluations. A number of experts and industry representatives expressed some surprise at both the divergence between theoretical and observed benefits and the relative scarcity of data upon which to make objective assessments, while others were quite aware of these issues and the need for the development of objective data under real-world operating conditions. A number of factors that might be relevant to understanding why such differences between expected and observed benefits exist were identified. One outcome of this effort was the founding of the Advanced Vehicle Technology (AVT) consortium to collect and examine objective data under naturalistic driving conditions of how drivers interact with, engage or don’t engage, various production safety and driver assistance systems. This ongoing effort is contributing to insights concerning actual benefits and reasons for benefit gaps. -/- Drawing from our initial work, as well as newer sources of data, we argue that the evaluation and rating of safety and driver assistance technologies for informing the consumer and the public at large should consider both theoretical potential and existing demonstrated benefit of specific technologies. This position is increasingly relevant as the effectiveness of many newer technologies have the potential to actually improve over the lifecycle of a vehicle through software updates. The emphasis on ratings based on observed benefit for actual drivers under real-world conditions is proposed to be complementary, rather than competing with, ratings focused largely on controlled test track evaluations of engineered capability. In addition, a case is made for providing ratings that assesses benefit relative to overall crash, injury, and fatality rates – and in relation to the specific scenario / crash event type that a given technology is intended to address. This approach should aid consumers in considering the extent to which a specific technology is or is not relevant to their particular driving needs. (shrink)

Objective: We aimed to investigate the image quality of paranasal sinus computed tomography (CT) scans obtained with the “Advanced intelligent Clear-IQ Engine” (AICE) software and ultra-low dose parameters in patients with prediagnosed rhinitis, sinusitis or nasal septum deviation. -/- Methods: The first 50 patients (31 men and 19 women, aged 18-70 years) who agreed to participate in our prospectively planned study were included in the study. Imaging of the patients was performed with a 160-slice multidetector CT device Canon Aquilion (...) Prime SP (Canon Medical Systems, Otawara, Japan). Tube voltage of 80 kV and tube current of 40 mA were chosen. The effective radiation dose (ED) was calculated based on the “dose-length product” (DLP) information of each patient. Evaluation of images was made on reformat images made with “AiCE Bone” filter in the axial and coronal planes. All images were double-blindly evaluated by 2 radiologists out of 5 points (5 = very good; 1 = not diagnostic). The visibility of 17 bilateral important anatomical landmarks examined on paranasal sinus CT was scored (0 = not visible; 2 = completely visible). In the evaluation of images, the agreement between radiologists was evaluated with Kappa statistics. -/- Results: The median ED value of the CT protocol was 0.015±0.001 mSv [range 0.012-0.017 mSv]. The overall image quality of the images in our study was interpreted as 4 (good) or 3 (moderate) for all patients. Inter-research agreement was 92%. Most of the anatomical landmarks evaluated were completely visible. Six (bilateral of three) anatomical landmarks could be partially visible in some patients. -/- Conclusion: Combining the ultra-low dose CT protocol and the AiCE reconstruction algorithm makes it possible to achieve very low ED values ​​in paranasal sinus CT scans and still obtain sufficient image quality in indications such as septum deviation and sinusitis. (shrink)

Science urges philosophy to be more empirical and philosophy urges science to be more reflective. This markedly occurred along the “discovery of the artificial” (CORDESCHI 2002): in the early days of Cybernetics and Artificial Intelligence (AI) researchers aimed at making machines more cognizant while setting up a framework to better understand human intelligence. By and large, those genuine goals still hold today, whereas AI has become more concerned with specific aspects of intelligence, such as (machine) learning, reasoning, vision, and action. (...) As a matter of fact, the field suffers from a chasm between two formerly integrated aspects. One is the engineering endeavour involving the development of tools, e.g., autonomous systems for driving cars as well as software for semantic information retrieval. The other is the philosophical debate that tries to answer questions concerning the nature of intelligence. Bridging these two levels can indeed be crucial in developing a deeper understanding of minds. An opportunity might be offered by the cogent theme of emotions. Traditionally, computer science, psychological and philosophical research have been compelled to investigate mental processes that do not involve mood, emotions and feelings, in spite of Simon’s early caveat (SIMON 1967) that a general theory of cognition must incorporate the influences of emotion. Given recent neurobiological findings and technological advances, the time is ripe to seriously weigh this promising, albeit controversial, opportunity. (shrink)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility (...) where ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context (...) of a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique (...) used to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

The purpose of this study is to identify the requirements of computerized Management Information Systems and their role in improving the quality of administrative decisions in the Palestinian Ministry of Education and Higher Education. The authors used the descriptive analytical method and the questionnaire method to collect the data. (247) questionnaires were distributed on the study sample and (175) questionnaires were collected back with a recovery rate of (70.8). The study showed a number of results, the most important of which (...) are: There exist a role for computerized management information system requirements in improving the quality of administrative decisions in the Ministry of Education and Higher Education. This result is due to the existence of the support and attention by the senior management in the Ministry of Education and Higher Education by 65.06%, the physical requirements available for the use of computerized Management Information Systems are available by (72.19%), and the software requirements for the use of computerized Management Information Systems are available at 67.74%. The results found that the human requirements available for the use of computerized Management Information Systems are available at (68.33%). The results showed that the organizational requirements that assist in the use of information systems are available at (64.19%). There are no statistically significant differences between respondents' responses to the role of computerized management information system requirements in improving the quality of administrative decisions in the Ministry of Education and Higher Education attributable to the variables(Gender, academic qualification, age, career level), while there are statistically significant differences in the role of computerized management information system requirements in improving the quality of administrative decisions in the Ministry of Education and Higher Education due to variable years of service. The study concluded that the Ministry of Education and Higher Education is able to cope with the external environmental changes rapidly and the limited time available for the collection and analysis of information. This means that administrative information systems should be used by increasing the approval of senior management on Management Information Systems in making their decisions, and to involve the employees in making any change and keep abreast of technical developments and try to use external bodies to advise in the field of computerized information systems, and work to increase coordination between the different departments of the ministry. (shrink)

The study aimed to identify the digital transformation in Non-Governmental Organizations in Palestine, and the study used the descriptive analytical approach, and a structured questionnaire was used to collect data that contribute to achieving the objectives of the study, and the study population consists of employees in Non-Governmental Organizations in the southern Palestinian governorates, and a random sample was used to collect Data where (183) applicable questionnaires were retrieved. The results of the study showed that the general assessment of digital (...) transformation reached (83.92%), and that the arrangement of areas of digital transformation is as follows: (infrastructure, organizational culture, human resources, leadership and administrative support, plans and strategies, material resources). The study presented a set of recommendations, the most important of which are: the necessity of providing a budget for training and development, attracting expertise and specialists in digital transformation to work in organizations, and providing the necessary software tools to build and manage the digital transformation process. (shrink)