Filters








94 Hits in 5.9 sec

Applying KADS to KADS: knowledge-based guidance for knowledge engineering

John Kingston
1995 Expert systems  
This paper reviews three projects, which i n vestigated the feasibility o f producing speci c guidance for certain decisions which are required when using KADS or CommonKADS to develop a knowledge based  ...  The KADS methodology Schreiber et al, ] T ansley & Hayball, 1993 and its successor, CommonKADS Wielinga et al, 1992]) have p r o ved to be very useful approaches for modelling the various transformations  ...  I would also like to thank Dr Robertson, Dr Haggith and Robert Rae of AIAI for their comments on drafts of this paper.  ... 
doi:10.1111/j.1468-0394.1995.tb00022.x fatcat:serdtrobsfhcjb2r67ll2rjhpu

Knowledge Engineering [chapter]

2014 Encyclopedia of Social Network Analysis and Mining  
The KADS methodology is described to show how structured knowledge engineering of a problem can be based on documented techniques for project management, analysis, and design.  ...  The CYC project to represent a portable set of general knowledge that can be used as a basis for any novel system is described.  ...  Clancey (1985) had the insight that all heuristic classification tasks had a common inference structure, which is represented as a KADS inference structure in Figure 2 .  ... 
doi:10.1007/978-1-4614-6170-8_100788 fatcat:iiauuwgtdrhbpfgflleheaf6pu

A comparison of languages which operationalize and formalize KADS models of expertise

Dieter Fensel, Frank van Harmelen
1994 Knowledge engineering review (Print)  
Acknowledgement We thank all participants of the workshops on languages for KADS models (at GMD,  ...  The original KADS framework proposed a small set of fixed inferences that should be used as building blocks for inference structures (crit. I8).  ...  Coloured Petri-nets are used in MoMo to represent the inference structure.  ... 
doi:10.1017/s0269888900006767 fatcat:es6a72d46ba35mzlxnlcyhqsli

Acquisition of gradual knowledge [chapter]

Rose Dieng, Olivier Corby, Stéphane Lapalut
1993 Lecture Notes in Computer Science  
Topoi are gradual inference rules, often used by experts in several problem classes: they can be exploited at various phases of a knowledge-based system life cycle.  ...  Some knowledge elicitation techniques such as rating grids and some knowledge acquisition methods such as KADS and KOD can be exploited in order to facilitate the acquisition of topoi.  ...  So, topoi may be used in such inference methods: KADS could indicate that, for a given knowledge source (for example, assign-value or compute) appearing in a given inference structure, the associated inference  ... 
doi:10.1007/3-540-57253-8_65 fatcat:7b4t4hbqhzh67njucb3gslh7ky

Methodologies for the development of knowledge-based systems, 1982–2002

ROBERT PLANT, ROSE GAMBLE
2003 Knowledge engineering review (Print)  
This paper presents a brief discussion of some of the important research in knowledge-based system life cycles and development methods.  ...  The last decade, however, has seen an increased effort to produce methodologies to counter this view as well as continued research into validation and verification techniques.  ...  laws of behaviour that determine how system behaviour depends on the component behaviour and the structure of the system" (Newell, 1972) .  ... 
doi:10.1017/s026988890300064x fatcat:bpcexfurzjb2tlrr6yrl2ekouq

Object-oriented patterns: lessons from expert systems

Tim Menzies
1997 Software, Practice & Experience  
KADS) is to identify abstract patterns of inference that appear in many expert systems.  ...  Such abstract patterns of inference and program structure, it is argued, are productivity tools for the creation of software applications; i.e. £ ¡ argues for a similar reuse benefit as OO patterns.  ...  Wielinga et. al. note that, as of 1992, KADS has been used in some 40-to 50 knowledge-based systems (KBS) projects, 17 of which are described in published papers ¥ § ¦ (e.g.  ... 
doi:10.1002/(sici)1097-024x(199712)27:12<1457::aid-spe140>3.0.co;2-9 fatcat:7id4loajejg3lludlii7dvr3si

Object‐oriented patterns: lessons from expert systems

Tim Menzies
1997 Software, Practice & Experience  
KADS) is to identify abstract patterns of inference that appear in many expert systems.  ...  Such abstract patterns of inference and program structure, it is argued, are productivity tools for the creation of software applications; i.e. £ ¡ argues for a similar reuse benefit as OO patterns.  ...  Wielinga et. al. note that, as of 1992, KADS has been used in some 40-to 50 knowledge-based systems (KBS) projects, 17 of which are described in published papers ¥ § ¦ (e.g.  ... 
doi:10.1002/(sici)1097-024x(199712)27:12<1457::aid-spe140>3.3.co;2-0 fatcat:bfcutlommjhyni26dvlw2p7soe

Knowledge maintenance: the state of the art

Tim Menzies
1999 Knowledge engineering review (Print)  
do badly, the hardest thing to do correctly.  ...  maintenance (KM) of knowledge-based systems = Insight + reflect + change + preserve Insight = seeing bug or enhancements Reflect = searching the dependencies between concepts Change = the easiest thing to  ...  Undesired behaviours can be removed by specializing a pre-condition; e.g. increasing the number of tests in a conjunction.  ... 
doi:10.1017/s0269888999134052 fatcat:v7ghbg75cbcbzkaa4f5s2jr6em

Formal methods in knowledge engineering

Frank van Harmelen, Dieter Fensel
1995 Knowledge engineering review (Print)  
This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a speci c issue in more detail.  ...  We give an historical account of the development of the eld of Knowledge Engineering towards the use of formal methods. Subsequently, w e discuss the pro's and cons of formal methods.  ...  Acknowledgements We are grateful to Jan Treur, Pascal van Eck and two anonymous referees for their comments on this paper.  ... 
doi:10.1017/s0269888900007554 fatcat:rcxcgal3zrh5fppdci6tpiccma

The notion of role in conceptual modeling [chapter]

C. Reynaud, N. Aussenac-Gilles, P. Tchounikine, F. Trichet
1997 Lecture Notes in Computer Science  
This analysis suggests some developments to better exploit the relationship between reasoning and domain knowledge. We present them in a last section.  ...  Secondly, we introduce several properties which can be used to analyse, characterise and define the notion of role. We evaluate and compare the works exposed previously following these dimensions.  ...  Finally, the operational description allows prototyping to evaluate the behaviour of the KBS under development (ZTM, OMOS). Roles can also be a means to support the conceptual model design.  ... 
doi:10.1007/bfb0026788 fatcat:tpmal5a6vfaxzhuv725435isqm

Knowledge engineering: Principles and methods

Rudi Studer, V.Richard Benjamins, Dieter Fensel
1998 Data & Knowledge Engineering  
In the early eighties the development of a KBS has been seen as a transfer process of human ! !  ...  We discuss the paradigm shift from a transfer view to a modeling view and describe two approaches which considerably shaped research in Knowledge Engineering: Role-limiting Methods and Generic Tasks.  ...  Acknowledgement Thanks are due to Stefan Decker for valuable comments on a draft version of the paper. Rainer Perkuhn provided valuable editorial support.  ... 
doi:10.1016/s0169-023x(97)00056-6 fatcat:7m5tejgc5vegzeomxuv7qlov6q

CML: The commonKADS conceptual modelling language [chapter]

Guus Schreiber, Bob Wielinga, Hans Akkermans, Walter Velde, Anjo Anjewierden
1994 Lecture Notes in Computer Science  
We present a structured language for the specification of knowledge models according to the CommonKADS methodology.  ...  The use of our CML is illustrated by a variety of examples taken from the VT elevator design system.  ...  Acknowledgements The CML notation is the result of a series of discussions in which many participants in KADS-II participated.  ... 
doi:10.1007/3-540-58487-0_1 fatcat:5ye25w5j7ralrfylnsi7kviieq

The development, validation and implementation of knowledge-based systems

Robert M. O' Keefe, Alun D. Preece
1996 European Journal of Operational Research  
The paper reviews progress in understanding and using development methodologies, validation methods (now generally considered as crucial to technical success) and implementation.  ...  Some ideas about where KBS "fits in" to the array of tools, techniques and methodologies available to the modern analyst and system developer are presented.  ...  Limited experiments performed to date -albeit using somewhat simple application systems -have suggested that a combination of structural and functional testing is a highly effective means of exposing faults  ... 
doi:10.1016/0377-2217(96)00005-7 fatcat:dmgfu2h7g5dfdjd733mkosqwg4

Formal Methods in the Development of Safety-Critical Knowledge-Based Components

Giovanna Dondossola
1998 Failure and Lessons Learned in Information Technology Management  
Therefore it seems quite natural to propose a pervasive use of formal methods from the early stages of the development as a vehicle to promote the acceptance of KB software in safety critical application  ...  On the other hand, research works in the Knowledge Engineering field are proposing new formal methods as a means to increase the quality of KB software products and processes.  ...  On the other hand, the level of structure in formal specifications can be used to support structural testing.  ... 
doi:10.3727/108812898791918262 fatcat:5iz2pgeu4vb5pmwkqpvlgynlhe

Mapcar: A framework to support the elaboration of the conceptual model of a knowledge‐based system

Pierre Tchounikine
1997 International Journal of Intelligent Systems  
We argue that such an objective cannot be tackled by refining a predefined model. We propose to use a prototype reifying the model as a means for its study.  ...  This paper presents an approach to support the elaboration of such a conceptual model by data-abstraction.  ...  Thanks to Angi Voss (GMD, Sankt Augustin, Germany) and Philippe Laublet (Laforia, Paris, France) for their comments on an earlier version of this paper.  ... 
doi:10.1002/(sici)1098-111x(199706)12:6<441::aid-int2>3.3.co;2-q fatcat:63b4mpjrhvdklc3t5lktzbdn3u
« Previous Showing results 1 — 15 out of 94 results