Thu Nov 3 18:04:09 2005
[an error occurred while processing this directive]
AgentWeb: Topics: Related Topics: Knowledge representation and reasoning
Search web for similar pages
- Conceptual Graphs
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
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
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
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
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.
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
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
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
12 - SNARK, a Common Lisp automated theorem prover developed at SRI, is now
- Open Mind Common Sense Project
24 - Push Singh of the MIT MediaLab describes a novel approach to achieving machine intelligence by teaching machines how to reason heuristically.