Michele Pasin / Quotes

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 potential to unify our approach to data encoding, thereby facilitating access to and use of data, and ultimately helping researchers gain new insights.

To reach these goals, we strive to create research programs that investigate computational intelligence to facilitate open innovation and agile experimentation via semantically-rich, cloud-based services, as well as projects to advance the state of the art in knowledge representation and reasoning under uncertainty at web scale.

Saved 3 May 2013 / research.microsoft.com ↗

#intelligence #knowledge-representation

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…

Introducing Artificial Intelligence (Henry Brighton and Howard Selina) #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…

Introducing Artificial Intelligence (Henry Brighton and Howard Selina) #knowledge-representation #artificial-intelligence #logic #symbols

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…

Introducing Artificial Intelligence (Henry Brighton and Howard Selina) #artificial-intelligence #game #knowledge-representation

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…

Cidoc-crm Version 4.2.4 - Reference Document #concept #meaning #knowledge-representation #representation #terms

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…

Introducing Artificial Intelligence (Henry Brighton and Howard Selina) #logic #formal-language #knowledge-representation #philosophy

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…

Cidoc-crm Version 4.2.4 - Reference Document #reasoning #knowledge-representation #set #information-systems