Bezem, M. Consistency Of Rule-Based Expert Systems. Tech. Report Centre for Mathematics and Computer Science, July 1987.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... is represented and reasoned with explicitly using formalisms as robust as those used for other kinds of expertise: Development Time Conflict Resolution: Systems of this type require that potential conflicts be compiled out of them by virtue of exhaustive discussions when they are developed [3, 34, 48, 51, 39]. The conflict resolution knowledge utilized by the domain Mark Klein Conflict Management 4 experts is then implicit in the individual conflict resolution decisions made during development. This approach has a number of serious disadvantages. For example, it is very time consuming to change or ....

Bezem, M. Consistency Of Rule-Based Expert Systems. Tech. Report Centre for Mathematics and Computer Science, July 1987.

....derived from human experts representing different, often conflicting, areas of expertise. This approach involves finding and resolving all possible conflicts among the knowledge base entries before the system is used, typically using some kind of semantic analysis of the knowledge base contents (Bezem 1987) (Trice and Davis Page 13 1989) Such a conflict management process would have the following subtasks when modeled as a specialization of the generic conflict management meta process (Table 3) Subtask How Implemented Identify target conflicts The target conflicts are inconsistencies among the ....

Bezem, M. (1987). Consistency Of Rule-Based Expert Systems, Centre for Mathematics and Computer Science.

....of diagnostic medical knowledge. Diagnostic medical knowledge is represented in the HEPAR system using production rules with object attribute value tuples. According to the declarative reading of rules, translation of most production rules is straightforward yielding logical implications [2, 24]. An example of such a logical implication concerning Wilson s disease is shown below: 8x(Duration(x; complab,chronic) disorder(x) hepatocellular) age(x) 25) caeruloplasmin(x; labresult,biochemistry) 20) urinary copper(x; labresult,biochemistry) 1) Diagnosis(x; Wilson s ....

M. Bezem, Consistency of rule-based expert systems, in: E. Lusk, R. Overbeek (eds.), Proceedings of the 9th International Conference on Automated Deduction, (SpringerVerlag, Berlin, 1988) 151-161.

....a good deal of applications use the classical logic. At the same time, many artificial intelligence applications have tried to get the support of Software Engineering (SE) practices such as modularity [Antoniou, 1993] compositionality [Treur and Willems, 1994] and clear formal semantics for KBSs [Bezem, 1987]. This paper is yet another attempt to get the advantages of a closer cooperation with SE. When defining the main features of a reliable system, the support of a formal basis is important. In the development of KBS applications, where the body of knowledge is still linked to the practice and ....

Bezem, M. (1987) Consistency of Rule-Based Expert Systems. In Lecture Notes in Computer Science, vol. 310, Springer Verlag.

....derived from human experts representing different, often conflicting, areas of expertise. This approach involves finding and resolving all possible conflicts among the knowledge base entries before the system is used, typically using some kind of semantic analysis of the knowledge base contents (Bezem 1987) (Trice and Davis 1989) Such a conflict management process would have the following subtasks when modeled as a specialization of the generic conflict management meta process (Table 3) Subtask How Implemented Identify target conflicts The target conflicts are inconsistencies among the ....

Bezem, M. (1987). Consistency Of Rule-Based Expert Systems, Centre for Mathematics and Computer Science.

.... is represented and reasoned with explicitly using formalisms as robust as those used for other kinds of expertise: Development Time Conflict Resolution: Systems of this type require that potential conflicts be compiled out of them by virtue of exhaustive discussions when they are developed [2, 36, 47, 50, 39]. The conflict resolution knowledge utilized by the domain experts is then implicit in the individual conflict resolution decisions made during development. This approach has a number of serious disadvantages. For example, it is very time consuming to change or add to the existing design agents. ....

Bezem, M. Consistency Of Rule-Based Expert Systems. Tech. Report Centre for Mathematics and Computer Science, July 1987.

....vary in the extent to which conflict resolution expertise is made explicit and available for use during run time. Development Time Conflict Resolution: Traditional knowledge based systems rely on all of the potential conflicts between different perspectives being resolved at development time [bezem 87], nguyen 85] suwa 82] The conflict resolution knowledge utilized by the experts is then implicit in the individual conflict resolution decisions made during development. While this approach can be used in cooperative problem solving systems, there are a number of advantages to allowing ....

....number of advantages to allowing conflicts among knowledge sources to be detected and resolved at run time using explicitly represented conflict resolution strategies. Reduced Development Time: Resolving all conflicts, no matter how unlikely, at development time can be prohibitively time consuming [bezem 87]. Dividing the domain knowledge into smaller internally consistent collections according to domain of expertise, and using run time strategies to mediate conflicts among KSs should reduce the need for exhaustive developmenttime consistency checking. In practice, only a portion of all possible ....

Bezem. Consistency of Rule-Based Expert Systems. Report CS-R8736. Centre for Mathematics and Computer Science. Amsterdam, The Netherlands. July 1987.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC