Abstract
This paper describes a new formalism for inheritance systems, based on the formal semantics of set expressions. Using the formalism, it is possible to define new semantic classes by arbitrary set expressions operating on previously defined classes. Thus generalizing bothIS-A links andIS-NOT-A links and adding the set intersection operation. We present an efficient algorithm which follows these definitions to deduce the properties implied by the inheritance network, i.e., the properties of the classes containing a given element. The application which motivated the development of the formalism, namely semantic disambiguation of natural language, is also described.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. Aho, J. Hopcroft and J. Ullman,Data Structures and Algorithms (Addison-Wesley, 1983).
H. Ait-Kaci and P. Lincoln, LIFE — A Natural Language for Natural Language, MCC Technical Report Number ACA-ST-074-88, MCC, ACA Program, Systems Technology Laboratory, Austin, TX (1988).
H. Ait-Kaci and R. Nasr, LOGIN: A logic programming language with built-in inheritance, J. Logic Program. 3 (1986) 185–215.
A. Biewer, C. Feneyrol, J. Ritzke and E. Stegntritt, ASCOF — A modular multilevel system for French-German translation, Comput. Linguistics 11 (1985) 137–154.
G. Brewka, The logic of inheritance in frame systems,Proc. IJCAI-87, Milan (1987) pp. 483–488.
I. Dagan and A. Itai, Semantic disambiguation in MT: A prototype and its consequences, Technical Report #548, Computer Science Department, Technion — Israel Institute of Technology (1989).
S.E. Fahlman,NETL: A system for Representing and Using Real World Knowledge (The MIT Press, Cambridge, MA, 1979).
P.J. Hayes, The logic of frames, in:Readings in Artificial Intelligence, eds. R.J. Brachman and H.J. Levesque (Tioga Publ. Palo Alto, 1979) pp. 287–295.
P.J. Hayes and G.G. Hendrix, A logic view of types, SIGART Newsletter 74 (1981) 128–130.
D.E. Knuth,The Art of Computer Programming, 2nd ed., vol. 1 (Addison-Wesley, 1973) pp. 258–265.
F. Lang and L. Hirschman, Improved portability and parsing through interactive acquisition of semantic information,Proc. 2nd Conf. on Applied Natural Languages Processing, Austin, TX (1988) pp. 49–57.
M. Nagao, J.I. Tsujii and J.I. Nakamura, Japanese Government Project for MT, Comput. Linguistics 11 (1985).
E. Sandewall, Non-monotonic inference rules for multiple inheritance with exceptions, Proc. IEEE 74 (1986) 1345–1353.
D.S. Touretzky,The Mathematics of Inheritance Systems (Morgan Kaufmann, Los Altos, CA, 1986).
D.S. Touretzky, J.F. Horty and R.H. Thomasson, A clash of intuitions: The current state of nonmonotonic multiple inheritance systems,Proc. IJCAI-87, Milan (1987) pp. 476–482.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dagan, I., Itai, A. A set expression based inheritance system. Ann Math Artif Intell 4, 269–280 (1991). https://doi.org/10.1007/BF01531060
Issue Date:
DOI: https://doi.org/10.1007/BF01531060