Razlike

Slijede razlike između dviju inačica stranice

--- studenti:mihita_cvitanovic:knowledge_representation_technologies:logic_based_representation [2012/06/01 10:49]
mcvitanovic [Read more]
+++ studenti:mihita_cvitanovic:knowledge_representation_technologies:logic_based_representation [2023/06/19 16:21] (trenutno)
@@ Redak 12: / Redak 12: @@
 ===== Technologies =====
-==== First order predicate logic ====
+==== First-order predicate logic ====
+First-order logic is a formal system used in mathematics, philosophy, linguistics, and computer science. It is also known as first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less precise term). First-order logic is distinguished from propositional logic by its use of **quantified variables**.
 ===== Tools =====

Studentski izvještaji