Types of AI
Popular from 1956 to 1974, this approach to AI relies on representations of problems, logic, and search.
What is GOFAI/Symbolic AI?
A condition that is required for an event to occur, but may not guarantee that the event will occur.
What is a Necessary Condition?
Rules that are always true and apply in all circumstances
Categorical Rules
"I think, therefore I am."
Who is René Descartes?
Multiple interpretations are plausible for a use of a word (for example, "machine" and "think" in "Can Machines Think?")
What is Ambiguity?
These systems use human knowledge to solve specific, narrowly defined problems. MYCIN is an example of one.
What are Expert Systems?
Arguments where the premises make the conclusion likely, but do not guarantee it.
What are Inductive Arguments?
This philosopher has a categorical rule of ethics related to respect for persons.
Who is Immanual Kant?
“The expert is simply not following any rules!”
Who is Hubert Dreyfus & Stuart Dreyfus?
He argued that language is at least in part innate (= provided by our nature).
Who is Noam Chomsky?
Machine learning that uses structures similar to neurons and synapses to model and solve complex problems.
What are Neural Networks/Deep Learning?
The truth of its premises guarantees the truth of its conclusion.
What are Deductive Arguments?
Rules phrased in "If-Then" statements.
What are Hypothetical or Conditional Rules?
"Intelligence is determined by the dynamics of interaction with the world."
Who is Rodney Brooks?
A machine passes this test if the evaluator cannot reliably tell the machine apart from the human.
What is the Turing Test (of indistinguishability)?
Advocated for by Rodney Brooks, this type of AI emphasizes the importance of a system being embodied in and attuned with its environment.
What is Behavioral AI?
A condition which on its own guarantees that an event occurs.
What is a Sufficient Condition?
A sign that says "No Vehicles Permitted in Park" is an example of this.
Exception Permitting Rules
“What we call ‘measuring’ is partly determined by a certain constancy in results of measurement."
Who is Ludwig Wittgenstein?
A function on the natural numbers can be calculated if and only if it is Turing Computable.
What is the Computability Thesis (aka the Church-Turing Thesis)?
A combination of behavioral and knowledge-based approaches, this type of AI is reactive, proactive, and social.
What is Agent-Based AI?
An argument that is valid and the premises are true.
What is Deductively Sound?
The following is an example of this:
The city councilors refused the demonstrators a permit because they feared violence
The city councilors refused the demonstrators a permit because they advocated violence
What are Winograd Sentences?
"We want AI agents that can discover like we can, not which contain what we have discovered. Building in our discoveries only makes it harder to see how the discovering process can be done."
Who is Rich Sutton?
A drawback of deep learning because there is no easily interpretable reason or justification for why the system made the decisions that it did.
What is Opaque?