Korisnički alati
studenti:mihita_cvitanovic:knowledge_representation_technologies:logic_based_representation
Razlike
Slijede razlike između dviju inačica stranice
| Starije izmjene na obje strane Starija izmjena Novija izmjena | Starija izmjena | ||
|
studenti:mihita_cvitanovic:knowledge_representation_technologies:logic_based_representation [2012/05/31 14:28] mcvitanovic [Technologies] |
studenti:mihita_cvitanovic:knowledge_representation_technologies:logic_based_representation [2023/06/19 16:21] (trenutno) |
||
|---|---|---|---|
| Redak 12: | Redak 12: | ||
| ===== Technologies ===== | ===== 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 ===== | ===== Tools ===== | ||
| Redak 29: | Redak 30: | ||
| - [[http://www.scarpaz.com/2100-papers/Logics/9-baader97logicbased.pdf|Franz Baader. Logic-based Knowledge Representation]] | - [[http://www.scarpaz.com/2100-papers/Logics/9-baader97logicbased.pdf|Franz Baader. Logic-based Knowledge Representation]] | ||
| + | - H. Reichgelt. "Knowledge representation: an AI perspective". Ablex Pub. Corp., 1991 | ||
| + | - [[http://www.cs.utexas.edu/~mooney/cs343/slide-handouts/fopc.4.pdf|University of Texas at Austin: First Order Predicate Calculus]] | ||
studenti/mihita_cvitanovic/knowledge_representation_technologies/logic_based_representation.1338474501.txt.gz · Zadnja izmjena: 2023/06/19 16:20 (vanjsko uređivanje)
Osim na mjestima gdje je naznačeno drugačije, sadržaj ovog wikija je licenciran sljedećom licencom: CC Attribution-Share Alike 4.0 International
