As an EU state, Lithuania has become an active member of the eEurope 2005 initiative, implementing the goals set forth in the strategic plan for the development of information society in Lithuania. Information technologies introduced into various areas of life open up new, more convenient opportunities to receive services and information. The modernization of state management becomes an integral factor for ensuring continuous social development. The objective of this paper is to study practical aspects of the application (...) of specialized knowledge in the investigation of crimes on electronic data and information systems security and to offer some recommendations for the investigation and prevention of such crimes. This article is the first of a two part study. In the next article, the authors intend to present aspects of prevention in crimes against electronic data and information systems security. The authors used statistical data, results of a survey of experts—investigators of crimes on electronic data and information system security, experts of information technology (IT) forensics. (shrink)

Technology acceptance by users has been extensively studied in recent years in various fields such as technologies for learning, e-commerce, and business technologies. This review focuses specifically on Human Resource Information Systems and its acceptance by users. Given their widespread use in organisations, HRIS acceptance has been researched but not synthesised in any way. This article aims to review the effectiveness of the classical TAM and UTAUT models commonly used for new technologies and to identify the variables added (...) to these models to better predict HRIS acceptance by employees. It also highlights the importance of the human-machine-organisation relationship to contribute to the understanding of HRIS acceptance in professional environments. This review confirms the effectiveness of the TAM and UTAUT models and proposes to develop them by variables reffering to technological characteristics, user satisfaction with the system, and organisational variables. The discussion focuses on the retroaction possibilities between the different Human-Machine-Organisation relation levels. (shrink)

IS research is to some extent driven by practitioner concerns. Both practitioners and.Information Systems research has been dominated by the Cartesian worldview of duality. This has had the effect of narrowing the range of research questions addressed and focusing mainstream research on the application of scientific research methods. Heidegger’s ontology gives us an alternative view of the reality of human life. His analysis of tools in use is of particular interest for IS research. His concept of equipment can (...) be directly applied to Information and Communications Technology by both practitioners and researchers. The paper outlines some of the implications of this step for IS researchers. (shrink)

A rough fuzzy set is the result of the approximation of a fuzzy set with respect to a crisp approximation space. It is a mathematical tool for the knowledge discovery in the fuzzy information systems. In this paper, we introduce the concepts of rough standard neutrosophic sets and standard neutrosophic information system, and give some results of the knowledge discovery on standard neutrosophic information system based on rough standard neutrosophic sets.

As business environments become more complex and reliant on information systems, the decisions made by managers affect a growing number of stakeholders. This paper proposes a framework based on the application of normative theories in business ethics to facilitate the evaluation of IS related ethical dilemmas and arrive at fair and consistent decisions. The framework is applied in the context of an information privacy dilemma to demonstrate the decision making process. The ethical dilemma is analyzed using each (...) one of the three normative theories—the stockholder theory, stakeholder theory, and social contract theory. The challenges associated with the application of these theories are also discussed. (shrink)

The article focuses on process management in public administration using the specific case study of the statutory city of Ostrava. Based on the selected part of the PAPRIS methodology, the process management is verified, and conclusions from the application of information system e-SMO are generalized. Ostrava is third the biggest city in Czech Republic with approximately 320 thousand citizen. Article describes experiences with SW implements, which are used for model of process in public administration. Particulary at local authority of (...) Ostrava town. Model of process is a basis for reengineering of process in state administration and preparation for implementation of big information systems. Mapping of process is providing implement and confirmation methodology to identify existing processes. Problem with its using consist in that, senior manager don’t informs, what organization is determination by processes. If are not described in given to organization current processes, or how would have had look new optimum processes, will not endeavour about reengineering successful. Procedural analysis namely offer tool and check methodology to identification current suit and it is possible him use either as instruction for reengineering function handling administrative and self-rule activities. Purpose of the article: The PAPRIS methodology was used when defining the objectives for implementation of the information system for public administration. This methodology has been elaborated by one of the authors and published in a very general scheme when solving many case studies,,. We assume that the PAPRIS is primarily a methodology with incorporated elements of procedural approach for project management in public administration information systems. The specific supporting process of communication between the client and the e-SMO system has been chosen for verification. The model of supporting communication process, created by ARIS tools, is crucial, and the structure of scripts is subsequently made. The aim of this article is to verify that the methodology is sufficient and appropriate to manage such a large project such, undoubtedly, is the e-SMO. Methodology/methods: Defined productive and non-productive processes with their defined process cuts represent a crucial category for the process structure of IS projects. This is fully accepted by the PAPRIS methodology. Process cuts are understood, in the logic modelling according to the PAPRIS methodology, as clearly defined logic directional cuts in three-dimensional space of all project processes. The process set is systemically categorized, in a given logic directional cut, into mutually disjoint process subsets, which are characterized by this particular directional operator. The directional operator always has a clear logical allocation that is based on the construction of a process view. Theoretically, an infinite number of process views can be used. One of the important issues in a methodology for the case studies includes the size of the research sample. It is usually assumed that there is no ideal number of cases and that the number between four and ten usually provides good results. Other authors defining against any quantitative standards for any determination of the sample size of the case studies, since such an approach denies the internal logic of this methodology and the richness of the information obtained from participants in the research. Research which is carried out using case studies does not aspire on compliance with the requirement the representativeness of the sample.. Methodology of case studies is among the established guidelines of qualitative research. Research on using case studies in the last 30 years has seen an extraordinary increase in social-scientific research, including research on business and management. Scientific aim: The essential aim of this study is to describe the way the process cut defines a productive process and non-productive process, in accordance with the PAPRIS methodology using the specific example. While the triggering mechanism of the project production process is an event causing its own production - i.e. the specific output with added value for the customer, the project of non-productive process is caused by the project management event. Therefore, it is caused by the need to control, monitor, track, inspect, evaluate outputs, decide and regulate the project implementation. Findings: Within the support of the communication process, two examples were used to verify the methodology. The global perspective on the process was created in ARIS tools and the communication between the call centre and the client was made in Visio tools. The PAPRIS methodology is based on the concept of process variability, which has been clearly formulated. The fundamental direction of the process development, anticipated changes and the opportunity to react to them in accordance with defined objectives of the PAIS project are guaranteed. (shrink)

Designed to be a high-level, approachable resource for engineers who need further insight into spatial temporal information systems from an ontological perspective, Spatial Temporal Information Systems: An Ontological Approach using STK® explains the dynamics of objects interaction from signal analysis to trajectory design, spatial modeling, and other spatial analytics by using STK®, which is a general-purpose modeling and analysis application for any type of space, defense, or intelligence system. Building a foundation to begin the study of (...) spatial temporal information systems, the book details a form of analysis that is a powerful tool for modeling, engineering, and operations of space, cyberspace, satellites, missile defense, and electronic systems. It discusses the many applications of space technologies by using a mission-proven software for timely and cost-effective development that serves public interests in civil, commercial, academic, national, and international space communities. Written for readers with a background in physics or engineering, the book is also designed for the beginning analyst sitting behind a desk who needs more information on STK. Upon reading this book, STK new users and power users will not only understand what the tools are, but also how the software can be used to make their job easier. In addition, satellite operators and analysts benefit from the ability to utilize a variety of propagators satellite applications. Analytics, semi-analytic and numerical integrators are discussed, including Keplerian orbital elements and full numerical integration of STK’s High Precision Orbit Propagation or simplified as a two-body analysis. This tool, as well as this book, will bring breadth and depth to the understanding of systems dynamics and the ontology of objects in relationship to other objects and vehicles including central bodies. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, (...) or even in two terminological traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

Formal Ontology in Information Systems is the flagship conference of the International Association for Ontology and its Applications. Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.As in previous years, FOIS 2014 was a nexus of (...) interdisciplinary research and communication. The current proceedings is divided into four main sections, dealing with: foundations; processes, agency and dispositions; methods and tools; and applications. The last of these covers a broad spectrum of areas, including in particular biology and medicine, engineering, and economy. For the first time in its history, the conference hosted a special track: an ontology competition, the aim of which was to encourage authors to make their ontologies publicly available and to allow them to be evaluated according to a set of predetermined criteria. Papers discussing these ontologies can also be found in this volume.The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from (...) 18 to 20 September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (shrink)

In recent years, the design and production of information systems have seen significant growth. However, these information artefacts often exhibit characteristics that compromise their reliability. This issue appears to stem from the neglect or underestimation of certain crucial aspects in the application of Information Systems Design (ISD). For example, it is frequently difficult to prove when one of these products does not work properly or works incorrectly (falsifiability), their usage is often left to subjective experience (...) and somewhat arbitrary choices (anecdotes), and their functions are often obscure for users as well as designers (explainability). In this paper, we propose an approach that can be used to support the analysis and re-(design) of information systems grounded on a well-known theory of information, namely, teleosemantics. This approach emphasizes the importance of grounding the design and validation process on dependencies between four core components: the producer (or designer), the produced (or used) information system, the consumer (or user), and the design (or use) purpose. We analyze the ambiguities and problems of considering these components separately. We then present some possible ways in which they can be combined through the teleological approach. Also, we debate guidelines to prevent ISD from failing to address critical issues. Finally, we discuss perspectives on applications over real existing information technologies and some implications for explainable AI and ISD. (shrink)

This insight to art came from chess composition concentrating art in a very dense form. To identify and mathematically assess the uniqueness is the key applicable to other areas eg. computer programming. Maximization of uniqueness is minimization of entropy that coincides as well as goes beyond Information Theory (Shannon, 1948). The reusage of logic as a universal principle to minimize entropy, requires simplified architecture and abstraction. Any structures (e.g. plugins) duplicating or dividing functionality increase entropy and so unreliability (eg. (...) British Airways IT system). The ideas here were verified by my chess compositions, art works and complex information system as an author of each co uk, and were presented at conferences in Santorini, Adelaide, Geneva, Daejon and virtually. (shrink)

Despite the fact that information systems ontologies [ISOs] support the mutual understanding between human beings and software applications, human beings and software applications do not understand ISOs' contents in the same way. The same applies to ontological integration. This paper attempts to account for such discrepancies by emphasizing that while human being can have access to entities represented in ISOs, software applications cannot.

Although many information system ontologies (ISOs) claim to be parsimonious, the notion of parsimony seems to influence the debate on ISOs only at the level of vague and uncritical assumption. To challenge this trend, the paper aims to clarify what it means for ISOs to be parsimonious. Specifically, section 2 shows that parsimony in computer science generally concerns software design and, together with elegance, is one of the two aspects of the broader notion of simplicity. Section 3 transforms the (...) main claims of parsimony in software design into claims about the content of ISOs, the combination of which is hereafter called “parsimony of content”—where “content” refers only to the content of ISOs. Sections 4-7 discuss the application of this parsimony to the design of ISOs, and outline different kinds (and combinations) of parsimony of content. Finally, section 8 considers whether parsimony of content could provide some criteria both for selecting and/or classifying the contents of ISOs and for choosing between different and equally consistent ISOs. (shrink)

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages (...) used to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)

PurposeThe purpose of this paper is to explicate the influence of US national security approach on the Thai Government's national security, the criticisms on the US and Thai intelligence communities and ethical debates on national databases, including the introduction of the concepts of “spiritual computing” and Buddhism to the ethical aspect of intelligence databases.Design/methodology/approachThe methodology of this paper is based on the interpretative approach which includes literature survey and interviews of the intelligence community in Thailand. The relevant literature survey consists (...) of the literature on US intelligence databases for Homeland Security, criticisms of the IC, the ethical debate on national databases in the USA, the Thai National Security Council, ethical debates on the Internal Security Act and Computer Crime Act, Buddhism and “spiritual computing.”FindingsThe findings reflect that the US model of national security has significant influence on the Thai intelligence approach and application of IT for national security while both intelligence communities have similar intelligence problems and have raised ethical debates on violations of human rights.Research limitations/implicationsThe research limitations include the nature of the topic which is a closed subject under legal restrictions in Thailand so that the sources of official information could not be disclosed nor elaborated in details; and literature on this topic has not been widely available except unclassified information which limits a more in‐depth investigation and analysis.Originality/valueThe value of this paper lies in being the first attempt to throw light on a “forbidden” subject in Thailand by discussing the US experiences against the Thai case study. The application of “spiritual computing” and Buddhist precepts to the context of national security and intelligence databases could be a starting point for developing a “happier” and “successful” IC and possibly open a new approach to national security. (shrink)

In light of growing concerns in the public and recent mandates from business program accrediting bodies and curricular task forces, the importance of teaching ethical topics in information systems programs is discussed. Innovative strategies used for teaching the application of ethical criteria to common situations are reviewed. Results of a survey of information systems faculty members in the US are presented and are compared to previous studies that related primarily to computer science and software engineering programs. (...) Insight is provided into the topics, techniques, degree of coverage, and assessment techniques currently used when teaching ethics in computing-related programs. Key concerns and future work is also outlined. (shrink)

Under the background of global cross-border mobile commerce integration, the importance of cross-border payment research is becoming increasingly prominent and urgent. The important value of this study is to empirically research the influence power of key elements in using two different mobile payment platforms in Korea. The extended unified theory of acceptance and use of technology has been widely applied in various studies because of its strong interpretive power. In Korea, there are a few empirical studies on Chinese users. Based (...) on a survey of 908 Chinese participants in Korea, this study is one application extending UTAUT2 by incorporating multi-group and multi-model constructs: UTAUT2, information system success model, and an initial trust model, considering a multi-group analysis with some mediating variables. By comparing the two different payment platforms’ characters, this manuscript provides a set of targeted measures to ensure Chinese WeChat Payment platform decision-makers create effective long-term strategic policies for cross-border m-payments in Korea, and eventually, benefit cross-border m-commerce and economic cooperation in Southeast Asia. (shrink)

When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare (...) must be aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability. (shrink)

Knowledge reduction of information systems is one of the most important parts of rough set theory in real-world applications. Based on the connections between the rough set theory and the theory of topology, a kind of topological reduction of incomplete information systems is discussed. In this study, the topological reduction of incomplete information systems is characterized by belief and plausibility functions from evidence theory. First, we present that a topological space induced by a (...) pair of approximation operators in an incomplete information system is pseudo-discrete, which deduces a partition. Then, the topological reduction is characterized by the belief and plausibility function values of the sets in the partition. A topological reduction algorithm for computing the topological reducts in incomplete information systems is also proposed based on evidence theory, and its efficiency is examined by an example. Moreover, relationships among the concepts of topological reduct, classical reduct, belief reduct, and plausibility reduct of an incomplete information system are presented. (shrink)

Management of modern economic systems in the context of increasing influence of different types of risks requires significant improvement. Among such systems are logistics systems, which play an important role in the optimization of economic processes and require the use of information technology, which will facilitate faster and more accurate management decisions making. The purpose of scientific work is to develop a new approach to risk management of logistics systems, which will allow to plan more (...) effectively, evaluate and control logistics processes by using information technology. To ensure more flexible risk management, it is possible to change the parameters and configuration of the recommended model in accordance with the conditions of its formation. (shrink)

The purpose of this study is to understand the trust formation expectations of stakeholders in the implementation of information and communications technology for development (ICT4D) projects.,This paper uses a qualitative methodology inspired by a critical approach. It uses a thematic analysis approach, and draws the results using a constant comparison method. It is guided by the Pierre Bourdieu’s theory of practices. This is an empirical study that uses semi-structured interviews for the data collection.,Lack of an integrated view of emancipatory (...) expectations has a negative impact on the trust levels of stakeholders. An integrated view of emancipation has physical, moral and social dimensions.,The study brings forth the concept of entry point activities (EPAs). To the author’s knowledge, this is the first application of this concept in ICT4D research. EPAs can be used to develop trust relationships between the stakeholders of ICT4D projects. (shrink)

In this paper, the optimization of the enterprise HR information system is studied based on IoT first-off technology, the system demand phase is analysed, and the edge control system is designed and built. The hardware and software system and edge node management platform are implemented first, and then the communication scenarios between the edge layer of the system and the sensing layer, the edge layer, and the cloud layer are analysed, and the business type-driven link selection algorithm and the (...) northbound multilink switching algorithm are designed and implemented, respectively, to guarantee the communication reliability between different layers of the system. Based on the implementation of the above functions, the edge control system can meet the intelligence, expandability, and security requirements of IoT applications. An in-depth investigation and research are launched mainly on the enterprise demand to determine the functional requirements and performance requirements of the enterprise and to achieve the basic logical structure; in the system design phase, the system architecture and other aspects of the design are realized. According to the conditions of the system function structure, a number of system module functions are designed in detail. The system is composed of the following modules, namely, personnel change management, organization management, and salary and benefits management. The system consists of the following modules, namely, personnel change management, organization management, compensation and benefits management, and personnel information management. The system modules run through the process of human resource management; in the system implementation stage, the system coding and page operation are realized based on the development tools and software development techniques. The system finally achieves the system design objectives and is put on a trial operation to meet its actual business requirements. (shrink)

With its emphasis on analytical dualism and its detailed account of the concepts and methods necessary for its application, Margaret Archer's morphogenetic approach seems to provide significant potential for empirical research. Over a decade after its publication, however, the potential of the approach remains largely unrealised. This paper seeks to begin to address this situation by reporting on and assessing the application of the morphogenetic approach to a longitudinal case study of information systems development and organisational change in (...) British local government. This assessment confirms Archer's claims for the approach's value as an instrument for the production of non-conflationary practical social theory. In addition, certain features of the methodology moved the analysis of IS and organisational change beyond that of more mainstream approaches used for this type of research. However, a range of issues are identified which demonstrate that the complexity and resulting resource intensity of the approach may well work against its more widespread adoption for empirical research. (shrink)

Service geography is one of the branches of applied geography that has emerged as an applied intellectual interest to engage with the immediate direct needs of both urban and rural communities. The importance of studying services is due to their connection to economic planning, so geographical interest in them increases, as applied geography is based on a specific approach and philosophy of relevance or social benefit that focuses on the application of geographical knowledge and skills. To come up with solutions (...) to real-world social, economic and environmental problems. The study focused on the use of geographic information systems in analyzing the geographic calendar of rental offices in the city of Abha, relying on the most important applied aspects of geographic information systems represented in spatial analysis. To reveal the characteristics of the spatial distribution of rental offices and their distribution pattern, and to evaluate the efficiency of their distribution according to the local standard. The study came out with a number of results and recommendations, and also verified the hypotheses assumed by the researchers. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots$$ affirms the falsity of $$\ldots$$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all (...) the sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

Socio-cultural reality of the present time is marked by quite significant events. First, the active penetration into society of the latest information and communication technologies, which arose as a result of the rapid development of electronics. And secondly, the formation and spread of a special type of worldview under the general name of "postmodernism". It is the need for a philosophical understanding of these two events and determined the main idea of this article. The article also shows the role (...) of information technology in the transformation of the cultural reality of postmodernism. Also the main directions of application of information systems and innovative technologies in the field of education and science in general, and at studying of disciplines of a natural cycle in particular are covered. Peculiarities of studying natural sciences by students are revealed, didactic potential of ICT and its realization in the process of studying natural disciplines is considered, methodical analysis of the problem of application of information technologies in natural education is carried out. The principle of integration, multimedia clarity, interactive interaction of participants of educational process at application of new information technologies at studying of natural disciplines is allocated. It is determined that ICT in the teaching of natural sciences can intensify the educational process, accelerate the transfer of knowledge and experience, as well as improve the quality of teaching and education. (shrink)

(See also the separate entry for the volume itself.) This introduction has three parts. The first providing an overview of some main lines of research in deontic logic: the emergence of SDL, Chisholm's paradox and the development of dyadic deontic logics, various other puzzles/challenges and areas of development, along with philosophical applications. The second part focus on some actual and potential fruitful interactions between deontic logic, computer science and artificial intelligence. These include applications of deontic logic to AI (...) knowledge representation in legal systems, to modelling computer systems where it is expected that sub-ideal states will emerge and require countermeasures, to norm-governed human interactions with computer systems, and to the representation of some features of multi-agent systems where different agent-like computer systems interact with one another. The third and final part briefly groups and previews the papers in the anthology. (shrink)

We extend the comparatively simple processes of group symmetry-breaking in physical systems to groupoid/equivalence class phase transitions characterizing adiabatically, piecewise stationary, information transmission in prebiotic, biological, and social phenomena: High vs. Low probability paths $$\rightarrow$$ Interior and Exterior Interact $$\rightarrow$$ Multiple Interacting Tunable Workspaces Application to nonstationary processes seems possible via generalizations of the symmetry algebra, for example, to semigroupoids. The dynamic probability models explored here can be transformed into statistical tools for the analysis of real-time and other (...) data across a spectrum of important disciplines confronted by biological and other forms of cognition and their dysfunctions. (shrink)

Nowadays, the modern management is promoted to resolve the issue of unreliable information transmission and to provide work efficiency. The basic aim of the modern management is to be more effective in the role of the school to train talents and serve the society. This article focuses on the application of data mining (DM) in the development of information management system (IMS) in universities and colleges. DM provides powerful approaches for a variety of educational areas. Due to the (...) large amount of student information that can be used to design valuable patterns relevant to student learning behavior, research in the field of education is continuously expanding. Educational data mining can be used by educational institutions to assess student performance, assisting the institution in recognizing the student’s accomplishments. In DM, classification is a well-known technique that has been regularly used to determine student achievement. In this study, the process of DM and the application research of association rules is introduced in the development of IMS in universities and colleges. The results show that the curriculum covers the whole field and the minimum transaction support count be 2, minconf = 70%. The results also suggested that students who choose one course also tend to choose the other course. The application of DM theory in university information will greatly upsurge the data analysis capability of administrators and improve the management level. (shrink)

BackgroundData processing of health research databases often requires a Data Protection Impact Assessment to evaluate the severity of the risk and the appropriateness of measures taken to comply with the European Union General Data Protection Regulation. We aimed to define and apply a comprehensive method for the evaluation of privacy, data governance and ethics among research networks involved in the EU Project Bridge Health.MethodsComputerised survey among associated partners of main EU Consortia, using a targeted instrument designed by the principal investigator (...) and progressively refined in collaboration with an international advisory panel. Descriptive measures using the percentage of adoption of privacy, data governance and ethical principles as main endpoints were used for the analysis and interpretation of the results.ResultsA total of 15 centres provided relevant information on the processing of sensitive data from 10 European countries. Major areas of concern were noted for: data linkage, access and accuracy of personal data and anonymisation procedures. A high variability was noted in the application of privacy principles.ConclusionsA comprehensive methodology of Privacy and Ethics Impact and Performance Assessment was successfully applied at international level. The method can help implementing the GDPR and expanding the scope of Data Protection Impact Assessment, so that the public benefit of the secondary use of health data could be well balanced with the respect of personal privacy. (shrink)

We discuss foundational issues of quantum information biology —one of the most successful applications of the quantum formalism outside of physics. QIB provides a multi-scale model of information processing in bio-systems: from proteins and cells to cognitive and social systems. This theory has to be sharply distinguished from “traditional quantum biophysics”. The latter is about quantum bio-physical processes, e.g., in cells or brains. QIB models the dynamics of information states of bio-systems. We argue (...) that the information interpretation of quantum mechanics is the most natural interpretation of QIB. Biologically QIB is based on two principles: adaptivity; openness. These principles are mathematically represented in the framework of a novel formalism— quantum adaptive dynamics which, in particular, contains the standard theory of open quantum systems. (shrink)

Dutch municipalities are confronted with an increased number of prescribed environmental tasks and also with a growing demand, both from the central government and environmental pressure groups, to undertake environmental activities on their own initiative. This development over-taxed the information management of most municipalities. In the past few years, computer technology was introduced to relieve part of this pressure (e.g., by automation of registration systems). In this article we present a classification of computer applications for environmental management, (...) investigate their possible impact on the environmental knowledge and information system, and distinguish between a formal and informal knowledge domain. Special attention will be paid to expert systems. (shrink)

Development of decision-support and intelligent agent systems necessitates mathematical descriptions of uncertainty and fuzziness in order to model vagueness. This paper seeks to present an outline of Peirce’s triadic logic as a practical new way to model vagueness in the context of artificial intelligence. Charles Sanders Peirce was an American scientist–philosopher and a great logician whose triadic logic is a culmination of the study of semiotics and the mathematical study of anti-Cantorean model of continuity and infinitesimals. After presenting Peircean (...) semiotics within AI perspective, a mathematical formulation of a Peircean triadic set is given in relationship with classical and fuzzy sets. Using basic logical operators, all possible respective implication operators, bi-equivalence operators, valid rules of inference, and associative, distributive and commutative logical properties are derived and verified through the truth function approach. In order to suggest practical directions, aggregation operators for Peirce’s triadic logic have been formulated. A mathematical formulation of a medical diagnostic problem and ER diagram of a library management system using Peirce’s triadic relation show potential for further applications of the proposed triadic set and triadic logic. Alongside, a classical AI game—The Wumpus World—is implemented to show practical efficacy in comparison with binary implementation. Besides giving some preliminary formulations for trichotomous set theory and definition of finite automaton, development of hybrid architectures for intelligent agents and evolutionary computations are discussed as potential practical avenues for Peirce’s triadic logic. (shrink)

Although formal system verification has been around for many years, little attention was given to the case where the specification of the system has to be changed. This may occur due to a failure in capturing the clients’ requirements or due to some change in the domain (think for example of banking systems that have to adapt to different taxes being imposed). We are interested in having methods not only to verify properties, but also to suggest how the system (...) model should be changed so that a property would be satisfied. For this purpose, we will use techniques from the area of Belief Revision, that deals with the problem of changing a knowledge base in view of new information. In the last thirty years, several authors have contributed with change operations and ways of characterizing them. However, most of the work concentrates on knowledge bases represented using classical propositional logic. In the last decade, there have been efforts to apply belief revision theory to description and modal logics. In this work, we analyze what is needed for a theory of belief revision which can be applied to the temporal logic, such as the Computation Tree Logic (CTL). In particular, we illustrate different alternatives for formalizing the concept of revision of CTL. Our interest in this particular logic comes both from practical issues, since it is used for software specification, as from theoretical issues, as it is a non-compact logic and most existing results rely on compactness. We focus here on the revision of CTL models and present a characterization result for the revision of partial models. (shrink)

There is contrast to the belief that all energy and matter came into existence after the Big Bang. If we wish to understand the way the Greeks and other philosophers view our environment, we need to study the data that was collected by them. This book sees our portrayal of reality as having its departure point in concrete systems by which means of conceptual systems result in abstracted systems. This data must be sorted and information must (...) now be surveyed, structured, and analysed to find qualities and connections between the different aspects systems thinking. This has led to the theory for 'Living Systems'. It gives examples of applications which a basis for further studies of systems can be formed. The Internet now provides a major advantage to the retrieval of statistical information and opens a means for the future exploration and verification of how systems work. (shrink)

Although algorithmic information theory provides a measure of the information content of string of characters, problems of noise and noncomputability emerge. However, if pattern in a noisy string is recognized by reference to a set of similar strings, this article shows that a compressed algorithmic description of a noisy string is possible and illustrates this with some simple examples. The article also shows that algorithmic information theory can quantify the information in complex organized systems where (...) pattern is nested within pattern. (shrink)

Recently, the pandemic caused by COVID-19 is severe in the entire world. The prevention and control of crimes associated with COVID-19 are critical for controlling the pandemic. Therefore, to provide efficient and convenient intelligent legal knowledge services during the pandemic, we develop an intelligent system for legal information retrieval on the WeChat platform in this paper. The data source we used for training our system is “The typical cases of national procuratorial authorities handling crimes against the prevention and control (...) of the new coronary pneumonia pandemic following the law”, which is published online by the Supreme People’s Procuratorate of the People’s Republic of China. We base our system on convolutional neural network and use the semantic matching mechanism to capture inter-sentence relationship information and make a prediction. Moreover, we introduce an auxiliary learning process to help the network better distinguish the relation between two sentences. Finally, the system uses the trained model to identify the information entered by a user and responds to the user with a reference case similar to the query case and gives the reference legal gist applicable to the query case. (shrink)

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers and (...) describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)

Function refers to a broad family of concepts of varying abstractness and range of application, from a many-one mathematical relation of great generality to, for example, highly specialized roles of designed elements in complex machines such as degaussing in a television set, or contributory processes to control mechanisms in complex metabolic pathways, such as the inhibitory function of the appropriate part of the lac-operon on the production of lactase through its action on the genome in the absence of lactose. We (...) would like a language broad enough, neutral enough, but yet powerful enough to cover all such cases, and at the same time to give a framework form explanation both of the family resemblances and differences. General logic and mathematics are too abstract, but more importantly, too broad, whereas other discourses of function, such as the biological and teleological contexts, are too narrow. Information is especially suited since it is mathematically grounded, but also has a wellknown physical interpretation through the Schr dinger/Brillouin Negentropy Principle of Information, and an engineering or design interpretation through Shannon's communication theory. My main focus will be on the functions of autonomous anticipatory systems, but I will try to demonstrate both the connections between this notion of function and the others, especially to dynamical systems with a physical interpretation on the one side and intentional systems on the other. The former are based in concepts like force, energy and work, while the latter involve notions like representation, control and purpose, traditionally, at least in Modern times, on opposite sides of the Cartesian divide. In principle, information can be reduced to energy, but it has the advantage of being more flexible, and easier to apply to higher level phenomena. (shrink)

With the continuous development of society, the role of the visual guidance system in animation design has also evolved and evolved in its long history, leading to the changes in the values of modern beauty. In the field of modern social and cultural design, the visual guidance system in animation design has unique regional nature and cultural influence. The visual language should correspond to the visual environment and easy to understand and be known by people. It combines animation conception and (...) design technology to capture the cultural charm and beauty, values, and behavioral norms of people in different fields. This article studies and analyzes the visual orientation of graphic language in the design of animation visual guidance system, and injects the graphic language with orientation into its animation design, so that the animation design is more in line with the characteristics of the times. It can be more adapted to the emerging media and better convey the information transfer between the enterprise and the audience. To further understand the audience’s tendency toward elements of graphic expression, this article analyzes the subjective perceptions of the respondents on the importance of color selection, calligraphy fonts, graphic expression, and modeling meaning. The results of the study showed that the respondents aged 21–35 paid more attention to the choice of graphic colors, and the highest number was 69. (shrink)

We define a Kripke semantics for a conditional logic based on the propositional logic $$\textsf{N4}$$ N 4, the paraconsistent variant of Nelson’s logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, which we call $$\textsf{N4CK}$$ N 4 CK, shows strong connections both with the basic intuitionistic logic of conditionals $$\textsf{IntCK}$$ IntCK introduced earlier in (Olkhovikov, 2023) and with the $$\textsf{N4}$$ N 4 -based modal logic $$\textsf{FSK}^d$$ FSK d introduced in (Odintsov and Wansing, 2004) (...) as one of the possible counterparts to the classical modal system $$\textsf{K}$$ K. We map these connections by looking into the embeddings which obtain between the aforementioned systems. (shrink)

Factory floors throughout the global economy are rapidly transforming themselves into potentially fertile laboratories for research in the cognitive sciences. The information revolution has challenged our understanding of perception and cognition. Innovations in information technologies have also provided us with new methods and environments for the study of cognition. On the business and economic front, information technology is supporting the development of new corporate information systems-Enterprise Systems-that will revolutionize the decision-making, reporting and reward environments (...) in corporations. These systems are pervasive and transforming. At all levels, employees will be presented with potentially unlimited amounts of accurate, real-time information and will be expected to use that information effectively. The possibilities for research, especially for modeling the learning and decision-making processes, are unparalleled. Research conducted in these environments offers extraordinary opportunities to address research questions formerly requiring limited synthetic environmental situations. Data collected in firms as they deploy enterprise information systems can be more extensive and accurate and more easily quantified than data from traditional synthetic experiments. Research programs in these settings can also address more complex problems of human interaction and collaborativity. This article describes the aspects of enterprise systems that will be of greates interest to cognitive scientists. It also outlines the nature of potential collaboration between economists and cognitive scientists and offers a list of outstanding questions for systems design and development. (shrink)

We describe the foundations and the systematization of natural logic-like monotonic inference using unscoped episodic logical forms (ULFs) that as reported by Kim et al. (Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA), Groningen, 2021a, b) introduced and first evaluated. In addition to providing a more detailed explanation of the theory and system, we present results from extending the inference manager to address a few of the limitations that as reported by Kim et al. (...) (Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA), Groningen, 2021b) naive system has. Namely, we add mechanisms to incorporate lexical information from the hypothesis (or goal) sentence, enable the inference manager to consider multiple possible scopings for a single sentence, and match against the goal using English rather than the ULF. (shrink)

The paper sets out the challenges facing the Police in respect of the detection and prevention of the volume crime of burglary. A discussion of data mining and decision support technologies that have the potential to address these issues is undertaken and illustrated with reference the authors’ work with three Police Services. The focus is upon the use of “soft” forensic evidence which refers to modus operandi and the temporal and geographical features of the crime, rather than “hard” evidence such (...) as DNA or fingerprint evidence. Three objectives underpin this paper. First, given the continuing expansion of forensic computing and its role in the emergent discipline of Crime Science, it is timely to present a review of existing methodologies and research. Second, it is important to extract some practical lessons concerning the application of computer science within this forensic domain. Finally, from the lessons to date, a set of conclusions will be advanced, including the need for multidisciplinary input to guide further developments in the design of such systems. The objectives are achieved by first considering the task performed by the intended systems users. The discussion proceeds by identifying the portions of these tasks for which automation would be both beneficial and feasible. The knowledge discovery from databases process is then described, starting with an examination of the data that police collect and the reasons for storing it. The discussion progresses to the development of crime matching and predictive knowledge which are operationalised in decision support software. The paper concludes by arguing that computer science technologies which can support criminal investigations are wide ranging and include geographical information systems displays, clustering and link analysis algorithms and the more complex use of data mining technology for profiling crimes or offenders and matching and predicting crimes. We also argue that knowledge from disciplines such as forensic psychology, criminology and statistics are essential to the efficient design of operationally valid systems. (shrink)

Introduction into the structure, contents and specifications of the Information Coding Classification, developed in the seventies and used in many ways by the author and a few others following its publication in 1982. Its theoretical basis is explained consisting in the Integrative Level Theory, following an evolutionary approach of ontical areas, and integrating also on each level the aspects contained in the sequence of the levels, the distinction between categories of form and categories of being, the application of a (...) feature of Systems Theory and the inclusion of a concept theory, distinguishing four kinds of relationships, originated by the kinds of characteristics. Its special Subject Groups on each of its nine levels are outlined and the combinatory facilities at certain positions of the Systematifier are shown. Further elaboration and use have been suggested, be it only as a switching language between the six existing universal classification systems at present in use internationally. (shrink)