scispace - formally typeset
Search or ask a question

Showing papers in "Knowledge Engineering Review in 1998"


Journal ArticleDOI
TL;DR: The Enterprise Ontology was developed within the Enterprise Project, a collaborative effort to provide a framework for enterprise modelling, and was built to serve as a basis for this framework which includes methods and a computer tool set for enterprise modeling.
Abstract: This is a comprehensive description of the Enterprise Ontology, a collection of terms and definitions relevant to business enterprises. We state its intended purposes, describe how we went about building it, define all the terms and describe our experiences in converting these into formal definitions. We then describe how we used the Enterprise Ontology and give an evaluation which compares the actual uses with original purposes. We conclude by summarising what we have learned. The Enterprise Ontology was developed within the Enterprise Project, a collaborative effort to provide a framework for enterprise modelling. The ontology was built to serve as a basis for this framework which includes methods and a computer tool set for enterprise modelling. We give an overview of the Enterprise Project, elaborate on the intended use of the ontology, and give a brief overview of the process we went through to build it. The scope of the Enterprise Ontology covers those core concepts required for the project, which will appeal to a wider audience. We present natural language definitions for all the terms, starting with the foundational concepts (e.g. entity, relationship, actor). These are used to define the main body of terms, which are divided into the following subject areas: activities, organisation, strategy and marketing. We review some of the things learned during the formalisation process of converting the natural language definitions into Ontolingua. We identify and propose solutions for what may be general problems occurring in the development of a wide range of ontologies in other domains. We then characterise in general terms the sorts of issues that will be faced when converting an informal ontology into a formal one. Finally, we describe our experiences in using the Enterprise Ontology. We compare these with the intended uses, noting our successes and failures. We conclude with an overall evaluation and summary of what we have learned.

1,070 citations


Journal ArticleDOI
TL;DR: The CBB model the authors present augments traditional marketing models with concepts from Software Agents research to accommodate electronic markets and discusses the variety of Artificial Intelligence techniques that support agent mediation.
Abstract: Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. This paper surveys several of these agent-mediated electronic commerce systems by describing their roles in the context of a Consumer Buying Behavior (CBB) model. The CBB model we present augments traditional marketing models with concepts from Software Agents research to accommodate electronic markets. We then discuss the variety of Artificial Intelligence techniques that support agent mediation and conclude with future directions of agent-mediated electronic commerce research.

770 citations


Journal ArticleDOI
TL;DR: Autonomous robots are the intelligent agents par excellence in that robots are embodied agents, situated in the real world, subject both to the joys and sorrows of the world and to its physical laws.
Abstract: Autonomous robots are the intelligent agents par excellence. We frequently define a robot as a machine that senses, thinks and acts, i.e., an agent. They are distinguished from software agents in that robots are embodied agents, situated in the real world. As such, they are subject both to the joys and sorrows of the world. They can be touched and seen and heard (sometimes even smelled!), they have physical dimensions, and they can exert force on other objects. These objects can be like a ball in the RoboCup or Mirosot robot soccer games, they can be parts to be assembled, airplanes to be washed, carpets to be vacuumed, terrain to be traversed or cameras to be aimed. On the other hand, since robots are agents in the world they are also subject to its physical laws, they have mass and inertia, their moving parts encounter friction and hence heat, no two parts are precisely alike, measurements are corrupted by noise, and alas, parts break. Of course, robots also contain computers, and hence they are also subject to the slings and arrows of computer misfortunes, both in hardware and software. Finally, the world into which we place these robots keeps changing, it is non-stationary and unstructured, so that we cannot predict its features accurately in advance.

238 citations


Journal ArticleDOI
TL;DR: This paper introduces and defines the concept of a knowledge level model, comparing how the term is used today with Newell's original usage, and distinguishes two major types of knowledge level models: ontologies and problem solving models.
Abstract: We address the problem of highly varied and inconsistent usage of terms by the knowledge technology community in the area of knowledge-level modelling. It is arguably difficult or impossible for any standard set of terms and definitions to be agreed on. However, de facto standard usage is already emerging within and across certain segments of the community. This is very difficult to see, however, especially for newcomers to the field. It is the goal of this paper to identify and reflect the most common usage of terms as currently found in the literature. To this end, we introduce and define the concept of a knowledge level model, comparing how the term is used today with Newell's original usage. We distinguish two major types of knowledge level model: ontologies and problem solving models. We describe what an ontology is, what they may be used for and how they are represented. We distinguish various kinds of ontologies and define a number of additional related concepts. We describe what is meant by a problem solving model, what they are used for, and attempt to clarify some terminological confusion that exists in the literature. We define what is meant by the term ‘problem’, and some common notions used to characterise and represent problems. We introduce and describe the ideas of tasks, problem solving methods and a variety of other important related concepts.

224 citations


Journal ArticleDOI
TL;DR: It is argued that computer-based critiquing systems are most effective when they are embedded in domain-oriented design environments, which are knowledge-based computer systems that support designers in specifying a problem and constructing a solution.
Abstract: Human understanding in design evolves through a process of critiquing existing knowledge and consequently expanding the store of design knowledge. Critiquing is a dialogue in which the interjection of a reasoned opinion about a product or action triggers further reflection on or changes to the artifact being designed. Our work has focused on applying this successful human critiquing paradigm to human-computer interaction. We argue that computer-based critiquing systems are most effective when they are embedded in domain-oriented design environments, which are knowledge-based computer systems that support designers in specifying a problem and constructing a solution. Embedded critics play a number of important roles in such design environments: (1) they increase the designer's understanding of design situations by pointing out problematic situations early in the design process; (2) they support the integration of problem framing and problem solving by providing a linkage between the design specification and the design construction; and (3) they help designers access relevant information in the large information spaces provided by the design environment. Three embedded critiquing mechanisms—generic, specific, and interpretive critics—are presented, and their complementary roles within the design environment architecture are described.

158 citations


Journal ArticleDOI
TL;DR: This document provides the specification of the Process Interchange Format (PIF) version 1.2, which was developed by a working group including representatives from several universities and companies and has been used for experimental automatic translations among systems developed independently at three of these sites.
Abstract: This document provides the specification of the Process Interchange Format (PIF) version 1.2. The goal of this work is to develop an interchange format to help automatically exchange process descriptions among a wide variety of business process modelling and support systems such as workflow software, flow charting tools, planners, process simulation systems and process repositories. Instead of having to write ad hoc translators for each pair of such systems each system will only need to have a single translator for converting process descriptions in that system into and out of the common PIF format. Then any system will be able to automatically exchange basic process descriptions with any other system. This document describes the PIF-CORE 1.2, i.e. the core set of object types (such as activities, agents and prerequisite relations) that can be used to describe the basic elements of any process. The document also describes a framework for extending the core set of object types to include additional information needed in specific applications. These extended descriptions are exchanged in such a way that the common elements are interpretable by any PIF translator, and the additional elements are interpretable by any translator that knows about the extensions. The PIF format was developed by a working group including representatives from several universities and companies, and has been used for experimental automatic translations among systems developed independently at three of these sites. This document is being distributed in the hopes that other groups will comment upon the interchange format proposed here, and that this format (or future versions of it) may be useful to other groups as well. The PIF Document 1.0 was released in December 1994, and the current document reports the revised PIF that incorporate the feedback received since then.

99 citations


Journal ArticleDOI
TL;DR: This paper presents an Agent-based Process Management System architecture that combines recent developments in autonomous agent technology and distributed computing platforms, and describes the APMS approach which extends workflow with the abilities to anticipate process requirements, to resource processes dynamically, and to adapt to exceptions.
Abstract: This paper presents an Agent-based Process Management System (APMS) architecture that combines recent developments in autonomous agent technology and distributed computing platforms. It argues that a service-oriented view is required in order to meet the requirements of open distributed enterprises, now and in the future. This approach embraces and fully supports the decentralisation of responsibility and local autonomy, within and across enterprises. The paper begins by summarising existing approaches to workflow. It describes the APMS approach which extends workflow with the abilities to anticipate process requirements, to resource processes dynamically, and to adapt to exceptions. An important feature of APMS is the absence of a centralised business process representation. Finally, the paper describes an implementation of the APMS architecture, and discusses the engineering issues related to realising such a system within a large organisation.

71 citations


Journal ArticleDOI
TL;DR: The previous work which has been used to create the initial SPAR representation is described and is now being subjected to refinement during several review cycles by a number of expert and user panels.
Abstract: The Defense Advanced Research Projects Agency (DARPA) and US Air Force Research Laboratory Planning Initiative (ARPI) has initiated a project to draw on the range of previous work in planning and activity ontologies to create a practically useful Shared Planning and Activity Representation (SPAR) for use in technology and applications projects within their communities. This article describes the previous work which has been used to create the initial SPAR representation. Key examples of the work drawn upon are published in this issue. The paper provides a comprehensive bibliography and related world wide web resources for work in the area of plan, process and activity representation. SPAR is now being subjected to refinement during several review cycles by a number of expert and user panels.

63 citations


Journal ArticleDOI
TL;DR: Subsequent workshops addressed various aspects of the field, including theoretical issues, methodologies for building ontologies, as well as specific applications in government and industry.
Abstract: Interest in the nature, development and use of ontologies is becoming increasingly widespread. Since the early nineties, numerous workshops have been held. Representatives from historically separate disciplines concerned with philosophical issues, knowledge acquisition and representation, planning, process management, database schema integration, natural language processing and enterprise modelling, came together to identify a common core of issues of interest. There was highly varied and inconsistent usage of a wide variety of terms, most notably, “ontology”, rendering cross-discipline communication difficult. However, progress was made toward understanding the commonality among the disciplines. Subsequent workshops addressed various aspects of the field, including theoretical issues, methodologies for building ontologies, as well as specific applications in government and industry.

51 citations


Journal ArticleDOI
TL;DR: This paper presents an introduction and a survey of the use of logic for information retrieval modeling, first advanced in 1986 by Van Rijsbergen with the so-called logical uncertainty principle.
Abstract: Information retrieval is the science concerned with the efficient and effective storage of information for the later retrieval and use by interested parties. During the last forty years, a plethora of information retrieval models and their variations have emerged. Logic-based models were launched to provide a rich and uniform representation of information and its semantics with the aim to improve information retrieval effectiveness. This approach was first advanced in 1986 by Van Rijsbergen with the so-called logical uncertainty principle. Since, various logic-based models have been developed. This paper presents an introduction and a survey of the use of logic for information retrieval modeling.

51 citations


Journal ArticleDOI
TL;DR: Questions relating to how the theory of multi-agent systems impacts on practice, and how the practical development itself compares with other technologies, can be answered in the light of a heightened level of maturity.
Abstract: As the number of deployed multi-agent applications increases, further and better experience with the technology is gained, enabling a strong evaluation of the field from a more practical perspective. In particular, questions relating to how the theory of multi-agent systems impacts on practice, and how the practical development itself compares with other technologies, can be answered in the light of a heightened level of maturity. Given the tensions between theoreticians and practitioners in computing in general, let alone their spats in AI or multi-agent systems in particular, the discussion on agent systems and applications was both vigorous and enthusiastic

Journal ArticleDOI
TL;DR: The contribution of this paper is to explore this categorisation, and to motivate the need to explicitly record and represent rationale knowledge for situated, mixed-initiative planning systems.
Abstract: Traditional approaches to plan representation have focused on the generation of a sequence of actions and orderings Knowledge rich models, which incorporate plan rationale, provide benefits to the planning process in a number of ways The use of rationale in planning is reviewed in terms of causality, dependencies, and decisions Each dimension addresses practical issues in the planning process, and adds value to the resultant plan The contribution of this paper is to explore this categorisation, and to motivate the need to explicitly record and represent rationale knowledge for situated, mixed-initiative planning systems

Journal ArticleDOI
TL;DR: This paper looks at the practical challenges many software agent developers face including: interfacing to legacy systems; developing distributed systems; agent competence; and trust and privacy issues.
Abstract: Software agents have come a long way in the last ten or so years. This paper looks at the practical challenges many software agent developers face including: interfacing to legacy systems; developing distributed systems; agent competence; and trust and privacy issues. Because it covers such a broad area, it will focus on how the problems and issues have changed over the years, and highlight some of the perennial problems.

Journal ArticleDOI
TL;DR: This report is the result of a panel discussion at the Second UK Workshop on Foundations of Multi-Agent Systems (FOMAS'97), where all members of the panel are authors.
Abstract: This report is the result of a panel discussion at the Second UK Workshop on Foundations of Multi-Agent Systems (FOMAS'97). All members of the panel are authors, listed alphabetically.

Journal ArticleDOI
TL;DR: The aim of FoMAS'97 was to provide an opportunity for promoting and supporting activity in the research and development of multi-agent systems.
Abstract: Interest in agent-oriented technology continues to grow, both at a theoretical level and a practical level, with the UK maintaining a strong representation in the area in both academic institutions and commercial organizations. In December 1997, the Second UK Workshop on Foundations of Multi-Agent Systems (FoMAS'97), held at the University of Warwick, built on the success of FoMAS'96 a year earlier (Luck, 1997; Doran et al., 1997; d'Inverno et al., 1997; Fisher et al., 1997) in seeking to provide a forum for academics and industrialists within the UK to present and discuss current directions in research and applications development. Supported by the EPSRC and HP Labs, FoMAS'97 was expanded to two days with invited presentations from Professor Ken Binmore of UCL, and Professor Cristiano Castelfranchi of the Italian National Research Council's Institute of Psychology, in addition to paper presentations and panel discussions. The aim again was to provide an opportunity for promoting and supporting activity in the research and development of multi-agent systems.

Journal ArticleDOI
TL;DR: The First International Conference on Autonomous Agents brought together researchers concerned with implementing systems that perceive and act in dynamic, unpredictable environments, that coordinate interoperation among complementary component capabilities, and that perform significant jobs with a high degree of autonomy.
Abstract: The First International Conference on Autonomous Agents brought together researchers concerned with implementing systems that perceive and act in dynamic, unpredictable environments, that coordinate interoperation among complementary component capabilities, and that perform significant jobs with a high degree of autonomy.

Journal ArticleDOI
TL;DR: This paper discusses in depth one particular approach, default logic, including properties, semantics and computational models, which is concerned with making inferences in cases where the information at hand is incomplete.
Abstract: Default reasoning is concerned with making inferences in cases where the information at hand is incomplete. In such cases it is necessary to make plausible assumptions, which in default reasoning are based on default rules. This paper gives an introduction to the field. It discusses in depth one particular approach, default logic, including properties, semantics and computational models. It also gives an overview of other ideas and approaches.

Journal ArticleDOI
TL;DR: The relationship between the expert assistants area and the other areas of the conference is described, and the major research themes within this area are identified.
Abstract: This report summarises the papers presented in the expert assistants area at the First International Conference on Autonomous Agents. It describes the relationship between the expert assistants area and the other areas of the conference, and identifies the major research themes within this area.

Journal ArticleDOI
TL;DR: This workshop brought together researchers concerned with fundamental issues of modelling action, those developing automated planning techniques and those attempting to implement autonomous agents acting in the world.
Abstract: This workshop brought together researchers concerned with fundamental issues of modelling action, those developing automated planning techniques and those attempting to implement autonomous agents acting in the world. In the past, these research communities have been separate from each other to a surprising extent. Researchers interested in theories of action have busied themselves with finding solutions to the frame and ramification problems, for very expressive theories of action. On the other hand, researchers interested in developing planning systems have typically concentrated on efficiency over expressiveness and assumed away the frame and ramification problems by means of the “STRIPS assumption”. Finally, researchers interested in implementing autonomous agents have found their attention occupied by issues of execution monitoring and sensing.

Journal ArticleDOI
TL;DR: This report is a summary of the Third International Workshop on Rules in Database Systems (RIDS'97) (Geppert & Berndtsson, 1997) which was organized by the database groups at University of Zurich and University of Skovde (Sweden).
Abstract: This report is a summary of the Third International Workshop on Rules in Database Systems (RIDS'97) (Geppert & Berndtsson, 1997) which was organized by the database groups at University of Zurich (Switzerland) and University of Skovde (Sweden), and was held at the University of Skovde, June 26–28 1997. Following the success of RIDS '93 (Edinburgh) (Paton & Williams, 1993) (1st International Workshop on Rules in Database Systems), and RIDS '95 (Athens) (Sellis, 1995), the successor RIDS '97 brought together researchers working on both theoretical and practical aspects of rules in database systems.

Journal ArticleDOI
TL;DR: In recent years, interest in intelligent agents has ballooned, with the WWW as a source of seemingly limitless opportunity and robotics platforms becoming cheaper and more easily maintained.
Abstract: In recent years, interest in intelligent agents has ballooned. With the WWW as a source of seemingly limitless opportunity and robotics platforms becoming cheaper and more easily maintained, the applications are myriad, challenging and within reach of even small groups.