| Mayfield, J., Finin, T., Narayanaswamy, R., Shah, C., MacCartney, W. and Goolsbey, K. `The Cycic Friends Network: Getting Cyc agents to reason together.' Proceedings of the CIKM Workshop on Intelligent Information Agents. 1995. |
....during the last round of finding blockages, because these literals can t generate any blockages which haven t been considered before. Lee and Wu reported that the analogous duplicated effort in hyper linking (which they called interround redundancy) amounted to 40 of the work done in eachround [9]. Partial instantiation is less flexible than hyper linking in that it can only search in one fashion, by eliminating blockages, while hyper linking can simulate forward or backward (goal directed) search [8] However, partial instantiation can work with sentences in non clausal form. The ability ....
....instantiation has another advantage over hyper linking in that it doesn t suffer from interclause redundancy, which is the checking of the same pair of literals multiple times during a round. Interclause redundancy can be eliminated in hyper linking at the expense of large amounts of memory. [9]. Partial instantiation and hyper linking are attractive methods of theorem proving because they can be parallelized in a straightforward way. The step of finding blockages (step 2) for example, can be divided up among several processors by assigning each processor the task of looking for ....
J. Mayfield, T. Finin, R. Narayanaswamy, C. Shah, W. MacCartney, and K. Goolsbey. The cycic friends network: getting cyc agents to reason together. In CIKM '95 Workshop on Intelligent Agents, 1995.
.... project is CYC [Lenat 1997; Lenat 1995] The project aims to provide a common sense knowledge base for all kinds of AI systems, especially for natural language processing (NLP) machine learning (ML) and machine translation (MT) systems [Lenat and Guha 1990] Its recent work [Guha and Lenat 1994; Mayfield and Finin 1995] shows that common sense knowledge is essential for agent cooperation and agent communication. Some other large scale projects on common sense are WordNet [Miller 1995; Miller et al. 1993] EDR [Yokoi 1995] and ThoughtTreature [Mueller 1996] Instead of building a large knowledge base, our ....
Mayfield, J., and Finin, T. (1995), "The Cycic Friends Network: getting Cyc agents to reason together", http://www.cs.umbc.edu/~cikm/iia/submitted/viewing/mayfield/.
....or distributed problems. They often incorporate mechanisms for storing and maintaining mental models of other agents. There are many examples of this approach including various agent modeling techniques [6, 36, 39] Agent Oriented Programming [38] Softbots [10, 45] and Cyc based agents [29]. 2.3. Agents as Communicating Software Modules A third view toward defining agents is based largely on specific mechanisms for communication and interaction. Each agent is capable of interacting in ways that all agents share. In this approach the notion of agent is most closely associated with ....
Mayfield, J., T. Finin, R. Narayanaswamy, C. Shah, W. MacCartney, and K. Goolsbey. 1995. "The Cycic Friends Network: Getting Cyc agents to reason together.", in Proceedings of the CIKM'95 Intelligent Information Agents Workshop. Baltimore, MD.
No context found.
Mayfield, J., Finin, T., Narayanaswamy, R., Shah, C., MacCartney, W. and Goolsbey, K. `The Cycic Friends Network: Getting Cyc agents to reason together.' Proceedings of the CIKM Workshop on Intelligent Information Agents. 1995.
No context found.
Mayfield, J., Finin, T., Narayanaswamy, R., Shah, C., MacCartney, W. and Goolsbey, K. `The Cycic Friends Network: Getting Cyc agents to reason together.' Proceedings of the CIKM Workshop on Intelligent Information Agents. 1995.
No context found.
Mayfield, J., Finin, T., Narayanaswamy, R., Shah, C., MacCartney, W. and Goolsbey, K. `The Cycic Friends Network: Getting Cyc agents to reason together.' Proceedings of the CIKM Workshop on Intelligent Information Agents. 1995.
No context found.
Mayfield, J., Finin, T., Narayanaswamy, R., Shah, C., MacCartney, W. and Goolsbey, K. `The Cycic Friends Network: Getting Cyc agents to reason together.' Proceedings of the CIKM Workshop on Intelligent Information Agents. 1995.
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