unit 4 aos 3 Flashcards
Hilbert’s Completeness goal
every mathematical statement could be proven true or false within a formal system based on a fixed set of axioms and rules of inference (logic)
or
Mathematics would be complete if all mathematical statements could be derived from a finite set of axioms.
Hilbert’s Consistency goal
demonstrate there were no contradictions within the system, meaning that it would be impossible to derive both a statement and its negation
OR
Mathematics would be consistent if no contradiction could exist within mathematics
Hilbert’s Decidability goal
there existed an effective algorithm or method to determine the truth or falsity of any methodical statement.
Hilbert’s Formalization goal
develop a symbolic language and formal system that would allow mathematical reasoning to be carried out mechanically and without ambiguity
Kurt Gödel Incompleteness Theorem:
- Proved that Hilbert’s plan to formalize math was impossible
- So not all maths can be proved by axioms
- That completeness and decidability is not possible
Church-Turing thesis
VCAA:
“The Church-Turing Thesis states that any function is effectively calculable by some method if it is computable on a Turing Machine, which helps defines the hard limits of computation” - 2019
———–
certain problems which have finite algorithms are computable; while other problems are incomputable, since they do not have finite algorithms.
finite algorithm = an algorithm that will halt
- With the Turing Machine, a problem could be considered computable if it could be solved by the Turing machine, as it represented the maximal capability of any mechanical algorithm.
Support vector machines
definition
- supervised machine learning algorithm
- map into higher dimension until it can be sparable with a hyperplane
- classification problems
Bias (in terms of training)
def + factors
underfitting
- The size of the training dataset used is not enough
- The model is too simple
Variance
def + factors
overfitting
- the model is too complex
- Data used for training is not cleaned and contains noise (garbage values) in it
Weak AI
def
can perform a specific task
Strong AI
def
- human-like intelligence (simulate)
- can learn
VCAA:
strong AI describes the concept of artificial intelligence mechanisms that are able to go beyond mimicry of human behavior or language and that have human-like understanding and thinking processes.
Robot reply
Agruments for and against the chinese room agrument
AGAINST (is sentient)
- Consider adding sensors such as hearing and seeing Chinese to the man in the room
- Then from the sensors, it can get attachment to the words, thus be able to understand Chinese.
“Robot reply: what is preventing the man in the room from understanding Chinese is the sensory motoric disconnect between him and the outside world. If we attach sensors as input methods and robotic arms and legs as output methods, then the man is able to attach meaning to the Chinese characters by interacting with the world. This is exactly how babies learn language.” - VCAA 2016
For (is not sentient)
- even if they were able to mimic the behaviour of someone speaking Chinese, it would lack understanding (of the outside world)
- The same scenario stays the same except the man in the room is given extra inputs.
Systems reply
Reply:
- We can consider the man in the room and the book of Chinese characters as a system as a whole
- By considering this, the system as a whole actually does understand Chinese.
- This is similar to how each neuron in the brain does not actually understand anything, but the brain as a whole does
———–
Counter reply
- Suppose the man in the room has remembered the book of Chinese
- When given a set of characters, the man in the room can respond by memorization
- Here, the man in the room is not understanding anything, even though they can be seen as a ‘system’, but rather just providing outputs based on inputs
Ethical concerns
BIAS
* can be bias towards data
* learns from bias data
Privacy issues
* who has access to your personal data
* what happens with a data leakage
Sustainability issues
* is it environmentally sustainable
* e.g., pc takes lot of power to train lots of data
Advantages of Neural networks
- capability to learn complex data
- parallel processing
Disadvantages of Neural networks
- black box nature -> Hard to interpret.
- can overfit if it is too complex -> can perform badly on unseen data.
- requires large amounts of data
- tend to get stuck at local minima