Article

Free access

An introspective environment for knowledge based simulation

Authors:

Venkataseshan Baskaran,

Y. V. ReddyAuthors Info & Claims

WSC '84: Proceedings of the 16th conference on Winter simulation

Pages 644 - 651

Published: 01 January 1984 Publication History

PDF eReader

Abstract

An intelligent system is developed to help the user in building models which can disclose their operation, learn, verify and check their own operations. The knowledge necessary for this is represented using the knowledge representation language SRL and this allows the user to enter the necessary information at different levels of abstraction. In addition to automatic verification, some important debugging aids like selective tracing of any collection of model elements under different conditions are also developed.

References

[1]

R. W. Hamming, Numerical Methods for Scientists and Engineers, McGraw-Hill, New York, 1962.

Digital Library

Google Scholar

[2]

Mark S. Fox and Y.V.Reddy, "Knowledge Representation in Organization Modeling and Simulation: Definition and Interpretation," Proceedings of the Thirteenth Annual Pittsburgh Conference, April 1982, Held at School of Engineering University of Pittsburgh

Google Scholar

[3]

Y.V.Reddy and Mark S. Fox, "Knowledge Representation in Organization Modeling and Simulation: A detailed Example," Proceedings of the Thirteenth Annual Pittsburgh Conference, April 1982, Held at School of Engineering University of Pittsburgh

Google Scholar

[4]

Y.V. Reddy and Mark S. Fox, "KBS: A Knowledge Based Simulator - User's Manual," CMU Robotics Institute, Internal Working Document, June 1983

Google Scholar

[5]

Y. V. Reddy, Alan Butcher and Philip McBride, "KBS Tutorial - Factory Simulation Environment," WVU Artificial Intelligence Lab, Internal Working Document, June 1983

Google Scholar

[6]

Mark S. Fox, "SRL - A Knowledge Representation Language," CMU Robotics Institute, Internal Working Document

Google Scholar

[7]

Nancy Roberts, David Anderson, Ralph Deal, Michael Garet, William Shaffer, Introduction to Computer Simulation: The systems Dynamics Approach, Addison-Wesley, 1983.

Digital Library

Google Scholar

[8]

Nizwer Husain, "A Workshop Model," WVU AI Lab, Internal Working Document

Google Scholar

[9]

Venkataseshan Baskaran, "Self-Understanding and Automatic-Verification of Simulation Models," Master's thesis, West Virginia University, 1984.

Google Scholar

[10]

James A Payne, Introduction to Simulation: Programming Techniques and Methods of Analysis, McGraw-Hill, 1982.

Digital Library

Google Scholar

Cited By

View all

Nance ROverstreet CPage E(1996)Redundancy in model representationProceedings of the 28th conference on Winter simulation10.1145/256562.256790(701-707)Online publication date: 8-Nov-1996
https://dl.acm.org/doi/10.1145/256562.256790
Overstreet CPage ENance RSadowski DSeila A(1994)Model diagnosis using the condition specificationProceedings of the 26th conference on Winter simulation10.5555/193201.194304(566-573)Online publication date: 11-Dec-1994
https://dl.acm.org/doi/10.5555/193201.194304
Murray KSheppard S(1987)Automatic model synthesisProceedings of the 19th conference on Winter simulation10.1145/318371.318652(534-543)Online publication date: 1-Dec-1987
https://dl.acm.org/doi/10.1145/318371.318652
Show More Cited By

Index Terms

An introspective environment for knowledge based simulation
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
  2. Modeling and simulation
    1. Simulation support systems
      1. Simulation environments

Recommendations

Discovering role-based virtual knowledge flows for organizational knowledge support

In knowledge-intensive work environments, workers need task-relevant knowledge and documents to support the execution of tasks. A knowledge flow (KF) represents an individual's or group's knowledge-needs and referencing behavior of codified knowledge ...
Exploiting PSL standard assertions in a theorem-proving-based verification environment
GLSVLSI '05: Proceedings of the 15th ACM Great Lakes symposium on VLSI

Assertion-based design is becoming more widely used in industry. However, little has been done to take advantage of existing design assertions in the theorem-proving verification environments. In this paper, we present our work on development of the ...
Improving simulation-based verification by means of formal methods
ASP-DAC '04: Proceedings of the 2004 Asia and South Pacific Design Automation Conference

The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based verification is used. Large testbenches are created and if the design ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

WSC '84: Proceedings of the 16th conference on Winter simulation

January 1984

775 pages

Publisher

IEEE Press

Publication History

Published: 01 January 1984

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
83
Total Downloads

Downloads (Last 12 months)17
Downloads (Last 6 weeks)2

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Nance ROverstreet CPage E(1996)Redundancy in model representationProceedings of the 28th conference on Winter simulation10.1145/256562.256790(701-707)Online publication date: 8-Nov-1996
https://dl.acm.org/doi/10.1145/256562.256790
Overstreet CPage ENance RSadowski DSeila A(1994)Model diagnosis using the condition specificationProceedings of the 26th conference on Winter simulation10.5555/193201.194304(566-573)Online publication date: 11-Dec-1994
https://dl.acm.org/doi/10.5555/193201.194304
Murray KSheppard S(1987)Automatic model synthesisProceedings of the 19th conference on Winter simulation10.1145/318371.318652(534-543)Online publication date: 1-Dec-1987
https://dl.acm.org/doi/10.1145/318371.318652
Helman DBahuguna A(1986)Explanation systems for computer simulationsProceedings of the 18th conference on Winter simulation10.1145/318242.318476(453-459)Online publication date: 1-Dec-1986
https://dl.acm.org/doi/10.1145/318242.318476

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Discovering role-based virtual knowledge flows for organizational knowledge support

Exploiting PSL standard assertions in a theorem-proving-based verification environment

Improving simulation-based verification by means of formal methods