Michele Pasin / Quotes

#knowledge-representation

Often with #logic #artificial-intelligence #reasoning #meaning #set #information-systems #concept #representation #terms #game #formal-language #philosophy

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…

#reasoning #knowledge-representation #set #information-systems

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

#concept #meaning #knowledge-representation #representation #terms

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.

#artificial-intelligence #game #knowledge-representation

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…

#logic #formal-language #knowledge-representation #philosophy

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…

#logic #reasoning #knowledge-representation #artificial-intelligence

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…

#knowledge-representation #artificial-intelligence #logic #symbols

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.

#logic #knowledge-representation #critique #rules

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.

#interpretation #meaning #knowledge-representation #hermeneutics

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…

#intelligence #knowledge-representation

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…

#Topic-Maps #maps #knowledge-representation