Tags / 10 quotes from 4 sources
#knowledge-representation
Cidoc-crm Version 4.2.4 - Reference Document
Monotonic reasoning
Monotonic reasoning is a term from knowledge representation. A reasoning form is monotonic if an addition to the set of propositions making up the knowledge base never determines a decrement in the set of conclusions that may be derived from the knowledge base via inference…
Kr primitive
The term primitive as used in knowledge representation characterizes a concept that is declared and its meaning is agreed upon, but that is not defined by a logical deduction from other concepts
Introducing Artificial Intelligence (Henry Brighton and Howard Selina)
Classical AI's engineering projects
The classical approach to AI has resulted in engineering projects such as the following, which we shall examine in more detail later. •Chess-playing computers capable of beating the best human players. •Attempts to equip computers with common-sense knowledge.
Leibniz's Characteristica Universalis
Hobbes’s “parcels” were the basic units of thought, just as symbols are basic to Newell and Simon’s Physical Symbol Systems Hypothesis. Hobbes’s ideas were furthered by the mathematician and philosopher Gottfried Wilhelm Leibniz (1646–1716) who tried to identify an appropriate…
AI builds on logic as thought
Logical reasoning requires the manipulation of sentences described in a logical language. These sentences can be interpreted as representing concepts such as states of affairs in the world – or knowledge. Using computers to automate this process, Al has taken the “logic as…
Can common sense be formalized?
The CYC project is entering its final phase, with Lenat predicting a 50% chance of success. Apart from the practical benefits of a successful CYC project, the theoretical objective is to test Newell and Simon’s hypothesis. Is commonsense something that we can formalize and…
The "just one more rule" defence
A recurring justification for the inadequacy of logic-based systems is the “just one more rule” defence. Rather than questioning the enterprise as a whole, the tendency is to persevere with the powerful idea of formalized knowledge dating back to Hobbes.
Our interpretation of the world can't be made explicit
This alternative philosophical standpoint suggests that our interpretation of the world cannot be made explicit, and any attempt to do so will render our insights grossly inaccurate.
Semantic Computing - Microsoft Research
Semantic computing
Semantic computing is about exploring complex data from disparate sources and making sense of that data. It is about interacting with data in rich, safe, and semantically meaningful ways to expose the path from data to information, knowledge, and intelligence. Semantics have…
The Tao Of Topic Maps
Topic maps as the GPS of information
Topic maps provide an approach that marries the best of several worlds, including those of traditional indexing, library science and knowledge representation, with advanced techniques of linking and addressing. It is our firm conviction that they will become as indispensable…