Abstract
Semantic networks have long been recognized as useful in com-monsense reasoning and business applications. This paper explores an attempt to capture a set of business rules as a semantic network. While some of these rules can be expressed as nodes and their connecting links, other rules are best thought of as logical formulae that are attached to particular nodes. We define Augmented Semantic Networks, a formal structure that can capture this concept. We discuss several of the problems that arise in Augmented Semantic Networks and suggest solutions to these problems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Proceedings of the First International Conference on Enterprise Modelling Technology, MIT Press, 1990
D. Etherington: Reasoning with Incomplete Information, Morgan Kaufmann, Los Altos, 1988
M. Gelfond and H. Przymusinska: Formalization of Inheritance Reasoning in Autoepistemic Logic, Fundamenta Informaticae, 1990
B. Grosof: Generalizing Prioritization, in J. Allen, R. Fikes, and E. Sandewall (eds): Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, 1991, 289–300
J. Horty: Some Direct Theories of Nonmonotonic Inheritance in D. Gabbay, C. Hogger, and J. Robinson, eds: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, Oxford, 1994, 111–187
J. Horty and R. Thomason: Boolean Extensions of Inheritance Networks, AAAI 1990, Morgan Kaufmann, Los Altos, 1990, 663–669
J. Horty, R. Thomason and D. Touretzky: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks, Artificial Intelligence 42, 1990, 311–349
H. Kautz: A Formal Theory of Plan Recognition and its Implementation in J. Allen, H. Kautz, R. Pelavin, and J. Tenenberg: Reasoning About Plans, Morgan Kaufman, San Mateo, 1991, 69–125
H. Kautz and B. Selman: Hard Problems for Simple Default Logics in R. Brachman, H. Levesque, and R. Reiter (eds): Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufman, San Mateo, 1991, 189–197
H. Kilov and I. Simmonds: Business patterns: Reusable Abstract Constructs for Business Specifications, to appear in Proceedings, IFIPWG8.3 Conference, London, July 1996, Chapman and Hall
H. Kilov, Private communication
E. Mays, R. Dionne, and R. Weida: K-REP System Overview, SIGART Bulletin, 2:3, 1991
J. McCarthy: Circumscription — A Form of Non-Monotonic Reasoning, Artificial Intelligence 13, 1980, 27–39
J. McCarthy: Applications of Circumscription to Formalizing Common-sense Knowledge, Artificial Intelligence 28, 1986, 86–116
D. McDermott: A Temporal Logic for Reasoning About Processes and Plans, Cognitive Science 6, 1982, 101–155
M. Minsky: “A Framework for Representing Knowledge,” in The Psychology of Computer Vision, ed. P.H. Winston, McGraw Hill, New York, 1975, 211–277
M. Quillian: Semantic Memory in M. Minsky (ed): Semantic Information Processing, MIT Press, Cambridge, 1968
R. Reiter: A Logic for Default Reasoning, Artificial Intelligence 13, 1980
R. Reiter and G. Criscuolo: On Interacting Defaults, IJCAI 1981, 270–276
J. Schmolze and T. Lipkis: Classification in the KL-ONE Representation System, IJCAI 1983
B. Selman and H. Levesque: The Complexity of Path-Based Defeasible Inheritance, Artificial Intelligence 62:2, 1993, 303–340
Y. Shoham: Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence, MIT Press, Cambridge, 1988
J. Sowa: Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, 1984
D. Touretzky: The Mathematics of Inheritance Systems, Morgan Kaufmann, Los Altos, 1986
W. Woods: “What’s in a Link,” in D. Bobrow and A. Collins, eds: Representation and Understanding, Academic Press, New York, 1975, 35–82
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Morgenstern, L. (1996). Specifying and Reasoning about Business Rules in a Semantic Network. In: Object-Oriented Behavioral Specifications. The Springer International Series in Engineering and Computer Science, vol 371. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-27524-6_11
Download citation
DOI: https://doi.org/10.1007/978-0-585-27524-6_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9778-6
Online ISBN: 978-0-585-27524-6
eBook Packages: Springer Book Archive