The study of creative, diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science requires expanding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic (...) ways of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model-based reasoning. The term "model" comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. Moreover, in the modeling process, various forms of abstraction are used. Evaluation and adaptation take place in light of structural, causal, and/or functional constraints. Model simulation can be used to produce new states and enable evaluation of behaviors and other factors. Several of the papers in this volume aim at increasing epistemological knowledge about the role of model-based reasoning in various scientific tasks, other papers address fundamental cognitive issues related to model-based reasoning and illustrate novel analyses of cognitive "logical" models of model-based reasoning and of the interplay abduction/model-based reasoning/creative inferences. The volume is based on the papers that were presented at the International Conference Model-Based Reasoning in Science and Engineering: Abduction, Visualization, Simulation, held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in December 2004. (shrink)

This paper examines the nature of model-based reasoning in the interplay between theory and experiment in the context of biomedical engineering research laboratories, where problem solving involves using physical models. These "model systems" are sites of experimentation where in vitro models are used to screen, control, and simulate specific aspects of in vivo phenomena. As with all models, simulation devices are idealized representations, but they are also systems themselves, possessing engineering constraints. Drawing on (...) research in contemporary cognitive science that construes cognition as occurring in a complex distributed system comprising people and artifacts, I argue that reasoning with model systems is a constraint satisfaction process involving co-construction, manipulation, and revision of mental and physical models. (shrink)

Ethical, legal and social implications are widely regarded as important considerations with respect to technological developments. Agile Worth-Oriented Systems Engineering is an innovative approach to incorporating ethically relevant criteria during agile development processes through a flexibly applicable methodology. First, a predefined model for the ethical evaluation of socio-technical systems is used to assess ethical issues according to different dimensions. The second part of AWOSE ensures that ethical issues are not only identified, but also systematically considered during (...) the design of systems based on information and communication technology. For this purpose, the findings from the first step are integrated with approaches from worth-centered development into a process model that, unlike previous approaches to ethical system development, is thoroughly compatible with agile methodologies like Scrum or Extreme Programming. Artifacts of worth-centered development called Worth Maps have been improved to guide the prioritization of development tasks as well as choices among design alternatives with respect to ethical implications. Furthermore, the improved Worth Maps facilitate the identification of suitable criteria for system evaluations in association to ethical concerns and desired positive outcomes of system usage. The potential of the AWOSE methodology has been demonstrated in the context of a technical system that supports elderly and people with particular handicaps. (shrink)

Designing, building, and experimenting with physical simulation models are central problem‐solving practices in the engineering sciences. Model‐based simulation is an epistemic activity that includes exploration, generation and testing of hypotheses, explanation, and inference. This paper argues that to interpret and understand how these simulation models function in creating knowledge and technologies requires construing problem solving as accomplished by a researcher–artifact system. It draws on and further develops the framework of “distributed cognition” to interpret data collected in ethnographic (...) and cognitive‐historical studies of two biomedical engineering research laboratories, and articulates the notion of distributed model‐based cognition to answer the question posed in the title. (shrink)

It has been argued that the Internet and social media increase the number of available viewpoints, perspectives, ideas and opinions available, leading to a very diverse pool of information. However, critics have argued that algorithms used by search engines, social networking platforms and other large online intermediaries actually decrease information diversity by forming so-called “filter bubbles”. This may form a serious threat to our democracies. In response to this threat others have developed algorithms and digital tools to combat filter bubbles. (...) This paper first provides examples of different software designs that try to break filter bubbles. Secondly, we show how norms required by two democracy models dominate the tools that are developed to fight the filter bubbles, while norms of other models are completely missing in the tools. The paper in conclusion argues that democracy itself is a contested concept and points to a variety of norms. Designers of diversity enhancing tools must thus be exposed to diverse conceptions of democracy. (shrink)

This article aims to analyze the views of two pioneering Ḥanafī scholars, Abū Manṣūr al- Māturīdī and Abū Zayd al-Dabūsī, on the meaning of death and life in terms of their general doctrine of religion. In the first part, the general framework of Māturīdī and Dabūsī’s evidentialist conception of religion are drawn. In the second part, Māturīdī's views on the meaning of death and life and are explored. In the third part, the views of Abū Zayd al-Dabūsī on the meaning (...) of death and life, who establishes a striking connection between the divine order and existence, divine prohibition and non-existence, are examined, and a general evaluation is offered in the last section. Al-Māturīdī proposed a very original and systematic example of doing philosophy of religion, which still promising for the modern problems of the field, by opening the phenomenon of religion itself to discussion, and analyzing the nature and elements of religion. Māturīdī aims to place the problems on a universal and theoretical basis and to present a holistic, metaphysical understanding while discussing specific and particular issues in religion. Just as there are main notes in classical Western music that repeat throughout the symphony in baroque style, there are universal principles in al-Māturīdī’s metaphysics that cut all particular debates vertically. The basic principle of the al-Māturīdī’s metaphysics is based on this idea: God is a wise being, he does not do anything wise. Accordingly, it is absurd to create something to destroy; God did not create man to perish. The love of life and the fear of death are the deepest existential problems facing man as a finite being that goes towards death. Religion can be regarded as a powerful alternative to other worldviews to the extent that it provides a reasonable explanation for man’s deep concern about finitude. For al-Māturīdī, neither pessimistic understandings that emphasize only the fear of death nor hedonistic understandings that ignore death offer a reasonable solution. God created death as something that people fear the most and avoid, and life as something they love and desire. The testing of man is about being between the fear of death and the desire to live in the world. According to al-Māturīdī, this dilemma that man is facing also shows him the way out. If people do good and useful deeds because of their love for life, and avoid nonsense and ugly deeds because of their afraid of death, they can make their life eternal with their own efforts and escape from eternal/permanent death. The other Hanafī thinker, a philosopher of law Abū Zayd al-Dabūsī’s views on the meaning of death and life are parallel to Māturīdī's. According to al-Dabūsī, to test man, what God has placed in human nature is not only the soul and reason but also the spirit (al-nafs) and whim (al-hawa). While the spirit and whim invites man to the temporary by ignorance, it calls the soul and reason to the permanent by knowledge. The test for human beings is to choose between the temporary and the eternal life. For al-Dabūsī, man’s saving himself from falling into nothingness and gaining the eternal life depends on his use of reason. In other words, the reason binds human beings to life, and the whim leads them to nothingness. Drawing a parallel between reasoning and existence, ignorance and absence, Dabūsī defines the terms divine command and divine prohibition in a very original way. For him, the divine command is the things that must exist, and the divine prohibition is the things that must not exist. If the man helps exist the things that God wills to exist, he can make his own existence eternal. If the man helps exist the things that God does not will to exist, he puts himself into nothingness. Lastly, both for al-Māturīdī and al-Dabūsī, life is a divine grace bestowed on human being to gain eternal life through the good deeds he does at any moment. In short, reason is necessary in religion because its use is a preference of existence to non-existence. This metaphysical system, which sees goodness as a bridge from this finite world to heaven and eternity and makes a connection between faith and deeds on the ontological and ethical level is the essence of the worldview of the Hanafī-Māturīdī tradition. (shrink)

Knowledge-Based Systems (KBS) are developed to contain substantial elements of human knowledge and expertise in a well-defined domain, and use these to support user or expert tasks. Issues related to the social and organisational contexts of these systems are widely acknowledged to be particularly critical to their success. However, methodology proposals usually stop short of adequately handling soft and unstructured data that frame the contexts of use. The handling of qualitative data needs to be done in a (...) way that directly impinges on the wider Knowledge-Based System engineering processes and decisions. In this paper, we discuss the nature of context-sensitive issues, and describe a methodological approach for resolving them through the rigorous analysis of qualitative data, using a methodology which is based upon the Grounded Theory method from the social sciences. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) (...) standardization, (3) testing, and (4) data exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

The emergence of new computational media is radically changing the practices of science, particularly in the way computational models are built and used to understand and engineer complex biological systems. These new practices present a novel variation of model-based reasoning, based on dynamic and opaque models. A new cognitive account of MBR is needed to understand the nature of this practice and its implications. To develop such an account, I first outline two cases where the building (...) and use of computational models led to discoveries. A theoretical model of the possible cognitive and neural mechanisms underlying such discoveries is then presented, based on the way the body schema is extended during tool use. This account suggests that the process of building the computational model gradually ‘incorporates’ the external model as a part of the internal imagination system, similar to the way tools are incorporated into the body schema through their active use. A central feature of this incorporation account is the critical role played by tacit and implicit reasoning. Based on this account, I examine how computational modeling would change model-based reasoning in science and science education. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and (...) processes of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)

The supervisor of the activities of a system user should benefit from the knowledge contained in the event logs of the user. They allow the monitoring of the sequential and parallel user activities. To make event logs more accessible to the supervisor, we suggest a process mining approach, including first the design of an understanding model of the activities of a system user. The model design is based on the relationships between the event logs and the activities (...) of a system user. An intervention model completes the understanding model to assist the supervisor. The intervention model enables an action of the supervisor on the critical activities, and the detection of anomalies. The models are automatically designed with a model-driven engineering approach. An experiment on a smart home system illustrates this tooled design, where the supervisor is a medical or paramedical staff member. (shrink)

According to population biologist Richard Levins, every discipline has a “strategy of model building,” which involves implicit assumptions about epistemic goals and the types of abstractions and modeling approaches used. We will offer suggestions about how to model complex systems based upon a strategy focusing on independence in modeling. While there are many possible and desirable modeling strategies, we will contrast a model-independence-focused strategy with the more common modeling strategy of adding increasing levels of detail (...) to a model. Levins calls the latter approach a ‘brute force’ strategy of modeling, which can encounter problems as it attempts to add increasing details and predictive precision. In contrast, a model-independence-focused strategy, which we call a ‘pluralistic strategy,’ draws off of Levins’s use of an assemblage of multiple, simple and—critically—independent models of ecological systems in order to do predictive and explanatory analysis. We use the example of model analysis of levee failure during Hurricane Katrina to show what a pluralistic strategy looks like in engineering. Depending on one’s strategy, one can deliberately engineer the set of available models in order to have more independent and complementary models that will be more likely to be accurate. We offer advice on ways of making models independent as well as a set of epistemic goals for model development that different models can emphasize. (shrink)

According to population biologist Richard Levins, every discipline has a “strategy of model building,” which involves implicit assumptions about epistemic goals and the types of abstractions and modeling approaches used. We will offer suggestions about how to model complex systems based upon a strategy focusing on independence in modeling. While there are many possible and desirable modeling strategies, we will contrast a model-independence-focused strategy with the more common modeling strategy of adding increasing levels of detail (...) to a model. Levins calls the latter approach a ‘brute force’ strategy of modeling, which can encounter problems as it attempts to add increasing details and predictive precision. In contrast, a model-independence-focused strategy, which we call a ‘pluralistic strategy,’ draws off of Levins’s use of an assemblage of multiple, simple and—critically—independent models of ecological systems in order to do predictive and explanatory analysis. We use the example of model analysis of levee failure during Hurricane Katrina to show what a pluralistic strategy looks like in engineering. Depending on one’s strategy, one can deliberately engineer the set of available models in order to have more independent and complementary models that will be more likely to be accurate. We offer advice on ways of making models independent as well as a set of epistemic goals for model development that different models can emphasize. (shrink)

A large number of engineering problems involve several conflicting objectives, which today are often solved through expensive simulation calculations. Methods based on meta-models are one of the approaches to solving this group of problems. In this paper, multiobjective optimization in the extraction system of a copper open-pit mine complex is presented by the modified-NBI optimization method and regression meta-model. For this purpose, two objective functions of maximizing the amount of total extraction, which is the sum of the (...) extraction of sulfide, oxide, low-grade ores, and waste in this mine, and minimizing the transport time of haulage according to the limitation of its storage capacity, transport equipment, and budget are considered. The Central Composite Design method is used to build the Design of Experiments for the design variables. The considered design variables are the number of trucks of 120 tons, 240 tons, 35 tons, and 100 tons. The number of targets considered in each design combination is considered the response surface. The suitable meta-model to maximize the total extraction rate and minimize the transport time of the haulage, two modified functions of nonlinear regression have been determined. The accuracy of the models for selection has been done using PRESS and R 2 statistics. The most common PRESS error has also been used to validate the meta-models. Then the multiobjective optimization problem was solved using the modified-NBI method. Finally, Pareto and optimal solutions using the proposed approach were presented and discussed. (shrink)

This study aims to look at the role of the practice of excellence strategies in education in achieving sustainable competitive advantage for the Higher educational institutions of the faculty of Engineering and Information Technology at Al-Azhar University in Gaza, a model, and the study considered the competitive advantage of educational institutions stems from the impact on the level of each student, employee, and the institution. The study was based on the premise that the development of strategies for (...) excellence in education, and its implementation is a vital important prerequisite to achieve sustainable competitive advantage in higher educational institutions. The study followed a systematic exploratory descriptive methodology through review of the theoretical literature, and the adoption of the experience of the Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as a model for its unique experience in the field of excellence in education. The study results showed that the most important are: There is a strong correlation between the level of exercising excellence strategies in education and the achievement of higher educational institutions to the sustainable competitive advantage. The results include a general required number of important sub results on the subject of the model - Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as follows: - The student considered the academic focus of the operation in the development process of the workers’ skills, particularly academics at the university helps to distinguish students and increase the employment rate after graduation. - The existence of consistency in development efforts and quality improvement for all three levels (student, employee, and the university), and this contributes to the Faculty excellence. - The Faculty has been able to achieve competitive advantages by offering excellent services without harming the efficiency, and this alone is a great success because improving service properties requires great investments, which negatively affect the continued institutional development. The study also reached a set of recommendations as follows: - The need to exercise excellence strategies in education, excellence reward at the national level, and those higher educational institutions follow the criteria for measuring the competitive advantages of its institutions always. - There is a need to increase efforts to implement programs of excellence, the allocation of adequate time, reward outstanding efforts as well. There is a necessity for each faculty to achieve competitive advantage and sustainability, using the general philosophies of competitive advantage, but with a different strategically content from what is in the private commercial sector, it reflects the Faculties mission and objectives, depending on making improvements and excellence in processes that ensure the safety of its outputs. As well as the need to find a balance between the work of teaching and research work of the faculty members, this has important implications regarding the criteria used in the process of excellence evaluation. The study recommended the adoption of strategies for excellence in education on a national public policy level mainly in the processes of change in higher education institutions. The need to support the existence of a common understanding of the efforts of excellence to create a general culture that appreciates excellence in faculties and universities. This underlines the need for transparent, fair rewards systems, to encourage innovation in education. The need to conduct a comprehensive surveys on the graduates of faculties and universities including the areas of employment and skills, because that will give accurate indications of the graduates and will help to establish a link to a more precise about the relationship of excellence strategies with the competitive advantages. (shrink)

In this paper a Knowledge-Based System (KBS) for determining the appropriate students major according to his/her preferences for sophomore student enrolled in the Faculty of Engineering and Information Technology in Al-Azhar University of Gaza was developed and tested. A set of predefined criterions that is taken into consideration before a sophomore student can select a major is outlined. Such criterion as high school score, score of subject such as Math I, Math II, Electrical Circuit I, and Electronics I (...) taken during the student freshman year, number of credits passed, student cumulative grade point average of freshman year, among others, were then used as input data to KBS. KBS was designed and developed using Simpler Level Five (SL5) Object expert system language. KBS was tested on three generation of sophomore students from the Faculty of Engineering and Information Technology of the Al-Azhar University, Gaza. The results of the evaluation show that the KBS is able to correctly determine the appropriate students major without errors. (shrink)

Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records stored in various databases, in particular, relational databases. To assist decision-makers, an expert system, encompasses interactive computer-based systems or subsystems to support the decision-making process. Typically, most expert systems are built on top of transaction systems, databases, and data models and restricted in decision-making to the analysis, processing and presenting data and information, (...) and they do not provide support for the normative layer. This paper will provide a solution to one specific problem that arises from this situation, namely the lack of tool/mechanism to demonstrate how an expert system is well-suited for supporting decision-making activities drawn from existing records and relevant legal requirements aligned existing records stored in various databases.We present a Rule-based reporting systems architecture, which is intended to integrate databases, in particular, relational databases, with a logic-based reasoner and rule engine to assist in decision-making or create reports according to legal norms. We argue that the resulting RuleRS provides an efficient and flexible solution to the problem at hand using defeasible inference. To this end, we have also conducted empirical evaluations of RuleRS performance. (shrink)

This book highlights the unique need for philosophy among engineers, which stems from issues regarding their knowledge, role or being and influence. It discusses practice, context, ethics, models and failure as key aspects of engineering, and provides an easy but essential introduction to philosophy for engineers by presenting four key philosophers and linking them to these aspects: Karl Popper, Thomas Kuhn, Michael Polanyi and Martin Heidegger. Popper, Kuhn and Polanyi are philosophers of science who have challenged the view that (...) science is a ‘cool, detached’ discipline, since it also depends on human imagination, consensus and judgment plus artistry ; factors that are central to engineering. Heidegger critiqued technology on the one hand, but also stressed the importance of ‘doing’ over ‘knowing,’ thus ‘authenticating’ the highly pragmatic engineering profession. Science is the ‘core’ component of engineering, which is overlaid by a variety of heuristics. Practice-based knowledge can be formalized, with artificial intelligence offering a valuable tool for engineering, just as mathematics has done for science. The book also examines systems thinking in engineering. Featuring numerous diagrams, tables and examples throughout, the book is easily accessible to engineers. (shrink)

In an instant classic paper ; 2002: 179–182) biologist Yuri Lazebnik deplores the poor effectiveness of the approach adopted by biologists to understand and “fix” biological systems. Lazebnik suggests that to remedy this state of things biologist should take inspiration from the approach used by engineers to design, understand, and troubleshoot technological systems. In the present paper I substantiate Lazebnik’s analysis by concretely showing how to apply the engineering approach to biological problems. I use an actual example (...) of electronic circuit troubleshooting to ground the thesis that, in engineering, the crucial phases of any non-trivial troubleshooting process are aimed at generating a mechanistic explanation of the functioning of the system, which makes extensive recourse to problem-driven qualitative reasoning possibly based on cognitive artifacts applied to systems that are known to have been designed for function. To show how to translate these findings into biological practice I consider a concrete example of biological model building and “troubleshooting”, aimed at the identification of a “fix” for the human immune system in presence of progressing cancer, autoimmune disease, and transplant rejection. The result is a novel immune system model—the danger model with regulatory cells— and new, original hypotheses concerning the development, prophylaxis, and therapy of these unwanted biological processes. Based on the manifest efficacy of the proposed approach, I suggest a refocusing of the activity of theoretical biologists along the engineering-inspired lines illustrated in the paper. (shrink)

From the perspective of biological cybernetics, “real world” robots have no fundamental advantage over computer simulations when used as models for biological behavior. They can even weaken biological relevance. From an engineering point of view, however, robots can benefit from solutions found in biological systems. We emphasize the importance of this distinction and give examples for artificial systems based on insect biology.

Ranging from miniaturized biological robots to organoids, multi-cellular engineered living systems (M-CELS) pose complex ethical and societal challenges. Some of these challenges, such as how to best distribute risks and benefits, are likely to arise in the development of any new technology. Other challenges arise specifically because of the particular characteristics of M-CELS. For example, as an engineered living system becomes increasingly complex, it may provoke societal debate about its moral considerability, perhaps necessitating protection from harm or recognition of (...) positive moral and legal rights, particularly if derived from cells of human origin. The use of emergence-based principles in M-CELS development may also create unique challenges, making the technology difficult to fully control or predict in the laboratory as well as in applied medical or environmental settings. In response to these challenges, we argue that the M-CELS community has an obligation to systematically address the ethical and societal aspects of research and to seek input from and accountability to a broad range of stakeholders and publics. As a newly developing field, M-CELS has a significant opportunity to integrate ethically responsible norms and standards into its research and development practices from the start. With the aim of seizing this opportunity, we identify two general kinds of salient ethical issues arising from M-CELS research, and then present a set of commitments to and strategies for addressing these issues. If adopted, these commitments and strategies would help define M-CELS as not only an innovative field, but also as a model for responsible research and engineering. (shrink)

Legal expert systems are computer applications that can mimic the consultation process of a legal expert to provide advice specific to a given scenario. The core of these systems is the experts’ knowledge captured in a sophisticated and often complex logic or rule base. Such complex systems rely on both knowledge engineers or system programmers and domain experts to maintain and update in response to changes in law or circumstances. This paper describes a pragmatic approach using process (...) modelling techniques that enables a complex legal expert system to be maintained and updated dynamically by a domain expert such as a legal practitioner with little computing knowledge. The approach is illustrated using a case study on the design of an online expert system that allows a user to navigate through complex legal options in the domain of International Family Law. (shrink)

With the technological evolutionary advent, a vision-based approach presents the remote measuring approach for the analysis of vibration. The structure vibration test and model parameter identification in the detection of the structure of the bridge evaluation occupies the important position. The bridge structure to operate safely and reliably is ensured, according to the geological data of qixiashan lead-zinc mine and engineering actual situation, with the aid of international mining software Surpac. To build the 3D visualization model (...) of the application of visualization in mine production are discussed. The results show that the final solid model of -425 stope can accurately display the spatial form of each layer of stope through rotation, amplification and movement. The proposed system is effectually able to perform cutting, volume calculation and roaming in any direction, which has certain guiding significance for mine production management. An accuracy value of 98.75%, the sensitivity of 99%, specificity of 99.64% and PPV of 99.89% are achieved using the proposed 3D modelling and visualization algorithm for vibration signal processing and management. (shrink)

Big data and Machine learning Techniques are reshaping the way in which food safety risk assessment is conducted. The ongoing ‘datafication’ of food safety risk assessment activities and the progressive deployment of probabilistic models in their practices requires a discussion on the advantages and disadvantages of these advances. In particular, the low level of trust in EU food safety risk assessment framework highlighted in 2019 by an EU-funded survey could be exacerbated by novel methods of analysis. The variety of processed (...) data raises unique questions regarding the interplay of multiple regulatory systems alongside food safety legislation. Provisions aiming to preserve the confidentiality of data and protect personal information are juxtaposed to norms prescribing the public disclosure of scientific information. This research is intended to provide guidance for data governance and data ownership issues that unfold from the ongoing transformation of the technical and legal domains of food safety risk assessment. Following the reconstruction of technological advances in data collection and analysis and the description of recent amendments to food safety legislation, emerging concerns are discussed in light of the individual, collective and social implications of the deployment of cutting-edge Big Data collection and analysis techniques. Then, a set of principle-based recommendations is proposed by adapting high-level principles enshrined in institutional documents about Artificial Intelligence to the realm of food safety risk assessment. The proposed set of recommendations adopts Safety, Accountability, Fairness, Explainability, Transparency as core principles (SAFETY), whereas Privacy and data protection are used as a meta-principle. (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)

Some of the fundamental activities of the software development process are related to the discipline of Requirements Engineering. Their objectives are to discover, analyze, document, and verify the system’s requirements. The requirements are the conditions or capabilities that software needs to have or fulfill to meet its users’ needs, and problems in its identification can mean the failure of a software project. This study is part of the research that is being developed to propose a model based (...) on Know­ledge Organization Systems to be used in the Requirements engineering process. This article aims to present the results of an analysis on a set of Know­ledge Organization Systems to identify whether they are likely to be applied in the Requirements engineering process and identify at which stage of this process each one of them can be implemented. The Know­ledge Organization Systems analyzed were the authority files, gazetteers, glossaries, subject headings, classification systems, thesauri, semantic networks, and ontologies. Based on the results obtained, it was possible to conclude that the Know­ledge Organization Systems analyzed can be used in the Requirements engineering process and, consequently, contribute to increasing the software requirements’ quality. (shrink)

Any part of the world can be viewed and modelled in terms of its chosen qualitative and/or quantitative properties, OR its structure. The former approach has been used by nearly the whole of ‘human intellectual endeavor’, i.e conventional science of physics, the arts etc. Development of the latter or the ‘systemic view’ is the subject matter of the current work. The Purpose of Change is Problem Solving suggests that the ‘structural view’ is empirical, pervasive throughout experience and as such results (...) in a single domain as opposed to conventional science which consists of many domains like mechanics, electricity etc. Thus, a unique approach is required which is based on ‘general principles of systems’ translated into operational form by the symbolism of processed natural language called ‘linguistic modelling of scenarios’ which can carry mathematics and uncertainties. To model scenarios with complex structure, a description or story in natural language is expressed in terms of homogenous language of one – and two – place sentences, the ‘elementary constituents’ of which complex structures can be constructed [like a variety of buildings from bricks]. To correspond to the single domain, based on the logic of causation, a single scheme of ‘Management/producers – Product – User/consumer’ is proposed which is immediately applicable to structuring scenarios and guides their detailed linguistic modelling or design. The approach, subject to debate, can have significant impact on society and education, especially that of engineering which lacks a ‘comprehensive theory of structure’ of problematic scenarios. (shrink)

Modelers are tackling ever more complex systems with the aid of computation. Model-based inferences can play a key role in their ability to handle complexity and produce reliable or informative models. We study here the role of model-based inference in the modern field of computational systems biology. We illustrate how these inferences operate and analyze the material and theoretical bases or conditions underlying their effectiveness. Our investigation reiterates the significance and centrality of model- (...) class='Hi'>based reasoning in day-to-day problem-solving practices, and the role that debugging processes of partial or incomplete models can play in scientific inference and scientific discovery, particularly with respect to complex systems. We present several deeper implications such an analysis has for philosophy of science regarding the role of models in scientific practice. (shrink)

There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection (...) problems and attain a precise decision about the cause of the problem. SL5 Object expert system language was used in developing the rule based system. An Evaluation of the rule based system was carried out to test its accuracy and the results were promising. (shrink)

Since its inception in the Middle Ages, the university classroom can be characterized by students gathered around a sage who imparts his or her knowledge. However, the effective classroom of today looks vastly different: First-year engineering students not only learn basic engineering principles, but are also guided to consider their own inner values and motivations as they design and build adaptive devices for people with disabilities; students in a large chemistry lecture work animatedly together in small groups on (...) inquiry-based activities while an instructor and teaching assistants circulate and guide their learning; students learning differential equations practice explicit metacognitive skills while problem-solving in class. Even though educational research, especially research that is targeted at STEM disciplines, demonstrates what most effectively engages students and supports their learning, many of today's classrooms look much like they did a century ago, with a professor delivering a primarily one-way lecture and students passively sitting in seats bolted to the floor. At this juncture in history, colleges and universities face a public call to engage a more diverse representation of students in effective learning, persistence, and degree attainment, and to do so economically and efficiently. It is essential that institutions draw upon methods demonstrated to effectively increase student learning and success. Educational researchers have thoroughly explored the "basic" science in this area, and a body of literature documents effective evidence-based instructional practices, hereafter referred to as EBIPs. (shrink)

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017. The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 submissions. They are organized in topical sections: constraints, planning, and optimization; data mining and machine learning; sensors, signal processing, and data (...) fusion; recommender systems; decision support systems; knowledge representation and reasoning; navigation, control, and autonome agents; sentiment analysis and social media; games, computer vision; and animation; uncertainty management; graphical models: from theory to applications; anomaly detection; agronomy and artificial intelligence; applications of argumentation; intelligent systems in healthcare and mhealth for health outcomes; and innovative applications of textual analysis based on AI. (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly (...) diagnoses Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

In this paper, we present a probabilistic-based method to predict malaria disease at an early stage. Malaria is a very dangerous disease that creates a lot of health problems. Therefore, there is a need for a system that helps us to recognize this disease at early stages through the visual symptoms and from the environmental data. In this paper, we proposed a Bayesian network model to predict the occurrences of malaria disease. The proposed BN model is built (...) on different attributes of the patient’s symptoms and environmental data which are divided into training and testing parts. Our proposed BN model when evaluated on the collected dataset found promising results with an accuracy of 81%. One the other hand, F1 score is also a good evaluation of these probabilistic models because there is a huge variation in class data. The complexity of these models is very high due to the increase of parent nodes in the given influence diagram, and the conditional probability table also becomes more complex. (shrink)

Given the possibilities of synthetic biology, weapons of mass destruction and global climate change, humans may achieve the capacity globally to alter life. This crisis calls for an ethics that furnishes effective motives to take global action necessary for survival. We propose a research program for understanding why ethical principles change across time and culture. We also propose provisional motives and methods for reaching global consensus on engineering field ethics. Current interdisciplinary research in ethics, psychology, neuroscience and evolutionary theory (...) grounds these proposals. Experimental ethics, the application of scientific principles to ethical studies, provides a model for developing policies to advance solutions. A growing literature proposes evolutionary explanations for moral development. Connecting these approaches necessitates an experimental or scientific ethics that deliberately examines theories of morality for reliability. To illustrate how such an approach works, we cover three areas. The first section analyzes cross-cultural ethical systems in light of evolutionary theory. While such research is in its early stages, its assumptions entail consequences for engineering education. The second section discusses Howard University and University of Puerto Rico/Mayagüez (UPRM) courses that bring ethicists together with scientists and engineers to unite ethical theory and practice. We include a syllabus for engineering and STEM (Science, Technology, Engineering and Mathematics) ethics courses and a checklist model for translating educational theory and practice into community action. The model is based on aviation, medicine and engineering practice. The third and concluding section illustrates Howard University and UPRM efforts to translate engineering educational theory into community action. Multidisciplinary teams of engineering students and instructors take their expertise from the classroom to global communities to examine further the ethicality of prospective technologies and the decision-making processes that lead to them. (shrink)

In this study, two modified gradient descent algorithms are proposed for time-delayed models. To estimate the parameters and time-delay simultaneously, a redundant rule method is introduced, which turns the time-delayed model into an augmented model. Then, two GD algorithms can be used to identify the time-delayed model. Compared with the traditional GD algorithms, these two modified GD algorithms have the following advantages: avoid a high-order matrix eigenvalue calculation, thus, are more efficient for large-scale systems; have faster (...) convergence rates, therefore, are more practical in engineering practices. The convergence properties and simulation examples are presented to illustrate the efficiency of the two algorithms. (shrink)

Gearbox is one of the vital components in aircraft engines. If any small damage to gearbox, it can cause the breakdown of aircraft engine. Thus it is significant to study fault diagnosis in gearbox system. In this paper, two deep learning models (Long short term memory (LSTM) and Bi-directional long short term memory (BLSTM)) are proposed to classify the condition of gearbox into good or bad. These models are applied on aircraft gearbox vibration data in both time and frequency domain. (...) A publicly available aircraft gearbox vibration dataset is used to evaluate the performance of proposed models. The results proved that accuracy achieved by LSTM and BLSTM are highly reliable and applicable in health monitoring of aircraft gearbox system in time domain as compared to frequency domain. Also, to show the superiority of proposed models for aircraft gearbox fault diagnosis, performance is compared with classical machine learning models. (shrink)

The advent of ChatGPT by OpenAI has prompted extensive discourse on its potential implications for science and higher education. While the impact on education has been a primary focus, there is limited empirical research on the effects of large language models (LLMs) and LLM-based chatbots on science and scientific practice. To investigate this further, we conducted a Delphi study involving 72 researchers specializing in AI and digitization. The study focused on applications and limitations of LLMs, their effects on the (...) science system, ethical and legal considerations, and the required competencies for their effective use. Our findings highlight the transformative potential of LLMs in science, particularly in administrative, creative, and analytical tasks. However, risks related to bias, misinformation, and quality assurance need to be addressed through proactive regulation and science education. This research contributes to informed discussions on the impact of generative AI in science and helps identify areas for future action. (shrink)

Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and solutions, and (...) also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

Babylon Knowledge Explorer (BKE) is an integrated suite of tools and information sources developed in GlaxoSmithKline's Analysis, Applications, and Research Technologies Department to support the prototyping and implementation of ontology-driven information systems and ontology-enhanced knowledge applications. In this paper we describe the current state of BKE development and focus on some of its distinctive or novel approaches, highlighting -/- * How BKE makes use of multiple large pre-existing ontologies in support of text and data mining. * The methodology employed (...) for importing an ontology and making it immediately accessible to BKE's tools, interfaces, and API. * A formal description of BKE's ontology-based fact model and how this is employed in implementing information retrieval and data mining capabilities. * A sample application built on BKE that illustrates an ontologyenhanced machine learning tool. (shrink)

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book’s contributors are researchers active in the area of creative reasoning in science and technology.

Responsibility has become a central concept in AI ethics; however, little research has been conducted into practitioners’ personal understandings of responsibility in the context of AI, including how responsibility should be defined and who is responsible when something goes wrong. In this article, we present findings from a 2020–2021 data set of interviews with AI practitioners and tech workers at a single multinational technology company and interpret them through the lens of feminist political thought. We reimagine responsibility in the context (...) of AI development and deployment as the product of work cultures that enable tech workers to be responsive and answerable for their products over the long and short term. From our interviews, we identify three key pain points in understanding the distribution of responsibility between actors and developing responsible design and deployment practices: (1) unstable business ecosystems and AI lifecycles, which require an approach to responsibility that accounts for the dynamic nature of these systems; (2) the issue of incentivizing engineers to take responsibility for the mundane maintenance practices essential to the functioning of AI systems and (3) the need to overcome individual and structural barriers to taking ownership over AI products and their effects. From these findings, we make three recommendations based on feminist theory: (1) organisations should move from a static model of responsibility to a dynamic and ethically motivated response-ability; (2) companies need to revalue care and maintenance practices; and (3) firms must move away from individualistic ideas of responsibility towards fostering wider cultures of responsibility. (shrink)

Streaming media server is the core system of audio and video application in the Internet; it has a wide range of applications in music recommendation. As song libraries and users of music websites and APPs continue to increase, user interaction data are generated at an increasingly fast rate, making the shortcomings of the original offline recommendation system and the advantages of the real-time streaming recommendation system more and more obvious. This paper describes in detail the working methods and contents of (...) each stage of the real-time streaming music recommendation system, including requirement analysis, overall design, implementation of each module of the system, and system testing and analysis, from a practical scenario. Moreover, this paper analyzes the current research status and deficiencies in the field of music recommendation by analyzing the user interaction data of real music websites. From the actual requirements of the system, the functional and performance goals of the system are proposed to address these deficiencies, and then the functional structure, general architecture, and database model of the system are designed, and how to interact with the server side and the client side is investigated. For the implementation of data collection and statistics module, this paper adopts Flume and Kafka to collect user behavior data and uses Spark Streaming and Redis to count music popularity trends and support efficient query. The recommendation engine module in this paper is designed and optimized using Spark to implement incremental matrix decomposition on data streams, online collaborative topic model, and improved item-based collaborative filtering algorithm. In the system testing section, the functionality and performance of the system are tested, and the recommendation engine is tested with real datasets to show the discovered music themes and analyze the test results in detail. (shrink)

Safety-critical systems manufacturers have the duty of care, i.e., they should take correct steps while performing acts that could foreseeably harm others. Commonly, industry standards prescribe reasonable steps in their process requirements, which regulatory bodies trust. Manufacturers perform careful documentation of compliance with each requirement to show that they act under acceptable criteria. To facilitate this task, a safety-centered planning-time framework, called ACCEPT, has been proposed. Based on compliance-by-design, ACCEPT capabilities permit to design Compliance-aware Engineering Process Plans, (...) which are able to show the planning-time allocation of standard demands, i.e., if the elements set down by the standard requirements are present at given points in the engineering process plan. In this paper, we perform a case study to understand if the ACCEPT produced models could support the planning of space software engineering processes. Space software is safety and mission-critical, and it is often the result of industrial cooperation. Such cooperation is coordinated through compliance with relevant standards. In the European context, ECSS-E-ST-40C is the de-facto standard for space software production. The planning of processes in compliance with project-specific ECSS-E-ST-40C applicable requirements is mandatory during contractual agreements. Our analysis is based on qualitative criteria targeting the effort dictated by task demands required to create a CaEPP for software development with ACCEPT. Initial observations show that the effort required to model compliance and processes artifacts is significant. However, such an effort pays off in the long term since models are, to some extend, reusable and flexible. The coverage level of the models is also analyzed based on design decisions. In our opinion, such a level is adequate since it responds to the information needs required by the ECSS-E-ST-40C framework. (shrink)

China is located in the intersection area of two seismic zones. Due to this special geographical location, earthquake disasters occur frequently in China. Earthquake emergency rescue work is one of the key construction works of disaster prevention and mitigation in China. This paper mainly studies the earthquake disaster rescue model based on the complex adaptive system theory and establishes the earthquake disaster rescue model by analyzing the complex adaptive system theory and combining the earthquake rescue process. In (...) this paper, through the task allocation mechanism task, the disaster rescue task is divided into simple task and complex task, and the executive task subject is divided into single task subject and multitask subject. On the basis of considering the shortest emergency rescue time goal and the goal of maximizing the deployment utility of rescue team, the reasonable deployment of a rescue team is realized through a complex adaptive system, that is, the deployment utility of the rescue team is maximized. In this paper, the simulation experiment and comparison of the earthquake disaster rescue model based on the complex adaptive system theory are carried out. The experimental results show that the model used in this paper is better than the other two models in terms of algorithm convergence, rescue number, and overall score; in different scenarios, the relative survival probability of the model in this paper is 58.92%, 67.85%, and 77.46%, and the proportion of the wounded rescued is 66.31%, 76.45%, and 83.06%, which were higher than those of the other two models. The earthquake disaster rescue model based on the complex adaptive system theory proposed in this paper provides an effective theoretical basis and method system for postdisaster emergency rescue decision making and enhances and improves the emergency response ability to deal with large-scale geological disaster events. (shrink)