Expert systems provide new languages and a new methodology for automating knowledge-intensive processes. Whilst the benefits expected are ubiquitously stated, probable negative impacts are seldom admitted by the dominant actors in the field. We deal with probable problematic impacts on employment as well as contents and structure of work both in production and the service and administration areas and make some suggestions concerning measures to be taken to account for these impacts assuming no radical change as to the prevailing (...) ideology of working organization. (shrink)

On the example of the online game Akinator, the basic principles on which programs of this type are built are considered. Effective technics have been proposed by which artificial intelligence systems can build logical inferences that allow to identify an unknown subject from its description. To confirm the considered hypotheses, the terminological analysis of definition of the program "Akinator" offered by the author is carried out. Starting from the assumptions given by the author's definition, the article complements their definitions presented (...) by other researchers and analyzes their constituent theses. Finally, some proposals are made for the next steps in improving the program. The Akinator program, at one time, became one of the most famous online games using artificial intelligence. And although this was not directly stated, it was clear to the experts in the field of artificial intelligence that the program uses the techniques of expert systems and is built on inference rules. At the moment, expert systems have lost their positions in comparison with the direction of neural networks in the field of artificial intelligence, however, in the case considered in the article, we are talking about techniques using both directions – hybrid systems. Games for filling semantics interact with the user, expanding their semantic base and use certain strategies to achieve the best result. The playful form of such semantics filling programs is beneficial for researchers by involving a large number of players. The article examines the techniques used by the Akinator program, and also suggests possible modifications to it in the future. This study, first of all, focuses on how the knowledge base of the Akinator program is built, it consists of incomplete sets, which can be filled and adjusted as a result of further iterations of the program launches. It is important to note our assumption that the order of questions used by the program during the game plays a key role, because it determines its strategy. It was identified that the program is guided by the principles of nonmonotonic logic – the assumptions constructed by the program are not final and can be rejected by it during the game. The three main approaches to acquisite semantics proposed by Jakub Šimko and Mária Bieliková are considered, namely, expert work, crowdsourcing and machine learning. Paying attention to machine learning, the Akinator program using machine learning to build an effective strategy in the game presents a class of hybrid systems that combine the principles of two main areas in artificial intelligence programs – expert systems and neural networks. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems (...) implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

The truth of every human being is the end his life with death, and this leads to leaving assets and funds for those after him and can lead to hate between the heirs, it has made a point of Islamic law on all aspects of life, including the subject of the inheritance of the deceased. The main problem is how to get the knowledge of the basics of inheritance. This paper reviews work done in the use of expert (...) class='Hi'>system software to calculate inheritance in Islam. A proposed expert system was designed and developed using CLIPS language to calculate the inheritance in Islam. (shrink)

Background: Arthritis is very common but is not well understood. Actually, “arthritis” is not a single disease; it is an informal way of referring to joint pain or joint disease. There are more than 100 different types of arthritis and related conditions. People of all ages, sexes and races can and do have arthritis, and it is the leading cause of disability in America. More than 50 million adults and 300,000 children have some type of arthritis. It is most common (...) among women and occurs more frequently as people get older. Common arthritis joint symptoms include swelling, pain, stiffness and decreased range of motion. Symptoms may come and go. They can be mild, moderate or severe. They may stay about the same for years, but may progress or get worse over time. Severe arthritis can result in chronic pain, inability to do daily activities and make it difficult to walk or climb stairs. Arthritis can cause permanent joint changes. These changes may be visible, such as knobby finger joints, but often the damage can only be seen on X-ray. Some types of arthritis also affect the heart, eyes, lungs, kidneys and skin as well as the joints. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment and give the appropriate method of treatment through several tips that concern the disease and how to treat it and we will see it through the application on the expert system. Methods: in this paper the design of the proposed Expert System which was produced to help Orthopedist in diagnosing Arthritis disease through its symptoms such as: pain on pressure in a joint , Inflammation indicated by joint swelling, Stiffness especially in the morning , Loss of flexibility of joint, Limited, joint movement, Deformity of the joints , Weight loss and fatigue , Non-specific fever and Crepitus. The proposed expert system presents an overview about Arthritis disease is given, the cause of diseases is outlined and the treatment of disease whenever possible is given out. SL5 Object Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Arthritis disease diagnosis expert system was evaluated by Orthopedics students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for Orthopedist, patients with arthritis and newly graduated Orthopedics students. (shrink)

Background: Depression (major depressive disorder) is a common and serious medical illness that negatively affects how you feel, the way you think and how you act. Fortunately, it is also treatable. Depression causes feelings of sadness and/or a loss of interest in activities once enjoyed. It can lead to a variety of emotional and physical problems and can decrease a person’s ability to function at work and at home. Depression affects an estimated one in 15 adults (6.7%) in any given (...) year. And one in six people (16.6%) will experience depression at some time in their life. Depression can strike at any time, but on average, first appears during the late teens to mid-20s. Women are more likely than men to experience depression. Some studies show that one-third of women will experience a major depressive episode in their lifetime. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment and give the appropriate method of treatment through several tips that concern the disease and how to treat it and we will see it through the application on the expert system. Methods: in this paper the design of the proposed Expert System which was produced to help Psychologist in diagnosing depression disease through its symptoms such as: a loss of energy, a change in appetite, sleeping more or less, anxiety, reduced concentration, indecisiveness, restlessness, feelings of worthlessness, guilt or hopelessness and thoughts of self-harm or suicide. The proposed expert system presents an overview about depression disease is given, the cause of diseases is outlined and the treatment of disease whenever possible is given out. SL5 Object Expert System language was used for designing and implementing the proposed expert system. Results: The proposed depression disease diagnosis expert system was evaluated by psychologist students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for psychologist, patients with depression and newly graduated psychologist. (shrink)

This is the first publication on complete and stand alone arithmetization of bivalent logic.

By studying several cases of expert systems' use, a variety of difficulties were identified as directly depending on specific characteristics of experts and their tasks. This concerns more than the questions: “May experts be replaced by machines?” or “Is experts' knowledge explicable?”. The organisational structure of their work as well as the cyclic, non-plannable way of their task performing have further relevance. The paper introduces the concept of experts' systems to deal with diversities of their expertise and complexities of (...) their work. It draws a distinction between non-monotonic problem solving, exploration, medium and modification, and argues that these modes are not reducible to yet another improved input/output strategy or dialogue style but introduce additional functions supporting the human-computer interaction according to experts' needs. In the first few sections, the paper covers the theoretical and empirical results of our research, whereas Section 4 introduces our design suggestions for experts' systems. (shrink)

Often, knowledge engineers become so involved in the development process of the expert system that they fail to look further down the road toward the expert system's institutionalization within the organization. Institutionalization is an important component of the expert system planning process. More specifically, the legal issues associated with expert systems development and deployment are critical institutionalization factors. This paper looks at some expert system institutionalization guidelines, and then focuses on legal (...) considerations. (shrink)

In attempting to build intelligent litigation support tools, we have moved beyond first generation, production rule legal expert systems. Our work integrates rule based and case based reasoning with intelligent information retrieval.When using the case based reasoning methodology, or in our case the specialisation of case based retrieval, we need to be aware of how to retrieve relevant experience. Our research, in the legal domain, specifies an approach to the retrieval problem which relies heavily on an extended object oriented/rule (...) based system architecture that is supplemented with causal background information. We use a distributed agent architecture to help support the reasoning process of lawyers. (shrink)

Three case studies were conducted on the implications of the use of expert systems for the work of clerks and operators in Britain. An expert system had been introduced in a process control application. The operators' work was deskilled. The second case was a fault diagnosis application. An operator was very happy with his new work. In the third case, insurance clerks received training to operate an expert system which extended the scope of their work. (...) In conclusion, it is suggested that expert systems extend the range of work which can be automated, but may not have unique impacts. (shrink)

Expert Systems (ES) are as yet imperfectly defined. Their two consistently cited characteristics are domain knowledge and expert-level performance. We propose that current structural definitions are inadequate and suggest a view of ES as communication channels. We proceed to explore the factors influencing applicability of ES technology to an enterprise and the impacts that could be expected. A consequence of this view is the idea of incremental information loss on the path from the expert to the ES (...) user. Strategies for minimizing this loss derive naturally from our perspective and are evident in successful ES. (shrink)

Although Berman and Hafner [Berman 1989, pp. 928–938] presented the possibility to adapt the model of reasoning of development of an expert system for medical diagnosis to the reasoning of a judge when he/she sentences criminals does not resemble the reasoning found in the decisions of physicians, mathematicians or statisticians.When a lawyer reasons, he/she not only looks for the solution of a case; he/she simultaneously looks for the bases on which his/her reasoning can rest [Galindo 1992, pp. 363–367]. (...) That is to say, he/she not only needs to find the solution but moreover he/she has to find the references (laws, jurisprudence and bibliography) that allow him/her to argue the solution. (shrink)

Two fundamental paradigms are in conflict. Expert systems are the creation of the artificial intelligence paradigm which presumes that an objective reality can be understood and controlled by an individual expert intelligence that can be replaced by machinery. The alternative paradigm assumes that reality is the subjective product of human beings striving to collaborate through shared norms and experiences, a process that can be assisted by but never replaced by computers. The first paradigm is appropriate in the domains (...) of natural science and mathematics but dangerous in social sciencet business and, especially, the law. Expert systems are constructed on the basis of a number of metaphysical assumptions that are invalid in the legal domain. These assumptions are assimilated through a number ofcommonplace metaphors that guide the thoughts of the majority of people entering the computing field who are usually trained in first paradigm subjects such as mathematics and the natural science. This inappropriate paradigm hinders our progress in the field of computers and law. We need to adopt a socially orientated view of tbe nature of reality, of language, of meaning, of intelligence, and of reasoning. It will be easier then to build computer systems to facilitate social interactions in the legal domain and easier to understand why boxes that try to imitate legal expertise are intrinsically fraudulent. (shrink)

In this paper the difficulties arising out of a necessary examination of expert systems as to the ‘correctness’ of functioning are outlined. The argumentation is based on the problematic use of the knowledge term in expert system development and the design perspectives connected with the cognitivistic knowledge concept. It becomes obvious that fundamental problems in system development will involve negative consequences for utilization. The perspective developed from this analysis is assuming that these problems have to be (...) taken into account in development and have to be elucidated for utilization. (shrink)

The conventional approach to developing expert systems views the domain of application as being “formally defined”. This view often leads to practical problems when expert systems are built using this approach. This paper examines the implications and problems of the formal approach to expert system design and proposes an alternative approach based on the concept of semi-formal domains. This approach, which draws on the work of socio-technical information systems, provides guidelines which can be used for the (...) design of successful expert systems. (shrink)

Health care in prison and particularly the health care of older prisoners are increasingly important topics due to the growth of the ageing prisoner population. The aim of this paper is to gain insight into the approaches used in the provision of equivalent health care to ageing prisoners and to confront the intuitive definition of equivalent care and the practical and ethical challenges that have been experienced by individuals working in this field. Forty interviews took place with experts working in (...) the prison setting from three Western European countries to discover their views on prison health care. Experts indicated that the provision of equivalent care in prison is difficult mostly due to four factors: variability of care in different prisons, gatekeeper systems, lack of personnel, and delays in providing access. This lack of equivalence can be fixed by allocating adequate budgets and developing standards for health care in prison. (shrink)

Today’s everyone normal life can include a normal rate of playing computer games or video games; but what about an excessive or compulsive use of video games that impact on our life? Our kids, who usually spend a lot of time in playing video games will likely have a trouble in paying attention to their school lessons. In this paper, we introduce an expert system to help users in getting the correct diagnosis of the health problem of video (...) game addictions that range from (Musculoskeletal issues, Vision problems and Obesity). Moreover, this expert system provides information about the problem and tell us how we can solve it. SL5 Object expert system language was used to design and implement the expert system. (shrink)

In qualitative interviews with a diverse group of experts, the vast majority believed unregulated researchers should seek out independent oversight. Reasons included the need for objectivity, protecting app users from research risks, and consistency in standards for the ethical conduct of research. Concerns included burdening minimal risk research and limitations in current systems of oversight. Literature and analysis supports the use of IRBs even when not required by regulations, and the need for evidence-based improvements in IRB processes.

Nowadays, higher education worldwide is affected by the COVID-19 pandemic. It has affected students’ attendance in the universities and causes universities to close down in more than 190 countries. On the other hand, novice engineers studied only a few lectures related to highway engineering. Their lectures have included very little knowledge about asphalt pavement construction as highway engineering consists of many areas that are not studied in detail during their studying years subject to their traditional education. Due to all mentioned, (...) a new drive to promote online learning paves the way to evaluate our future approach to curriculum development and delivery of educational materials for engineering courses. However, experts can offer solutions to these problems using their past experience. Hence, a system that allows experts to share their experience with other engineers after completing a project is needed. Nevertheless, the web-based expert system for maintaining flexible pavement problems in tropical regions designed in this study is a novel concept. Prior to developing this system, the need for such a system was determined through literature review and validated through a questionnaire survey. Experts were interviewed, and a questionnaire survey was conducted to construct the knowledge base of the system. Knowledge was presented as rules and coded in software through PHP programming. Web pages that support the user interface were designed using a framework that consists of CSS, HTML, and J-Query. Furthermore, the system was tested by an array of users engaged in highway engineering, namely, experts, teaching experts, novice engineers, and students. The mean values of the overall system evaluation performed by 20 users using a five-point Likert scale were 4, 4.5, 3.75, 4.25, 5, 4, and 3.5. Expert and user satisfaction prove the effectiveness of the proposed system. (shrink)

To effectively pursue ethical action, the business community must recognize that the fundamental form of human association is not the "social contract" into which persons enter as atomic individuals, making partial commitments to each other for the purpose of gaining limited common ends or of satisfying certain laws. The fundamental form of human association is rather the face to face community in which ongoing commitments are the rule and in which aspects of every individual''s experience are conditioned by the continuing (...) membership. The following discussion initiates a preliminary phase in the consideration of what constitutes ethical issues associated with the business applications of expert systems. The focus is on knowledge based expert system applications in public accounting, specifically in the audit domain. Prior research on the development and use of expert systems in auditing has focused on a limited set of ethical issues. Niebuhr''s theory of the "the responsible self" is used here to broaden the scope of what constitutes an ethical issue and provides a framework for identifying responsible action. Within this framework, an action is responsible if it takes into consideration ongoing relationships among the stakeholder groups affected. Actions prior to the development of the system along with the potential consequences for the system must be considered. The discursive requirements that provide the context and conditions necessary for implementing the proposed theoretical framework are presented and an illustration of how the responsibility ethic can be implemented in the audit expert system domain is developed. (shrink)

For quite some time, the research in artificial intelligence has focused on expert systems, because here are to be found practical applications at the experimental stage which may soon become widespread. This focus makes more pressing the need to link the debate about the fundamental efficiency of artificial intelligence with those activities that aim at the application of specialized expert systems. In this paper, I begin by considering the stages and the development of human expertise. As a frame (...) of reference I propose a polar dialectic model of the development of human acting and thinking that explicitly deals with the interplay of calculating rationality and intuition. This suggests the use of expert systems as decision aids particularly in the field of maintenance work on the shop-floor. With regard to this case, some theses concerning the human-centred shaping of technology and work are presented. (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)

The consensus among legal philosophers is probably that rule-based legal expert systems leave much to be desired as aids in legal decision-making. Why? What can we do about it? A bureaucrat administering some set of complex rules will ascertain the facts and apply the rules to them in order to discover their consequences for the case in hand. This process of deductive reasoning is characteristically bureaucratic.

Medical expert systems (MES) are knowledge-based computer programs that are designed for advising physicians on diagnostical and therapeutical decision-making. They use heuristic methods developed by Artificial Intelligence researchers in order to retrieve from large knowledge-bases information needed in the situation. Constructing the knowledge-base of a MES embraces the problem of explicating and fixing the conceptual, causal and epistemic relations between a lot of medical objects. There is a number of preconditions which any adequate representation of such knowledge must fulfil, (...) among them the conditions of consistency, of completeness, of unequivocality, etc. Existing systems for classification and coding, like ICD and SNOMED, are not designed for the needs of constructing expert systems or, more generally, of knowledge processing and knowledge engineering. Their syntax is not sufficiently rich for expressing the more complex structures of (medical) knowledge. What is needed, is a language that can be used for expressing logical and descriptive relations between medical objects and facts, approximately at the level of the language of second order predicate logic. Simultaneously, it must be possible to process this language at the machine level. This can be achieved by using some dialects of the programming language LISP or, particularly, by using the programming language PROLOG. Thus, in order to achieve a suitable classification system, it is necessary to develop a system of medical data structures and predicates expressed in LISP or PROLOG. (shrink)

Research on an expert system regarding unemployment insurance law has pointed to the difficulties of explicitly representing temporal relations. The question has been addressed in the artificial intelligence literature with respect to planning systems and linguistic analysis. The approaches adopted do not appear to be directly transposable to legal discourse. The problem seems so far to have escaped notice amongst researchers attempting to develop legal expert systems. The paper explores in a preliminary way how lawyers use temporal (...) concepts. It is submitted that “legal time” only partly overlaps with real time. A sketch of a formalization of temporal relations in law, following J. F. Allen's approach, is presented. (shrink)

Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for (...) classical propositional logic, for which I show soundness and completeness for both deductions and refutations. (shrink)

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these (...) structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. (shrink)

As a first step in involving user emotion in human‐computer interaction, a memory‐based expert system (JANUS; Kearney, 1991) was designed to interpret facial expression in terms of the signaled emotion. Anticipating that a VDU‐mounted camera will eventually supply face parameters automatically, JANUS now accepts manually made measurements on a digitized full‐face photograph and returns emotion labels used by college students. An intermediate representation in terms of face actions (e.g., mouth open) is also used. Production rules convert the geometry (...) into these. A dynamic memory (Kolodner, 1984; Schank, 1982) interprets the face actions in terms of emotion labels. The memory is dynamic in the sense that new emotion labels can be learned with experience. A prototype system has been implemented on a Sun 2/120 system using POPLOG. Validation studies on the prototype suggest that the interpretations achieved are generally consistent with those of college students without formal instruction in emotion signals. (shrink)

. A new approach to the formalization of concepts used in legal reasoning such as obligation and cause is presented. The formalization is based on the linguistic use of the concepts both in legal language and in ordinary language, and has been motivated by work on a legal expert system with a natural language interface. Particularly for the concept of obligation this yields quite different results from those obtained by the usual approach of deontic logic: So‐called paradoxes are (...) avoided, quantification over obligations becomes possible, no restriction to a “single‐agent system” is required, and collisions of obligations can be formulated. (shrink)

This paper uses Perrow’s sociological framework as a basis for a comparative organisation analysis of the impact of expert systems on organisational issues. The study analyses the relative impact of expert systems on two different types of accounting work: auditing and tax. The results indicate an impact on factors that ultimately improve productivity. The aggregate results indicate that expert systems are found to allow the user substantial control of search for solutions and discretion on whether to follow (...) system recommendations, increased access to top management, and a decrease in the need for supervision. The systems allow the user the ability to solve a broader range of problems, while allowing the user the ability to perform more work. The comparison of auditing and tax expert systems indicates that audit systems seem to allow for greater control over search. Tax systems seem to allow more work to be done without supervision, make more decisions immediately, and allow the user to make a wider range of decisions. (shrink)

Many philosophers who do not analyze laws of nature as the axioms and theorems of the best deductive systems nevertheless believe that membership in those systems is evidence for being a law. This raises the question, “If the best systems analysis fails, what explains the fact that being a member of the best systems is evidence for being a law?” In this essay I answer this question on behalf of Leibniz. I argue that although Leibniz’s philosophy of laws is inconsistent (...) with the best systems analysis, his philosophy of nature’s perfection enables him to explain why membership in the best systems is evidence for being a law of nature. (shrink)

We consider the equationally orderable quasivarieties and associate with them deductive systems defined using the order. The method of definition of these deductive systems encompasses the definition of logics preserving degrees of truth we find in the research areas of substructural logics and mathematical fuzzy logic. We prove several general results, for example that the deductive systems so defined are finitary and that the ones associated with equationally orderable varieties are congruential.

Performance Generating Systems (PGS) are rule- and task-based approaches to improvisation on stage in theatre, dance, and music. These systems require performers to draw on predefined source materials (texts, scores, memories) while working on complex tasks within limiting rules. An interdisciplinary research team at a large Western Canadian university hypothesized that learning to sustain this praxis over the duration of a performance places high demands on executive functions; demands that may improve the performers’ executive abilities. These performers need to continuously (...) shift attention while remaining responsive to embodied and environmental stimuli in the present, they are required to inhibit automated responses and impulses using the rules of the system, and they strive towards addressing multitasking challenges with fluidity and flexibility. This study set out to test the mentioned hypothesis deductively and identify mediating processes inductively, using mixed empirical methods. In a small sample experiment with a control group (28 participants; 15 in intervention group, 13 in control group), standardized quantitative tests of executive functions (D-KEFS) were administered before and after an eight-week intervention. Participant-reported qualitative observations from the praxis were also collected throughout the intervention for grounded analysis. Within the limitations of small sample data, we found both statistically significant and trending effects on inhibition, problem-solving initiation, fluidity, and cognitive flexibility. Examining the mediating process, we found that participants experienced significant challenges sustaining the practice halfway through the intervention. The participant-reported solutions to these challenges, which emerged as the strongest behavioural patterns when coding the qualitative data to saturation, were strategies of problem-solving and of re-directing attention. These strategies support and advance our understanding of the effects measured in the standardized tests. In terms of application, our results identify characteristics of PGS that could potentially maintain and strengthen executive functions over and above less demanding performing arts interventions. The results also deliver new insight into how PGS works, which may contribute to the development and teaching of this artistic practice. (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)

The notion of an algebraic semantics of a deductive system was proposed in [3], and a preliminary study was begun. The focus of [3] was the definition and investigation of algebraizable deductive systems, i.e., the deductive systems that possess an equivalent algebraic semantics. The present paper explores the more general property of possessing an algebraic semantics. While a deductive system can have at most one equivalent algebraic semantics, it may have numerous different algebraic semantics. All of these give (...) rise to an algebraic completeness theorem for the deductive system, but their algebraic properties, unlike those of equivalent algebraic semantics, need not reflect the metalogical properties of the deductive system. Many deductive systems that don't have an equivalent algebraic semantics do possess an algebraic semantics; examples of these phenomena are provided. It is shown that all extensions of a deductive system that possesses an algebraic semantics themselves possess an algebraic semantics. Necessary conditions for the existence of an algebraic semantics are given, and an example of a protoalgebraic deductive system that does not have an algebraic semantics is provided. The mono-unary deductive systems possessing an algebraic semantics are characterized. Finally, weak conditions on a deductive system are formulated that guarantee the existence of an algebraic semantics. These conditions are used to show that various classes of non-algebraizable deductive systems of modal logic, relevance logic and linear logic do possess an algebraic semantics. (shrink)

Complex systems are pervasive in the world around us. Making sense of a complex system should require that a person construct a network of concepts and principles about some domain that represents key (often dynamic) phenomena and their interrelationships. This raises the question of how expert understanding of complex systems differs from novice understanding. In this study we examined individuals' representations of an aquatic system from the perspective of structural (elements of a system), behavioral (mechanisms), and (...) functional aspects of a system. Structure–Behavior–Function (SBF) theory was used as a framework for analysis. The study included participants from middle school children to preservice teachers to aquarium experts. Individual interviews were conducted to elicit participants' mental models of aquaria. Their verbal responses and pictorial representations were analyzed using an SBF‐based coding scheme. The results indicated that representations ranged from focusing on structures with minimal understanding of behaviors and functions to representations that included behaviors and functions. Novices' representations focused on perceptually available, static components of the system, whereas experts integrated structural, functional, and behavioral elements. This study suggests that the SBF framework can be one useful formalism for understanding complex systems. (shrink)

Hybrid deduction-refutation systems are presented for four first degree entailment based logics. The hybrid systems are shown to deductively and refutationally sound and complete with respect to their logics. The proofs of completeness are presented in a uniform way. This paper builds on work in [6], where Goranko presented a deductively and refutationally sound and complete hybrid system for classical logic.

This paper presents work in progress on artificial intelligence in medicine (AIM) within the larger context of cognitive science. It introduces and develops the notion ofemergence both as an inevitable evolution of artificial intelligence towards machine learning programs and as the result of a synergistic co-operation between the physician and the computer. From this perspective, the emergence of knowledge takes placein fine in the expert's mind and is enhanced both by computerised strategies of induction and deduction, and by (...) software abilities to dialogue, co-operate and function as a cognitive extension of the physician's intellectual capabilities. The proposed methodology gives the expert a prominent role which consists, first, of faithfully enunciating the descriptive features of his medical knowledge, thus giving the computer a precise description of his own perception of basic medicine, and secondly, of painstakingly gathering patients into computerised case bases which simulate exhaustive long-term memory. The AI capacities for knowledge elaboration are then triggered, giving rise to mathematically optimal diagnoses, prognoses, or treatment protocols which the physician may then evaluate, accept, reject, or adapt at his convenience, and finally append to a knowledge base. The idea of emergence embraces many issues concerning the purpose and intent of artificial intelligence in medical practice. Particularly, we address the representation problem as it is raised by classical decisional knowledge-based systems, and develop the notions of classifiers and hybrid systems as possible answers to this problem. Finally, since the whole methodology touches the problem of technological investment in health care, now inherent in modern medical practice, some ethical considerations accompany the exposé. (shrink)

A conjectural inference is proposed, aimed at producing conjectural theorems from formal conjectures assumed as axioms, as well as admitting contradictory statements as conjectural theorems. To this end, we employ Paraconsistent Informational Logic, which provides a formal setting where the notion of conjecture formulated by an epistemic agent can be defined. The paraconsistent systems on which conjectural deduction is based are sequent formulations of the C-systems presented in Carnielli-Marcos [CAR 02b]. Thus, conjectural deduction may also be considered to (...) be a tool for investigating the properties of paraconsistency in general. (shrink)