Introducing Artificial Intelligence (Henry Brighton and Howard Selina) / quote 24 of 68

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 automate using symbolic representations?

Saved 15 June 2022 / www.amazon.com ↗

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

Related / other sources, sharing tags

Computers manipulate symbols without meaning

as far as human cognition is concerned, such achievements are simply irrelevant. And they are irrelevant for a deep reason: the computer operates by…

Mind: A Brief Introduction (John R. Searle) #symbols #syntax #semantics #artificial-intelligence

Gödel and the limits of AI

Roger Penrose argues that because humans can grasp Gödel’s theory, the mind is not a formal logical system. He argues that the source of our intuitions and…

Beyond Zero and One (Andrew Smart) #artificial-intelligence #logic #mathematics #quantum-theory

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

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

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…

Semantic Computing - Microsoft Research #intelligence #knowledge-representation

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…

The Tao Of Topic Maps #Topic-Maps #maps #knowledge-representation