Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
This paper reports additions to the commercial, object-oriented language, Smalltalk-80 and their incorporation into a knowledge based environment, POISE. These additions are suitable for the purposes of knowledge representation of engineering design. A dynamic, knowledge representation scheme is supported that allows temporary associations between objects residing in separate, static, hierarchical structures. Message passing between these associated objects is dynamic. Messages are passed, incompletely satisfied, between socially acquainted objects in order to complete a computation. We show that a computing paradigm previously achieved by a specific language, written in the Actor tradition, can also be achieved in a strictly class-instance based language which is then used to create a design knowledge representation environment. A simple, accessible example is used to illustrate the power and generality of the new language. © 2002 Elsevier Science B.V. All rights reserved.
Joseph Y. Halpern
aaai 1996
Amy Lin, Sujit Roy, et al.
AGU 2024
Shachar Don-Yehiya, Leshem Choshen, et al.
ACL 2025
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022