Genesereth, M. R.; and Fikes, R. E. (1992). Knowledge Interchange Format Version 3 Reference Manual, Logic-92-1, Stanford University Logic Group.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Overview InfoSleuth is comprised of a network of cooperating agents communicating by means of the high level agent query language KQML [11] Users specify requests and queries over specified ontologies via applet based user interfaces. The dialects of the knowledge representation language KIF [13] and the database query language SQL are used internally to represent queries over specified ontologies. The queries R hq KOUL KOL KQML K(11. Figure 1: The InfoSleuth architecture are routed by mediation and brokerage agents to specialized agents for data retrieval from distributed ....

....to any one representation language, it can be used as a shell to contain messages in various languages and knowledge representation formats, and permit routing by agents which do not necessarily understand the syntax or semantics of the content message. The Knowledge Interchange Format, KIF [13], provides a common communication mechanism for the interchange of knowledge between widely disparate programs with differing internal knowledge representation schemes. It is humanreadable, with declarative semantics. It can express firstorder logic sentences, with some second order capabilities. ....

M. R. Genesereth, R. E. Fikes, et al. "Knowledge Interchange Format Version 3 Reference Manual", Logic92 -1, Stanford University Logic Group, 1992.

....entities and therefore agents can be modelled properly only in terms of the messages they exchange. The problem of describing the world to agents is traditionally solved providing them with an ontology that outlines a model of the world in terms of entities and relations between such entities [1, 6, 7, 12]. UML can be used to model ontologies exploiting ontology diagrams, i.e. class diagrams whose elements are associated with an ontology oriented semantic. This semantic is straightforward as it is similar to the one employed in conceptual diagrams. An ontology diagram allows describing the entities ....

M. R. Genesereth and R. E. Fikes, "Knowledge Interchange Format - Version 3 - Reference Manual", technical report Logic-92-1, Stanford University, 1992.

....use mid peninsula to include the city La Honda, while another does not. Incompatible uses of the same word can be resolved by separating the words in to different contexts, and defining the mappings between words in different contexts. This is described in greater detail in [9] KIF. We use KIF [4] as the representation language to record the meta data specifications. KIF is a prefix version of first order predicate calculus with various extensions to enhance its expressiveness. The language has a well defined syntax and semantics. 2 Sentences in KIF are composed from terms (similar to ....

....as a standard by ANSI, and is being considered for standardization by ISO. KQML is being evaluated by the Object Management Group. 2 The semantics of KIF is based on the standard Tarski semantics for first order logic. There are special semantics for the quote operator to prevent paradoxes [4]. 10 More complicated information can be expressed through the use of functional terms. For example, the first fact below states that the sum of x and y is greater than z, and the second states that information source of one listing is the same as the information source of another. x,y) z) ....

Genesereth, M. R., Fikes, R., et al., "Knowledge Interchange Format Version 3 Reference Manual" Logic92-1, Stanford University Logic Group, 1992.

....formats, and permit routing by agents which do not necessarily understand the syntax or semantics of the content message. As part of the InfoSleuth project, we have developed a prototype Java implementation of the KQML language and protocol. 2. 2 KIF The Knowledge Interchange Format, or KIF [10], is a language developed by the InterLingua Group of the DARPA Knowledge Sharing Effort, which allows the interchange of knowledge between widely disparate programs with differing internal knowledge representation schemes. It is a humanreadable format, with declarative semantics (its meaning is ....

M.R. Genesereth, R.E. Fikes, et al. "Knowledge Interchange Format Version 3 Reference Manual", Logic-921, Stanford University Logic Group, 1992.

....formats, and permit routing by agents which do not necessarily understand the syntax or semantics of the content message. As part of the InfoSleuth project, we have developed a prototype Java implementation of the KQML language and protocol. 2. 2 KIF The Knowledge Interchange Format, or KIF [10], is a language developed by the InterLingua Group of the DARPA Knowledge Sharing Effort, which allows the interchange of knowledge between widely disparate programs with differing internal knowledge representation schemes. It is a human readable format, with declarative semantics (its meaning is ....

M.R. Genesereth, R.E. Fikes, et al. "Knowledge Interchange Format Version 3 Reference Manual", Logic-92-1, Stanford University Logic Group, 1992.

....communication. While it is suitable as a lower layer (or transport layer) in an agent communication architecture, such an architecture must supply higherlevel protocols to structure communication. This includes common languages for information representation and negotiation of actions (such as KIF [9] and KQML [10] as well as common ontologies which ensure that, between agents, the same words mean the same things. These topics are beyond the scope of this paper, but this section attempts to sketch out part of the middle ground between the communication mechanism offered by the information ....

M. R. Genesereth, R. E. Fikes, et al., "Knowledge Interchange Format Version 3 Reference Manual." Logic-92-1, Stanford University Logic Group. January 1992.

....in Figure 2) between the agents. The language employed in the interfaces of the agents (the small boxes on the left and right side of the agents) is the basis for the communication language. It is based on order sorted predicate logic, similar to standard knowledge interchange formats such as KIF (Genesereth and Fikes, 1992). The ontology used for communication can make use of predefined generic communication predicates, but also can be defined depending on the application. In Section 4 more details are given on this communication language. 4 Work Manager To successfully develop a support system for co operation in ....

Genesereth, M.R., Fikes, R.E. (1992). Knowledge Interchange Format - version 3 - reference manual. Technical Report Logic Group, Logic-92-1, Stanford University, Stanford, CA.

....Overview InfoSleuth is comprised of a network of cooperating agents communicating by means of the high level agent query language KQML [11] Users specify requests and queries over specified ontologies via applet based user interfaces. The dialects of the knowledge representation language KIF [13] and the database query language SQL are used internally to represent queries over specified ontologies. The queries Monitor User Agent User Broker Agent User Ontology Agent User Analysis Agent Resource Agent Resource Agent JAVA Netscape client.mcc.com server.mcc.com http server DB DB ....

....tied to any one representation language, it can be used as a shell to contain messages in various languages and knowledge representation formats, and permit routing by agents which do not necessarily understand the syntax or semantics of the content message. The Knowledge Interchange Format, KIF [13], provides a common communication mechanism for the interchange of knowledge between widely disparate programs with differing internal knowledge representation schemes. It is humanreadable, with declarative semantics. It can express firstorder logic sentences, with some second order capabilities. ....

M. R. Genesereth, R. E. Fikes, et al. "Knowledge Interchange Format Version 3 Reference Manual", Logic92 -1, Stanford University Logic Group, 1992.

....between objects must specify the vocabulary used. In order to support communication between objects using different vocabularies, the system also needs the definitions of articulation axioms to relate the symbols in one vocabulary to the symbols in another vocabular [9, 15] 3.1.2. KIF KIF [6] is a prefix version of first order predicate calculus with various extensions to enhance its expressiveness. First and foremost, KIF provides for the expression of simple data. For example, the sentences shown below encode two tuples in a personnel database. The first argument in each is the ....

Genesereth, M. R., Fikes, R., et al., "Knowledge Interchange Format Version 3 Reference Manual" Logic92-1, Stanford University Logic Group, 1992.

....between components that use different worked closely with the members of the Ontology Group. However, credit for these standardization efforts rests with a large group of researchers who have contributed to these efforts. The complete list of contributors can be found in the references [5, 7, 12]. ontologies. The ontologies form nodes in a directed acyclic graph, and the NSCG maps the symbols used in one ontology into the symbols used in the other. 4.2. KIF KIF [7] is the content language of ACL. It can be used to express simple data, e.g. The red block is on the green block. 2 It ....

....researchers who have contributed to these efforts. The complete list of contributors can be found in the references [5, 7, 12] ontologies. The ontologies form nodes in a directed acyclic graph, and the NSCG maps the symbols used in one ontology into the symbols used in the other. 4.2. KIF KIF [7] is the content language of ACL. It can be used to express simple data, e.g. The red block is on the green block. 2 It can be used to describe logical expressions, e.g. The blue block is not on the green block, quantified expressions, e.g. All blocks on the green block are red. KIF can also ....

Genesereth, M. R., Fikes, R. E. et al. " Knowledge Interchange Format Version 3 Reference Manual," Logic-92-1, Stanford University Logic Group, 1992.

....cylindrical coordinates, etc. A program can use whichever ontology is most convenient. The formal definitions of the words associated with any one of these ontologies can then be used by system programs in translating messages using one ontology into messages using other ontologies. 3. 1 KIF KIF [4] is a prefix version of first order predicate calculus with various extensions to enhance its expressiveness. First and foremost, KIF provides for the expression of simple data. For example, the sentences shown below encode 3 tuples in a personnel database. The first argument in each is the ....

Genesereth, M. R., Fikes, R. E. et al. " Knowledge Interchange Format Version 3 Reference Manual," Logic-92-1, Stanford University Logic Group, 1992.

No context found.

Genesereth, M. R.; and Fikes, R. E. (1992). Knowledge Interchange Format Version 3 Reference Manual, Logic-92-1, Stanford University Logic Group.

No context found.

Genesereth, M.R., Fikes, R.E. (1992). Knowledge Interchange Format - version 3 - reference manual. Technical Report Logic Group, Logic-92-1, Stanford University, Stanford, CA.

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