bluuebunny/crossref_metadata_2025_split huggingface dataset:
Knowledge-based systems, Lisp, and very high level implementation languages
Authors: Sandewall Eric 
Published: July 2009

AbstractIt is usually agreed that programming languages for implementing (other) programming languages, or ‘implementation languages’, should be simple low-level languages which are close to the machine code and to the operating system. In this paper it is argued that a very high level implementation language is a good idea, of particular importance for knowledge-based systems, and that Lisp (as a language and as a system) is very well suited to be a very high level implementation language. The significance of special-purpose programming languages is also discussed, and the requirements that they have for a very high level implementation language are considered.
Trends in applying abstract interpretation
Authors: Bowles Andrew 
Published: July 2009

AbstractAbstract interpretation is a principled approach to inferring properties of a program's execution by simulating that execution using an interpreter which computes over some abstraction of the program's usual, concrete domain, and which collects the information of interest during the execution. Abstract interpretation has been used as the basis of research in logic and functional programming, particularly in applications concerned with compiler optimizations. However, abstract interpretation has the potential to be used in other applications, such as debugging or verification of programs. In this paper we review the use of abstract interpretation to both compiler optimizations and to other applications, attempting to give a flavour of the kind of information it is possible to infer and some of the issues involved
Innovative design Systems, where are we and where do we go from here? Part I: Design by association
Authors: Navin Chandra D. 
Published: July 2009

AbstractDesigning is a skill central to many human tasks. Designers are constantly producing newer and better artifacts, generating innovative solutions to problems in our world. This paper looks at innovation, and research that is aimed at developing theories and methodologies for innovative design. We view design as a process of association and exploration. These two approaches are fundamental to innovation. The aim of exploration is to generate a large variety of design alternatives by breaking away from the norms by looking in unlikely places, and by relaxing binding constraints. Exploration exposes possibilities that would not normally hâve been considered, possibilities that may serendipitously lead to innovative solutions. Association, on the other hand, attempts to exploit previous design experiences in a new design context. This is donc by recognizing useful analogies that can help in synthesizing parts of a design, recognizing unforeseen problems, and discovering opportunities. This paper is the first part of a two-part paper that presents and discusses a variety of association and exploration methods. This part examines association-based techniques, some of which have been used in actual design Systems, and others that point to the solution of some open questions in design research. We develop these ideas by examining connections between design research and other disciplines such as cognitive psychology, artificial intelligence, the history of science, and the creativity literature.
Knowledge systems for financial advice
Authors: Mital V. 
Published: July 2009

AbstractThe financial domain has seen considerable knowledge Systems activity. Some of the efforts have resulted in deployable Systems, but many others have met with much less success. Commentators have attempted to discern broad, universal indicators which explain or predict success. More recently, however, it has become clearer that a principal cause of the difficultes encountered is the incongruence between the real world task and the System architecture employed by developers. Proceeding from the latter perspective, this paper concerns itself with knowledge Systems for the provision of investment related financial advice. The various tasks involved are differentiated and correlated to the System architectures employed by developers. It is seen that while simple rulebased Systems suffice for some tasks, others indicate the need for techniques such as Case-Based Design.
An overview of on-line assistance: from on-line documentation to intelligent help and training
Authors: Wasson Barbara , Akselsen Sigmund 
Published: July 2009

AbstractAn important aspect of any interactive computer system is its ease of use. On-line assistance is a major contributor to software usability. Conventional on-line assistance includes on-line documentation, or keyword access to textual help descriptions. More sophisticated on-line assistance includes intelligent help which provides immediate assistance for a specific problem, and intelligent training whose main goal is to support the user in learning about the system. These contemporary forms of intelligent assistance represent knowledge about the particular application, the user and the particular tasks the user is to perform. In addition, they possess inferencing capabilities to model the individual user's goals, plans, intentions and knowledge. This paper provides an overview of on-line assistance research, from empirical studies that attempt to determine the nature of effective assistance, to the design of intelligent on-line assistance systems capable of tailoring the assistance to the individual user. For readers interested in more details, recommendations for further reading in the related areas of advice-giving and intelligent help, intelligent user interfaces, critiquing, intelligent tutoring systems, and on-line documentation and hypertext are given.
Innovative design systems: where are we, and where do we go from here? Part II: Design by exploration
Authors: Chandra D. Navin 
Published: July 2009

AbstractDesigning is a skill central to many human tasks. Designers are constantly producing newer and better artifacts, generating innovative solutions to problems in our world. This article looks at innovation and research that is aimed at developing theories and methodologies for innovative design. We view design as a process ofassociationandexploration.These two approaches are fundamental to innovation. The aim of exploration is to generate a large variety of design alternatives by breaking away from the norms, by looking in unlikely places, and by relaxing binding constraints. Exploration exposes possibilities that would not normally have been considered, possibilities that may serendipitously lead to innovative solutions. Association, on the other hand, attempts to exploit previous design experiences in a new design context. This is done by recognizing useful analogies that can help in synthesizing parts of a design, recognizing unforeseen problems, and discovering opportunities. This article is the second part of a two-part paper that presents and discusses a variety of association and exploration methods. This part examines exploration techniques, some of which have been used in actual design systems, and others that point to the solution of some open questions in design research. We develop these ideas by examining connections between design research and other disciplines such as artificial intelligence, evolutionary epistemology, and the automated discovery literature.
Explanation as a Primary Task in Problem Solving
Authors: Wick Michael R. 
Published: July 2009

AbstractThis article summarizes the author's perspective on the discussions that occurred at the Workshop on Explanation and Problem Solving held during the Thirteenth International Joint Conference on Artificial Intelligence*. Motivated by those discussions, the article argues for the promotion of expert system explanation from a secondary task, used mainly for communication, to a primary task that is tightly integrated with the domain problem solving of the expert system.
A comparison of languages which operationalize and formalize KADS models of expertise
Authors: Fensel Dieter , van Harmelen Frank 
Published: July 2009

AbstractIn the field of knowledge engineering, dissatisfaction with therapid-prototypingapproach has led to a number of more principled methodologies for the contruction of knowledge-based systems. Instead of immediately implementing the gathered and interpreted knowledge in a given implementation formalism according to the rapid-prototyping approach, many such methodologies centre around the notion of a conceptual model: an abstract, implementation independent description of the relevant problem solving expertise. A conceptual model should describe the task which is solved by the system and the knowledge which is required by it. Although such conceptual models more precisely, and operationally as a means for model evaluation. In this paper, we study a number of such formal and operational languages for specifying conceptual models. To enable a meaningful comparison of such languages, we focus on languages which are all aimed at the same underlying conceptual model, namely that from the KADS method for building KBS. We describe eight formal languages for KADS models of expertise, and compare these languages with respect to their modelling primitives, their semantics, their implementations and their applications, Future research issues in the area of formal and operational specification languages for KBS are identified as the result of studying these languages. The paper also contains an extensive bibliography of research in this area.
Approaches to representing and reasoning with technical regulatory information
Authors: Chung Paul Wai Hing , Stone David 
Published: July 2009

AbstractRegulatory information has a direct and significant effect on the safety, economics and quality of many industries' operations and end-products. However, standards documents are often voluminous and can be complex. Users of such standards need to invest considerable time and effort to become familiar with the structure and content of the documents. Therefore, it has long been recognized that computer handling of this information is a potentially useful application area. This paper provides an overview of the work that has been done to provide computer systems that will help both users and authors of regulations. The emphasis is on using advanced symbolic computing techniques that would help in accessing, interpreting and applying the information.
Evaluation of workbenches which support the CommonKADS methodology
Authors: Kingston John K. C. , Doheny Jim G. , Filby Ian M. 
Published: July 2009

AbstractThe KADS methodology and its successor, CommonKADS, have gained a reputation for being useful approaches to building knowledge-based systems in a manner which is both systematic and well documented. However, these methods require considerable effort to use them completely. It has been suggested that automated support for KADS or CommonKADS users, in the form of “knowledge engineering workbenches”, could be very useful. These tools would provide computerised assistance to knowledge engineers in organising and representing knowledge, in a similar fashion to the support which CASE tools provide for software engineers. To provide support for KADS or CommonKADS, the workbenches should provide specific support for the modelling techniques recommended by these methods, which are very detailed in the representation and analysis stages of knowledge engineering. A good knowledge engineering workbench should also be easy to use, should be robust and reliable, and should generate output in a presentable format.This paper reports on an evaluation of two commercially available workbenches for supporting the KADS approach: KADS Tool from ILOG and Open KADS Tool from Bull. This evaluation was carried out by AIAI as part of the CATALYST project, funded by the European Community's ESSI programme, which aimed to introduce CommonKADS to two technology-oriented companies. Information is also presented on two other workbenches: the CommonKADS workbench (which will soon become commercially available) and the VITAL workbench. The results show various strengths and weaknesses in each tool.
Formal methods in knowledge engineering
Authors: van Harmelen Frank , Fensel Dieter 
Published: July 2009

AbstractThis paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most important directions that future research in this field should take. This paper presents a general setting for the other contributions in this issue of the journal, which each deal with a specific issue in more detail.
Automatic construction of reactive control systems using symbolic machine learning
Authors: Sammut Claude 
Published: July 2009

AbstractThis paper reviews a number of applications of machine learning to industrial control problems. We take the point of view of trying to automatically build rule-based reactive systems for tasks that, if performed by humans, would require a high degree of skill, yet are generally performed without thinking. Such skills are said to be sub-cognitive. While this might seem restrictive, most human skill is executed subconsciously and only becomes conscious when an unfamiliar circumstance is encountered. This kind of skill lends itself well to representation by a reactive system, that is, one that does not create a detailed model of the world, but rather, attempts to match percepts with actions in a very direct manner.
Software agents: an overview
Authors: Nwana Hyacinth S. 
Published: July 2009

AbstractAgent software is a rapidly developing area of research. However, the overuse of the word “agent” has tended to mask the fact that, in reality, there is a truly heterogeneous body of research being carried out under this banner. This overview paper presents a typology of agents. Next, it places agents in context, defines them and then goes on,inter alia, to overview critically the rationales, hypotheses, goals, challenges and state-of-the-art demonstrators of the various agent types in our typology. Hence, it attempts to make explicit much of what is usually implicit in the agents literature. It also proceeds to overview some other general issues which pertain to all the types of agents in the typology. This paper largely reviews software agents, and it also contains some strong opinions that are not necessarily widely accepted by the agent community.
An overview of declarative process modelling using logic programming
Authors: Ciancarini Paolo 
Published: July 2009

AbstractSoftware process modelling is the activity of formalising the production lifecycle of large software systems. Its aim is to formally describe a software development process, which is then effectively used and possibly enacted by an environment able to support the geographically distributed and coordinated activities involved in the process itself. I show that rule-based languages, especially logic programming languages, are an important technology for the specification, modelling, enactment and coordination of software processes. This is because most routine activities in any development process can be defined by rules. Some initial proposals aimed at simply simulating the software process by a Prolog-like program embedding some development rules. A further step toward the integration of rule-based languages in the software process has been taken using a dynamic knowledge base as project database, and a number of special primitives have been introduced to support process programs. Currently there is a trend toward more complex programming environments, calledprocess-centred development environments. I show how some rule-based coordination language have been used to build an environment of this kind.
Intelligent agents: theory and practice
Authors: Wooldridge Michael , Jennings Nicholas R. 
Published: July 2009

AbstractThe concept of anagenthas become important in both artificial intelligence (AT) and mainstream computer science. Our aim in this paper is to point the reader at what we perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent agents. For convenience, we divide these issues into three areas (though as the reader will see, the divisions are at times somewhat arbitrary).Agent theoryis concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the properties of agents.Agent architecturescan be thought of as software engineering models of agents; researchers in this area are primarily concerned with the problem of designing software or hardware systems that will satisfy the properties specified by agent theorists. Finally,agent languagesare software systems for programming and experimenting with agents; these languages may embody principles proposed by theorists. The paper isnotintended to serve as a tutorial introduction to all the issues mentioned; we hope instead simply to identify the most important issues, and point to work that elaborates on them. The article includes a short review of current and potential applications of agent technology.
Seasonal cycles and long-term trends in abundance and species composition of sharks associated with cage diving ecotourism activities in Hawaii
Authors: MEYER CARL G. , DALE JONATHAN J. , PAPASTAMATIOU YANNIS P. , WHITNEY NICHOLAS M. , HOLLAND KIM N. 
Published: July 2009

SUMMARYShark cage diving is both popular and controversial, with proponents citing educational value and non-extractive use of natural resources and opponents raising concerns about public safety and ecological impacts. Logbook data collected 2004–2008 from two Oahu (Hawaii) shark cage diving operations were analysed to determine whether such voluntary records provide useful insights into shark ecology or ecotourism impacts. Operators correctly identified common shark species and documented gross seasonal cycles and long-term trends in abundance of Galapagos (Carcharhinus galapagensis), sandbar (Carcharhinus plumbeus) and tiger sharks (Galeorcerdo cuvier). Annual cycles in shark abundance may indicate seasonal migrations, whereas long-term trends suggest gradual exclusion of smaller sandbar sharks from cage diving sites. Numerically dominant (> 98%) Galapagos and sandbar sharks are rarely implicated in attacks on humans. Negligible impact on public safety is supported by other factors such as: (1) remoteness of the sites, (2) conditioning stimuli that are specific to the tour operations and different from inshore recreational stimuli and (3) no increase in shark attacks on the north coast of Oahu since cage diving started. Tracking studies are required to validate logbook data and to determine whether sharks associated with offshore cage diving travel into inshore areas used for in-water recreation.
The randomized response technique as a tool for estimating non-compliance rates in fisheries: a case study of illegal red abalone (Haliotis rufescens) fishing in Northern California
Authors: BLANK SARA G. , GAVIN MICHAEL C. 
Published: July 2009

SUMMARYIllegal fishing has detrimental environmental and social impacts, but these effects are difficult to mitigate without reliable estimates of fisher non-compliance. Methods used by fisheries managers to estimate illegal fishing often require indirect estimation of poaching using biological, economic or sociological indicators. This study presents a unique application of the randomized response technique (RRT) for direct estimation of non-compliance in fisheries to the Northern California recreational red abalone (Haliotis rufescens) fishery. An anonymous paper-based compliance and sociodemographic survey of recreational fishers in Sonoma and Mendocino Counties estimated 29% non-compliance with the daily take limit, 23% with the minimum size limit, 19% with licensing laws and 15% with the annual take limit. RRT results also indicated how different sociodemographic characteristics related to non-compliance. Visitors had higher non-compliance rates than local fishers for all regulations except daily take limits, which an estimated 72% of locals violated versus 18% of visitors. High fisher awareness of regulations, fisher age, income and fishing experience did not appear to influence illegal take. RRT is a powerful tool which can aid conservation managers in prioritizing action.
Initial high rate of misdiagnosis in Crimean Congo haemorrhagic fever patients in an endemic region of Turkey
Authors: TASDELEN FISGIN N. , DOGANCI L. , TANYEL E. , TULEK N. 
Published: July 2009

SUMMARYCrimean Congo haemorrhagic fever (CCHF) has been an emerging tick-borne infection in some parts of Turkey since 2002, with a number of fatalities. Many of the initial non-specific symptoms of CCHF can mimic other common infections. Additionally, the seasonal pattern of the epidemic, and the waning attention of healthcare workers to the yearly index cases caused some delays in appropriate patient care and treatment. Between March 2004 and August 2008, 140 confirmed adult cases were evaluated retrospectively for initial diagnosis and treatment delays. This study clearly demonstrated that there are particular delays (4·8 days) in the referral system to initiate effective antiviral treatment in the tertiary-care centre which significantly affect fatality rates (P>0·05). A large number of patients (n=95, 68%) received an initial misdiagnosis of various infections other than CCHF. In conclusion, continuous medical education regarding CCHF in the epidemic area is essential in order to achieve a better survival rate from this deadly infection.