SCOPUS 정보 검색 플랫폼

Data and Knowledge Engineering

Volumn 40, Issue 1, 2002, Pages 33-70

A semantical perspective on verification of knowledge

(3) Leemans, Paul a Treur, Jan a Willems, Mark a

a VU UNIVERSITY AMSTERDAM (Netherlands)

Author keywords

Completeness; Consistency; Empirical foundation; Knowledge; Semantics; Soundness; Verification; Well informedness

Indexed keywords

DECISION TABLES; KNOWLEDGE REPRESENTATION; REDUNDANCY; SEMANTICS; SYNTACTICS; THEOREM PROVING;

KNOWLEDGE VERIFICATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0036027766 PISSN: 0169023X EISSN: None Source Type: Journal
DOI: 10.1016/S0169-023X(01)00045-3 Document Type: Article

Times cited : (10)

References (40)

1
- 0031258428
- Verification and correctness issues for nonmonotonic knowledge bases
- (1997) Int. J. Intelligent Syst. , vol.12 , Issue.10 , pp. 725-738
- Antoniou, G.¹

2
- 0003059004
- These d'etat, Chambery, September
- (1987) Protocols for consistency checking in expert systems knowledge bases: SACCO
- Ayel, M.¹

3
- 0001604137
- Principles of compositional multi-agent system development
- J. Cuena (Ed.), Proc. 15th IFIP World Computer Congress, WCC'98, IT & KNOWS'98, IOS Press, New York
- (1998) Conference on Information Technology and Knowledge Systems
- Brazier, F.M.T.¹ Jonker, C.M.² Treur, J.³

4
- 0004243841
- North Holland, Amsterdam
- (1973) Model Theory
- Chang, C.C.¹ Keisler, H.J.²

5
- 84957871808
- Compositional verification of knowledge-based systems: A case study in diagnostic reasoning
- E. Plaza, R. Benjamins (Eds.), Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop, EKAW'97, Springer, Berlin
- (1997) Lecture Notes in Artificial Intellegence , vol.1319 , pp. 65-80
- Cornelissen, F.¹ Jonker, C.M.² Treur, J.³

6
- 0023346191
- A decision-table-based processor for checking completeness and consistency in rule based expert systems
- (1987) Int. J. Man-Machine Studies , vol.26 , Issue.5 , pp. 633-648
- Cragun, B.J.¹ Steudel, H.J.²

7
- 0003052342
- Judging knowledge base quality
- M. Ayel, J.-P. Laurent (Eds.), Wiley, New York
- (1991) Validation Verification and Test of Knowledge-based Systems , pp. 207-219
- Craw, S.¹

8
- 0032183486
- Inverse verification of problem solving methods
- (1998) Int. J. Human-Computer Studies , vol.49 , Issue.4
- Fensel, D.¹ Schonegge, A.²

9
- 0003054492
- Formally verifying dynamic properties of KBS
- D. Fensel, R. Studer (Eds.), Proc. 11th Eur. Workshop on Knowledge Acquisition, Modeling, and Management, EKAW'99, Springer, New York
- (1999) Lecture Notes in Artificial Intelligence , vol.1621 , pp. 157-172
- Groot, P.¹ Ten Teije, A.² Van Harmelen, F.³

10
- 0002963376
- Consistencey, soundness and completeness of a diagnostic system
- M. Ayel, J.P. Laurent (Eds.), Wiley, New York (Chapter 8)
- (1991) Validation, Verification and Test of Knowledge-based Systems
- Guibert, V.¹ Beauvieux, A.² Haziza, M.³

11
- 0004026983
- Prentice-Hall, Englewoods Cliffs, NJ
- (1966) Philosophy of Science
- Hempel, C.G.¹

12
- 84949205205
- Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness
- W.P. De Roever, H. Langmaack, A. Pnueli (Eds.), Proc. Int. Workshop on Compositionality, COMPOS'97, Springer, Berlin, Int. J. Cooperative Inform. Syst., in press (Extended version)
- (1998) Lecture Notes in Computer Science , vol.1536 , pp. 350-380
- Jonker, C.M.¹ Treur, J.²

13
- 0003915473
- Report PE8904, Department of Mathematics and Computer Science, University of Amsterdam
- (1989) Representing world situations and information states by many-sorted partial models
- Van Langen, P.H.G.¹ Treur, J.²

14
- 0002908953
- Truth and persistence
- Stanford University, Stanford
- (1988) CSLI Lecture Notes , vol.15
- Langholm, T.¹

15
- 0026368240
- Modeling in the design of a KBS validation system
- (1991) Int. J. Intelligent Systems , vol.6 , pp. 759-775
- Larsen, H.L.¹ Nonfjall, H.²

16
- 0026819221
- Detection of potential inconsistencies in knowledge bases
- (1992) Int. J. Intelligent Systems , vol.7 , pp. 81-96
- Larsen, H.L.¹ Nonfjall, H.²

17
- 0030412381
- Completeness verification of rule-based control systems
- (1996) SAMS, Syst. Anal. - Model. - Simulat. (Int. J.) , vol.24 , pp. 211-220
- Ligeza, A.¹

18
- 0029404026
- Verification of qualitative properties of rule-based expert systems
- (1995) Appl. AI J. , vol.9 , pp. 587-621
- Lunardhi, A.D.¹ Passino, K.M.²

19
- 0002915523
- Completeness and consistency in knowledge based systems
- Charleston, South Carolina, April
- (1986) Proc. First Int. Conf. on Expert Database Systems , pp. 119-126
- Marek, W.¹

20
- 0002104412
- Incremental verification of rule-based expert systems
- B. Neumann (Ed.), Wiley, New York
- (1992) Proc. 10th Eur. Conf. on Artificial Intelligence, ECAI'92 , pp. 840-844
- Meseguer, P.¹

21
- 0027261681
- Verification of multi-level rule-based expert systems: Theory and practice
- (1993) Int. J. Expert Systems , vol.6 , pp. 163-192
- Meseguer, P.¹ Verdaguer, A.²

22
- 0022893233
- Expert system knowledge acquisition for domains of medical workup: An augmented transition network model
- Washington DC, Oct.
- (1986) Proc. 10th Annual Symposium on Computer Applications in Medical Care , pp. 30-35
- Miller, P.L.¹

23
- 0024622074
- Issues in the verification of knowledge in rule-based systems
- (1989) Int. J. Man-Machine Studies , vol.30 , pp. 255-271
- Nazareth, D.L.¹

24
- 0023209509
- Verifying consistency of production systems
- Orlando, Florida, February
- (1987) Proc. Third IEEE Conference on AI Applications , pp. 4-8
- Nguyen, T.A.¹

25
- 0002939231
- Checking an expert system knowledge base for consistency and completeness
- Los Angeles
- (1985) Proc. IJCAI-85 , pp. 375-378
- Nguyen, T.A.¹ Perkins, W.A.² Laffey, T.J.³ Pecora, D.⁴

26
- 0002887636
- Knowledge base verification
- (1987) AI Magazine , vol.8 , Issue.2 , pp. 69-75
- Perkins, W.A.¹ Laffey, T.J.² Pecora, D.³ Nguyen, T.A.⁴

27
- 0000382881
- A new approach to detecting missing knowledge in expert system rule bases
- (1993) Int. J. Man-Machine Studies , vol.38 , pp. 161-181
- Preece, A.D.¹

28
- 0032094977
- Structure-based validation of rule-based systems
- (1998) Data Knowledge Eng. , vol.26 , pp. 161-189
- Preece, A.D.¹ Grossner, C.² Chander, P.G.³ Radhakrishnan⁴

29
- 0003298778
- Verifying knowledge bases by anomaly detection: An experience report
- (1992) Proc. of ECAI , pp. 835-839
- Preece, A.D.¹ Shinghal, R.²

30
- 0031268655
- Evaluation of verification tools for knowledge-based systems
- (1997) Int. J. Human-Computer Studies , vol.47 , pp. 629-658
- Preece, A.¹ Talbot, S.² Vignollet, L.³

31
- 0008996523
- On the consistency of knowledge bases: The COVADIS system
- Munich, Germany, Pitman Publishing, London
- Proc. of ECAI-88
- Rousset, M.-C.¹

32
- 84990617533
- 1988
- (1988) Computational Intelligence , vol.4 , pp. 166-170

33
- 0042026250
- Completeness and consistency in a rule based system
- B.G. Buchanan, E.H. Shortliffe (Eds.), Addison-Wesley, Reading, MA
- (1985) Rule-based Expert Systems , pp. 159-170
- Suwa, M.¹ Garlisle Scott, A.² Shortliffe, E.H.³

34
- 0002650889
- An approach to verifying completeness and consistency in a rule based expert system
- (1982) AI Magazine , vol.3 , Issue.4 , pp. 16-21
- Suwa, M.¹ Scott, A.² Shortliffe, E.H.³

35
- 0002232574
- Completeness and definability in diagnostic expert systems
- Munich, Germany
- (1988) Proc. Eur. Conf. on AI, ECAI-88 , pp. 619-624
- Treur, J.¹

36
- 38249006513
- Heuristic reasoning and relative incompleteness
- (1993) Int. J. Approximate Reason. , vol.8 , pp. 51-87
- Treur, J.¹

37
- 0000091469
- Declarative functionality descriptions of interactive reasoning modules
- H. Boley, M.M. Richter (Eds.), Processing Declarative Knowledge, Proc. International Workshop PDK-91, Springer, New York
- (1991) Lecture Notes in AI , vol.567 , pp. 221-236
- Treur, J.¹

38
- 0002288567
- A logical foundation for verification
- A.G. Cohn (Ed.), Wiley, Chichester
- (1994) Proc. of the 11th European Conference on Artificial Intelligence, ECAI'94 , pp. 745-749
- Treur, J.¹ Willems, M.²

39
- 0032677016
- Verification and validation of knowledge-based systems
- (1999) IEEE Trans. Knowledge and Data Eng. , vol.11 , Issue.1 , pp. 202-212
- Tsai, W.-T.¹ Vishnuvajjala, R.² Zhang, D.³

40
- 0001733633
- Prolegomena to a theory of mechanized formal reasoning
- (1980) Artificial Intelligence , vol.13 , pp. 133-170
- Weyhrauch, R.W.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.