H. Kauffman and A, Grumbach. `MULTILOG: MULTIple worlds in LOGic Programming'. in B. du Boulay, D. Hogg and L. Steels (eds). Proceedings of the 7th European Conference on Artificial lntelligence (ECAI 86). Brighton. July 1986. North-Holland. Amsterdam. 1086, pp. 291--305  Home/Search   Document Not in Database   Summary   Related Articles   Check

....inheritance refers to all the consequences of axioms, atomic inheritance refers to their atomic consequences. Although both aspects of content inheritance are useful to knowledge representation, existing combinations of logic and objects, except [21] address either complete inheritance (e.g. [7, 15, 18]) or atomic inheritance (e.g. 20] but not both as SILO does. Apart from various inheritance aspects, there are also a number of knowledge specialisation types (or specialisations) required for knowledge representation. The more specialisations an inheritance mechanism is able to support the ....

....facilitates representation of state changes in problems like those relating to planning in the blocks world (see e.g. 9 Ch.11] The state change in the example of Fig.4 can be represented as in Fig.5, where state2 is a subclass of state1. 25 The same example is reported in [21] and MULTILOG [18], where solution invalidation and inheritance with exceptions respectively are employed. In SILO, the multi valued predicates has on table , has on and has free are used, instead of the standard on table , on and free , for better readability. The system in [21] uses extra units ....

[Article contains additional citation context not shown here]

H. Kauffmann and A. Grumbach, MULTILOG: MULTIple worlds in LOGic programming, Proc. of the 7th ECAI 1 (1986) 291-305.

....most of them face the problem from the programming point of view rather than that of knowledge representation. e.g. systems like [31] POL [32] SPOOL [18] and LAP [33] employ a standard class based hierarchy model, which is not flexible enough for knowledge representation. Systems like MULTILOG [34], 19] and Plog [35] organise logical expressions in sets (objects) that communicate with each other via message passing in a way similar to that in SILO. However, except in Plog, objects are organised in a free way with no distinction between classes and instances. Also, systems like [36] 37] ....

H. Kauffmann and A. Grumbach, MULTILOG: MULTIple worlds in LOGic programming, Proceedings of the 7th ECAI, vol. I, (1986) 291-305.

....of goals executed in both the source and destination pages connected by the hyperlink. Another avenue for research is to examine how Web pages may benefit from having their own inference engines instead of a common one, as at present. A Web page would then correspond to the notion of a world [13]. We plan to develop further LogicWeb applications based on the literature concerning the Dexter Hypertext Reference Model [10] the Amsterdam Hypermedia Model [11] and mobile code systems like those detailed in x5.1. The prototype implementation presented in x3 provides a testbed for LogicWeb ....

H. Kauffmann and A. Grumbach. MULTILOG: Multiple Worlds in Logic Programming. In B. Du Boulay, D. Hogg, and L. Steels, editors, Advances in Aritificial Intelligence, pages 233 -- 247. Elsevier Science, 1987.

....studies, modules are viewed as worlds, with more or less explicit parallels drawn to the possible worlds semantics of modal logics. From among the merger systems, mentioned in Section 2.1, Prolog KR, Mandala and CPU take this approach. From proper modal extensions of Prolog, we mention MULTILOG [KG86] and MOLOG [Far86] In OO applications of the modal logic paradigm, the accessibility relation between worlds correlates with the isa relation. Sorting relies on many sorted logics. Plain many sorted logics offer no relation between sorts. To provide a counterpart for subtype supertype (i.e. isa) ....

....messages ) to the past, so to retrieve old values, if necessary. Note that this approach also solves the frame (or persistence) problem: at a transition to a new revision, the values that are not being changed require no updating. The analogy between objects and revisions was pointed out in [KG86]. In our approach, we will not distinguish between objects and classes (classless system) Both attributes and methods will be called properties, and both objects and time instants will be called units (with the latter we follow the tradition of [MN87] MP90] A unit hierarchy is formally a pair ....

H. Kauffmann and A. Grumbach. MULTILOG: MULtiple worlds in LOGic programming. In ECAI'86: Proc. 7th Europ. Conf. on AI, Brighton, July 1986, Vol 1, pp 291-305. 1986.

No context found.

H. Kauffman and A, Grumbach. `MULTILOG: MULTIple worlds in LOGic Programming'. in B. du Boulay, D. Hogg and L. Steels (eds). Proceedings of the 7th European Conference on Artificial lntelligence (ECAI 86). Brighton. July 1986. North-Holland. Amsterdam. 1086, pp. 291--305

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