Ishikawa, Y; Tokoro, M. A Concurrent Object-Oriented Knowledge Representation Language Oriente84/K: Its Features and Implementations. SIGPLAN Notices, 21(11), pp.232-241, Nov. 1986.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of OOPC, an object oriented dialect of C. Cox83 Cox84 Cox86] OPAL: Object oriented system from Syslab, University of Stockholm. Ahls84a Ahls85] Orient84 K: An object oriented concurrent programming language for describing knowledge systems, written in C and Lisp. From Keio University, Japan. [Ishi86 Toko86] Oz: Object oriented system for OIS applications from UofT. Ancestor of Hybrid. Moon84 Nier83a Nier85a Twai84 Weis85] Poise: A CAD CAM object management system. Croft85] POOL: Parallel Object Oriented Language from Philips, Eindhoven. Actually a family of languages for programming ....

Y. Ishikawa and M. Tokoro, "A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation", ACM SIGPLAN Notices, vol. 21, no. 11, pp. 232-241, Nov 1986.

....mental attitudes to be represented. Logic programming is an obvious support for representing and inferring relationships among mental attitudes such as intentions, goals and beliefs, but it presents several limitations in the definition of action capabilities. Certainly, multi paradigm languages [5,7,8,9,12] that integrate logic and objectoriented paradigms can guide the definition of a language for supporting multi agent development. The old multi paradigm languages have pointed to the management of both modularization and inference of knowledge; modularization provided by objectoriented languages ....

....languages. On the other hand, proposals of object oriented languages manipulating logic clauses show another alternative on the usages of clauses. Here, a sequence of clauses is viewed as knowledge recorded in instance variables, contracting the behavior view. These languages (i.e. ORIENT 84 [7]) enable the creation of knowledge bases in objects and their management through a set of given tools. From these experiences we have learned the importance of both usages of clauses, in inner knowledge specification and behavior codification. Specifically, it is due to the need of agent oriented ....

Y. Ishikawa, M. Tokoro. A Concurrent Object-Oriented Knowledge Representation Language Oriente84/k: It's features and implementation, SIGPLAN Notices, 21(11):232-241, 1986.

....is necessary to manipulate knowledge responding to some kind of logic that logic languages provide. For this reason, the possibility to add knowledge in a declarative form to an object oriented program became relevant. Examples of languages that integrate knowledge in objects are shown in [Ishikawa, 1986] and [Amaral, 1993] These languages allow the creation of a knowledge base in each object and the management of it through a set of facilities. Both of the extensions presented in this paper are in this last category. The reason is that agents behave as objects from an action point of view and ....

Y. Ishikawa, M. Tokoro, A Concurrent Object-Oriented Knowledge Representation Language Oriente84/k: It's features and implementation, SIGPLAN Notices, Vol. 21, No. 11, Nov. 1986, pp. 232-241.

....and we propose to distinguish between three main groups of such mergers: OO base language, extended with logical constructs, two base languages (OO and logic) interfaced, logic base language, extended with OO constructs. The examples of mergers with an OO base language are Orient84 K [IT86], KSL Logic [IT90] and CBL [BMS90] In Orient84 K and KSL Logic, deductive retrieval is facilitated through built in methods. Besides that, in KSL Logic, all logical constructs are viewed as objects. In CBL, an OO base language has been extended with means for expressing complex conditionals ....

Y. Ishikawa and M. Tokoro. Concurrent object-oriented knowledge representation language Orient84/K: Its features and implementation. In OOPSLA'86: OOP Syst., Lang. and Appl.: Conf. Proc., Portland, Sept/Oct 1986, pp 232-41. 1986. (SIGPLAN Notices,21(11)).

....synchronization policies the subclasses wish to introduce. As a consequence, well known proposals define concurrent objet based languages (by opposition to oriented, as they do not support inheritance [15] like ABCL 1 [17] or POOL [1] Languages like ConcurrentSmalltalk[16] or Orient84 K[7] do provide inheritance but do not support intra concurrency, that is there is only a single thread of control within an object. 2 What we want to solve We want to be able to express concurrency in an object oriented language. The level of concurrency should be at the level of the method, that ....

Y. Ishikawa and M. Tokoro. A Concurrent Object-Oriented Knowledge Representation Language Orient84/K. In Proceedings of the 1st ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'86), pages 232--241, Portland, Oregon, 1986.

....a motivation does not advocate an equal and co operating partnership between the object oriented and the logic programming paradigms, which is a more important objective for their integration. In the second camp, class methods are allowed to be defined as a set of clauses. Languages and systems [10, 15, 21, 18] of this camp require logical predicates to be specified within classes, i.e. predicates do not exist independently. In general, languages and systems of these two camps are extensions of a native programming paradigm by emulating programming constructs of the other paradigm as an enhancement of ....

Y. Ishikawa and M. Tokoro. Concurrent object-oriented knowledge representation language Orient84/K: Its features and implementation. In OOPSLA'86, pages 232--241, 1986.

.... the Conditional Rewriting Logic [54] Finally, we recall the following other proposal: Distributed Logic Programming, DLP [23] another extension of Prolog with special constructs for dealing with non logical variables, object creation and rendez vous communication; MultiLog [47] and Orient84 K [45]. In the last year, interesting works based on Linear Logic, have been also proposed in order to deal with all these aspects by exploiting its richer set of logical features provided. We will discuss them in the following section. 4 Specification of Concurrent Objects Based on the experience of ....

Y. Ishikawa and M. Tokoro. A concurrent object oriented knowledge representation language orient84/k: its features and implementation. OOPSLA 86 SIGPLAN Notices, 21(11):232-- 241, 1986.

....and the process of unification. Major components of the object oriented programming paradigm are objects, classes and methods. The different approaches of this emulation camp are characterized by the way they draw correspondences between their respective components. LogiC [21] and Orient84 K [22] allow class methods to be specified as a set of clauses. However, there is no direct correspondence between terms in clauses and objects of classes in these languages. In this way, they only support unification of simple syntactic symbols but not complex objects defined by users. In languages ....

Y. Ishikawa and M. Tokoro. Concurrent object-oriented knowledge representation language Orient84/K: Its features and implementation. In OOPSLA'86, pages 232--241, 1986.

....cannot be served because the accept interface is closed or the operation excluded, is delayed. When the interface is changed, the delayed requests are inspected in FIFO order to look for the first request that can be served, if any. If a request is found, it will be served immediately. Orient84 K [69, 70] is a concurrent language which combines logic and OOP. Objects in Orient84 K are called knowledge objects (KO) which may execute concurrently. They consist of three parts: a behavior part, a knowledge part, and a monitor part. The behavior part is very similar to an atomic object in ....

....with object oriented constructs or higher object oriented languages built on top of logic based languages. This classification was motivated by similar ones proposed in various papers [145, 42, 43, 28] The examples of object oriented language extended with logical constructs is Orient84 K [69, 70] and LogiC [155] In Orient84 K, deductive retrieval is facilitated through built in methods. Besides, all logical constructs are viewed as objects. In LogiC , a program is basically a C program. However, the Horn clauses in Prolog are used to express methods for the objects. Hence, the ....

Ishikawa Y., Tokoro M., A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation, OOPSLA, Proceeding, 1986.

....category is abstracted as a class which makes it possible to use inheritance to describe hierarchical classifications among syntactic categories. Probably there are other successful applications of esp to KR tasks which I am not aware of. 2. 2 Orient84 K: Concurrency, OO and LP Orient84 K [11, 12] is a language and system developed by Mario Tokoro and Yutaka Ishikawa. It is the realization of a methodology which the authors call Distributed Knowledge Object Modeling (DKOM) 18] but as mentioned before, I will not deal with the distributed aspects of Orient84 K here) Authors give a ....

Y. Ishikawa and M. Tokoro. Concurrent object-oriented knowledge representation language Orient84/K: Its features and implementation. In OOPSLA'86, Portland, OR, September 1986.

....does not advocate an equal and co operating partnerships between the object oriented and the logic programming paradigms which is regarded to be a more important objective for their integration. In the second camp, class methods are allowed to be defined as a set of clauses. Languages and systems (Ishikawa and Tokoro 1986; Mellender 1988; Wu 1991; Pun and Kahn 1995) of this camp require logical predicates to be specified within classes, i.e. predicates do not exist independently. In general, languages and systems of these two camps are extensions of a native programming paradigm by emulating programming constructs ....

Ishikawa, Y. and M. Tokoro (1986). Concurrent object-oriented knowledge representation language Orient84/K: Its features and implementation. In OOPSLA'86, pp.

....the problem at all. This approach is rather wide spread in early integration proposals like the one by Zaniolo [79] and in proposals which treat objects as encapsulated labeled collections of clauses (local theories) like McCabe s L O [59] class templates) or Ishikawa and Tokoro s Orient84K [38, 39] (an object based OOLP language) In the last two languages mentioned, an assignment operator is introduced for convenience and efficiency, but the logical semantics is the same as for assert retract. Bancilhon in [9, p.19] talks about clean queries and dirty updates and argues that since all ....

Y. Ishikawa and M. Tokoro. Concurrent object-oriented knowledge representation language Orient84 /K: Its features and implementation. In OOPSLA'86, Portland, OR, Sept. 1986.

....i.e. integers and characters, etc. are self controlled objects. By fine grained parallelism I mean that the language 3. Examples of object oriented parallel programming languages can be found in [Agha 87; America 87; Andrews 82; Athas 87a; Bershad 88; Brinch Hansen 78; Dally 88; Hutchinson 87a; Ishikawa 86; Krakowiak 90; Lieberman 87; Jul 87, 88; Shibayama 87; Yonezawa 86, 87; Yokote 86, 87] 6 has parallelism at the smallest object level, e.g. integer additions in compound expressions can be executed in parallel. A fine grained parallel computer is one that supports fine grained objects and ....

Yutaka Ishikawa and Mario Tokoro. A concurrent objectoriented knowledge representation language Orient84/K: Its features and implementation. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1986. ACM SIGPLAN Notices, 21(11):232-241, November 1986.

.... to its application to the development of Sloop, the object oriented methodology has been successfully applied to the development of other languages and systems supporting multiprocessing (ConcurrentSmalltalk [Yokote 86] Actra [Thomas 86] ABCL 1 [Yonezawa 86] Mach [Jones 86] and Orient84 K [Ishikawa 86] logic program 32 ming (Spool [Fukanaga 86] and Concurrent Prolog [Kahn 86] and database design (Gemstone [Maier 86] Intermedia [Meyrowitz 86] ENCORE [Skarra 86] and VBASE [Andrews 87] These extensions of the object oriented methodology into many diverse areas reflect growing ....

Yutaka Ishikawa and Mario Tokoro. A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 232--241, Portland, Oregon, October

No context found.

Ishikawa, Y; Tokoro, M. A Concurrent Object-Oriented Knowledge Representation Language Oriente84/K: Its Features and Implementations. SIGPLAN Notices, 21(11), pp.232-241, Nov. 1986.

No context found.

Ishikawa, Y. and Tokoro, M., A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation, Proceedings of OOPSLA'86, p232-241, September, 1986.

No context found.

Yutaka Ishikawa and Mario Tokoro. A concurrent object-oriented knowledge representation language Orient-84K: its features and implementations. In Proceedings of OOPSLA'86, volume 21, pages 232--241. SIGPLAN Notices, ACM Press, September 1986.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC