Recording and Analysing Knowledge-Based Distributed Deduction Processes
نویسندگان
چکیده
منابع مشابه
Recording and Analysing Knowledge-Based Distributed Deduction Processes
Distributed models for deduction allow for more powerful proof systems, but also lead to new problems. In particular, the analysis of the deduction process becomes harder, as a number of largely independent agents may contribute to the proof. In a system including cooperating agents timing considerations can lead to further problems. In this paper we rst introduce the TEAMWORK method and the DI...
متن کاملRecording, Analyzing and Presenting Distributed Deduction Processes
Distributed models for deduction allow for more powerful proof systems, but also lead to new problems. In particular, the analysis of the deduction process becomes harder, as a number of largely independent agents may contribute to the proof. In a system including cooperating agents timing considerations can lead to further problems. In this paper we rst introduce the TEAMWORK method and the DI...
متن کاملKMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
Existing approaches in the area of knowledge-intensive processes focus on integrated knowledge and process management systems, the support of processes with KM systems, or the analysis of knowledge-intensive activities. For capturing knowledge-intensive business processes well known and established methods do not meet the requirements of a comprehensive and integrated approach of process-orient...
متن کاملModel-Based Deduction for Knowledge Representation
This paper argues that model-based automated deduction techniques are very well suited for knowledge representation purposes. As a motivation we describe three applications and we discuss the requirements for a knowledge representation formalism. The presentation of our KR-system, KRHYPER, is centered aoround the equation KRHYPER = Kernel+ Logic Programming where we put particular emphasis on t...
متن کاملAn Architecture for Knowledge Based Deduction
Th i s paper d e s c r i b e s the d e s i g n o f a g e n e r a l purpose d e d u c t i o n eng ine f o r use i n expe r t sys tems. I t r e p r e s e n t s an e x t e n s i o n o f a n a t u r a l d e d u c t i o n theorem p r o v e r t h a t has e l i m i n a t e d the n e g a t i o n symbol in f a v o r o f c e r t a i n t y f a c t o r s and has an improved method o f s p l i t t i n g pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1996
ISSN: 0747-7171
DOI: 10.1006/jsco.1996.0029