Thu Nov 3 18:04:09 2005
UMBC AgentWeb
[an error occurred while processing this directive]

AgentWeb: Topics: Related Topics: Knowledge representation and reasoning
Search web for similar pages

Subcategories

  • Conceptual Graphs 6/21/00 Who points to it? 15 - Conceptual graphs (CGs) are a system of logic based on the existential graphs of Charles Sanders Peirce and thesemantic networks of artificial intelligence. They express meaning in a form that is logically precise, humanlyreadable, and computationally tractable. With a direct mapping to language, conceptual graphs serve as anintermediate language for translating computer-oriented formalisms to and from natural languages. With theirgraphic representation, they serve as a readable, but formal design and specification language. CGs have beenimplemented in a variety of projects for information retrieval, database design, expert systems, and natural languageprocessing.

  • Open Knowledge Base Connectivity 12/18/99 Who points to it? 9 - Open Knowledge Base Connectivity (OKBC) is an applicationprogramming interface for accessing knowledge bases stored inknowledge representation systems (KRSs). OKBC provides a uniform model of KRSs based on a commonconceptualization of

  • Knowledge Representation 12/15/99 Who points to it? 11 - A list of Knowledge Representation, Automated Reasoning, Computational Logics, and Advanced Database projects,people, conferences and specific resources.Collated by Enrico Franconi

  • Decision Support Systems Resources 1/27/01 Who points to it? 12 - DSSResources.COM (Decision Support Systems Resources) is a web-based knowledge repository. The missionof the site is to help people who are interested in learning about how to use information technologies and softwareto improve decision making. The target audience is IS professionals, IS students, managers interested in MIS andacademics in MIS/DSS.

  • Semantic Networks 7/23/01 Who points to it? 14 - A draft of an article on Semantic Networks by John Sowa to appear in the Encyclopedia of Cognitive Science.It comparesvarious network notations, including conceptual graphs, descriptionlogics, Petri nets, UML, and many others.

  • BeliefRevision.org 8/10/01 Who points to it? 15 - This well designed website maintained by Mary-Anne Williams of TheUniversity of Newcastle provides useful resources and pointers onbelief revision, which it describes as "Intelligent agents, likerobots and infobots, have to manage beliefs about the world in orderto achieve their design goals. We all know that beliefs can sometimesbe wrong, so intelligent agents need to be able to revise beliefs whenthey acquire new information that contradicts their old beliefs.Belief Revision capabilities are crucially important for sounddecision making and effective communication."

  • Description logic tutorial 12/9/01 Who points to it? 14 - Slides from a tutorial onDescription Logis by Ian Horrocks and Ulrike Sattler given at IJCAR-2001, Siena, Italy, June 19, 2001.

  • Description Logics Handbook 3/16/02 Who points to it? 12 - The handbook is meant to provide a thorough introduction to Description Logics, covering all aspects of theresearch in this field, namely: theory, implementation and applications. The book will be published by Cambridge University Press and the introductory chapter, An Introduction to Description Logics, is available on line.

  • SNARK Automated Reasoning Kit 11/19/02 Who points to it? 12 - SNARK, a Common Lisp automated theorem prover developed at SRI, is now

  • Open Mind Common Sense Project 12/31/02 Who points to it? 24 - Push Singh of the MIT MediaLab describes a novel approach to achieving machine intelligence by teaching machines how to reason heuristically.

Edited by Tim Finin & Yannis Labrou of UMBC ebiquity and the UMBC Computer Science and Electrical Engineering Department. Comments to agentweb@agents.umbc.edu. Hits in red Who points to it? shows inverse links. Built by bk2site.