Professional Documents
Culture Documents
– Mathematical logic
– Logic programming
– Artificial intelligence
Mathematical Logic
• Set of mathematical disciplines (such
as Boolean algebra, predicate
calculus, and prepositional calculus)
employed in reducing the rules of
formal logic to the rules of algebra. Its
major objective is to eliminate
ambiguities caused by the use of
natural languages.
Logic Programming
• Logic programming is a computer
programming paradigm in
which program statements express
facts and rules about problems within
a system of formal logic.
Artificial Intelligence
• Artificial intelligence is a branch of computer science that
aims to create intelligent machines. It has become an essential
part of the technology industry.
– Knowledge
– Reasoning
– Problem solving
– Perception
– Learning
– Planning
– Ability to manipulate and move objects
Knowledge Engineering
• Knowledge engineering is a core part of AI
research. Machines can often act and react
like humans only if they have abundant
information relating to the world.