Article

Free access

Knowledge representation and inference control of SPERIL-II

Authors:

J. T. P. YaoAuthors Info & Claims

ACM '84: Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge

Pages 42 - 49

https://doi.org/10.1145/800171.809602

Published: 01 January 1984 Publication History

Abstract

SPERIL-II is an expert system for damage assessment of existing structures. Fuzzy sets for imprecise data and Dempster and Shafer's theory for combining fuzzy sets with certainty factors are used in an inexact inference. Since the process of the damage assessment is quite complex, metarules are used to control the inference in order to improve the effectiveness and reliability of results. The metarules in SPERIL-II are represented in logic form with emphases on the explicit representation of the selection of the rule group and the suitable inference method.

References

[1]

Bresler, B. and J.M. Hanson (1982). Damageability and Reliability of Existing Structures, Ninth U.S. National Congress of Applied Mechanics, Cornell University, Ithaca, NY, 309-313.

[2]

Buchanan, B.G. and E.A. Geigenbaum (1978). DENDRAL and METADENDRAL: Their Application Dimension, Artificial Intelligence, 11, 5-24.

Digital Library

[3]

Clancey, W.J. and R. Letsinger (1981). NEOMYCIN: Reconfiguring A Rule-Based Expert System for Application to Teaching, IJCAI-81, 829-836.

[4]

Clocksin, W., and C. Mellish, (1981). Programming in Prolog, Springer Verlag, New York.

Digital Library

[5]

Davis, R. (1980). Meta-Rules: Reasoning about Control, Artificial Intelligence, 15, 197-222.

[6]

Davis, R. et al. (1982). Diagnosis Based on Description of Structure and Function, Proc. Second Nati. Conf. of AI, 137-142.

[7]

Davis, R. and D. B. Lenat (1982). Knowledge-Based Systems in Artificial Intelligence, McGraw-Hill.

Digital Library

[8]

Dempster, A.P. (1967). Upper and Lower Probabilities Induced by a Multi-valued Mapping, Annals of Mathematical Statistics, 38, 325-339.

[9]

Erman, L.D. and Lessor, U.R. (1975). A multi-level organization for problem solving using many, diverse, cooperating sources of knowledge. IJCAI-75, 483-490.

[10]

Garvey, T.D., J. D. Lowrance and M. A. Fischler (1981). An inference technique for integrating knowledge from disparate sources, Proceeding of 7th IJCAI, 319-325.

[11]

Georgeff, M., and U. Bonollo (1983). Procedural Expert System. IJCAI-83, 151-157.

[12]

Greiner, R. and D. B. Lenat (1980). A Representation Language, The First Annual National Conference on Artificial Intelligence, 165-168.

[13]

Irown, C. B. (1979). A fuzzy safety measure. Journal of the Engineering Mechanics Division, 105, EM5, 855-872.

[14]

Ishizuka, M., K. S. Fu and J. T. P. Yao (1980). Inference Method for Damage Assessment System of Existing Structures, Structural Eng. Report, CE-STR-80-17, Civil Eng., Purdue University.

[15]

Ishizuka, M., K. S. Fu and J. T. P. Yao (1981a). Inexact Inference for Rule-Based Damage Assessment of Existing Structures, Proc. of 7th IJCAI, 837-842.

[16]

Ishizuka, M., K. S. Fu and J. T. P. Yao (1981b). SPERIL-I: Computer Based Structural Damage Assessment System, Structural Eng. Report, CE-STR-81-36. Civil Eng., Purdue Univ., Oct.

[17]

Ishizuka, M., K. S. Fu and J. T. P. Yao (1982). A Rule-Based Inference with Fuzzy Set for Structural Damage Assessment, Submitted to Cupta, M. M. and Sanchez, E. ed., Fuzzy Information and Decision Processes, North Holland Pub. Co.

[18]

Kim, J. H. and J. Pearl (1983). A computational model for causal and diagnostic reasoning in inference system, Proceeding of 8th IJCAI, 190-193.

[19]

Lenat, D. et al. (1983). Reasoning about Reasoning, in Building Expert Systems. (eds. F. Hayes-Roth, D. A. Waterman, and D. B. Lenat), 219-239.

[20]

Minsky, M. (1975). A Framework for Representing Knowledge, in P. H. Winston (ed.), The Psychology of Computer Vision, McGraw-Hill.

[21]

Ogawa, H., K. S. Fu, and J. T. P. Yao (1983). An Expert System for Structure Damage Assessment, Structural Eng. Report, CE-STR-83-33, Civil Eng., Purdue University.

[22]

Shafer, G. (1976). A Mathematical Theory of Evidence, Princeton Univ. Press.

[23]

Shapiro, E. Y. (1983). Logic Programs with Uncertainties: A Tool for Implementing Rule-Based Systems, IJCAI-83, 529-532.

[24]

Shortliffe, E.H. et al. (1981). ONCOCIN: An Expert System for Oncology Protocol Management, IJCAI-81, 876-881.

[25]

Stefik, M. (1981). Planning and Meta-Planning (MOLGEN: Part 2), Artificial Intelligence, 16, 141-170.

[26]

Thoft-Christensen, P. and M. J. Baker (1982). Structural Reliability Theory and Its Applications, Springer-Verlag, New Yark.

[27]

Wesley, L. P. (1983). Reading about control: the investigation of an evidential approach, Proceeding of 8th IJCAI, 203-206.

[28]

Yager, R. R. (1982). Generalized Probabilities of Fuzzy Events from Fuzzy Belief Structures, INFORMATION SCIENCES, 28, 45-62.

[29]

Yao, J. T. P. (1982). Damage evaluation for structural reliability assessment, Nuclear Engineering and Design, 75, 205-212.

[30]

Zadeh, L. A. (1968). Fuzzy sets as a basis for a theory of possibility, Int. J. Fuzzy Sets System, 1, 1, 3-28.

[31]

WJE, Technical Reports, Wiss, Janney Elstner and Associates, Inc., 330 Pfingsten Road, Northbrook, IL, 60062.

Cited By

(1989)Expert SystemsApplied Fuzzy Systems10.1016/B978-0-12-685242-4.50008-7(165-230)Online publication date: 1989
https://doi.org/10.1016/B978-0-12-685242-4.50008-7
Milanese V(1988)A proposal for a distributed model of GKS based on PrologComputer Graphics Forum10.1111/j.1467-8659.1988.tb00610.x7:3(203-214)Online publication date: 1-Sep-1988
https://dl.acm.org/doi/10.1111/j.1467-8659.1988.tb00610.x
Wah BLi G(1986)Survey on special purpose computer architectures for AIACM SIGART Bulletin10.1145/15715.15718(28-46)Online publication date: 1-Apr-1986
https://dl.acm.org/doi/10.1145/15715.15718

Index Terms

Knowledge representation and inference control of SPERIL-II
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
  2. Machine learning
    1. Machine learning approaches
      1. Rule learning
2. Information systems
  1. Information systems applications
    1. Decision support systems
      1. Expert systems

Recommendations

Uncertain inference control for balancing an inverted pendulum

Fuzzy inference control uses fuzzy sets to describe the antecedents and consequents of If-Then rules. However, most surveys show the antecedents and consequents are uncertain sets rather than fuzzy sets. This fact provides a motivation to invent an ...
Belief rule-base inference methodology using the evidential reasoning Approach-RIMER

In this paper, a generic rule-base inference methodology using the evidential reasoning (RIMER) approach is proposed. Existing knowledge-base structures are first examined, and knowledge representation schemes under uncertainty are then briefly ...
Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited
SOFSEM '01: Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics

We deal with the problem of rule interpolation and rule extrapolation for fuzzy and possibilistic systems. Such systems are used for representing and processing vague linguistic If-Then-rules, and they have been increasingly applied in the field of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ACM '84: Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge

January 1984

336 pages

ISBN:089791144X

DOI:10.1145/800171

Copyright © 1984 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1984

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
356
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)12

Reflects downloads up to 24 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

(1989)Expert SystemsApplied Fuzzy Systems10.1016/B978-0-12-685242-4.50008-7(165-230)Online publication date: 1989
https://doi.org/10.1016/B978-0-12-685242-4.50008-7
Milanese V(1988)A proposal for a distributed model of GKS based on PrologComputer Graphics Forum10.1111/j.1467-8659.1988.tb00610.x7:3(203-214)Online publication date: 1-Sep-1988
https://dl.acm.org/doi/10.1111/j.1467-8659.1988.tb00610.x
Wah BLi G(1986)Survey on special purpose computer architectures for AIACM SIGART Bulletin10.1145/15715.15718(28-46)Online publication date: 1-Apr-1986
https://dl.acm.org/doi/10.1145/15715.15718

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents