Differences

This shows you the differences between two versions of the page.

--- public:t-720-atai:atai-19:engineering_assignment_3 [2019/10/03 10:15] – created thorisson
+++ public:t-720-atai:atai-19:engineering_assignment_3 [2024/04/29 13:33] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-[[http://cadia.ru.is/wiki/public:t-720-atai:atai-18:main|T-720-ATAI-2018 Main]] \\
+[[http://cadia.ru.is/wiki/public:t-720-atai:atai-19:main|T-720-ATAI-2019 Main]] \\
-[[http://cadia.ru.is/wiki/public:t-720-atai:atai-18:Lecture_Notes|Links to Lecture Notes]]
+[[http://cadia.ru.is/wiki/public:t-720-atai:atai-19:Lecture_Notes|Links to Lecture Notes]]
-=====T-720-ATAI-2018=====
+=====T-720-ATAI-2019=====
 \\
 \\
-==== NARS Tutorial ====
+==== Prerequisite: NARS Tutorial ====
-Xiang Li's slides from the NARS tutorial class on 19 Oct.
+Xiang Li's slides from the NARS tutorial given in 2018.
 {{/public:t-720-atai:nars-tutorial.pdf}}
 \\
-\\
-==== NARS Assignment 1 ====
-Grading: Final Project counts 10% of final grade.
+===== NARS Assignment 1: Fuzzy Logic =====
+Grading: 10% of final grade.
 {{/public:t-720-atai:final_project_fuzzy_logic.pdf}}
+Fuzzy logic is a form of many-valued logic in which the truth values may be any real number between 0 and 1. It is employed to handle concepts of graded membership and proposition of partial truth with completely true and completely false.
+NAL, the representation language of NARS, is not a "fuzzy logic" in the conventional sense, but shares certain intuitions and ideas with it. In NAL, fuzziness typically comes from the diversity in the intension of a term, that is, an instance may have some, but not all, properties that are usually associated with the concept. For example, “Penguins are birds" is true to a degree, because penguins do not have all the common properties of birds, but only some of them. This distinguishes it from the other common forms of uncertainty, randomness, as randomness typically comes from the diversity in the extension. For example, “birds fly" is true to a degree, because some birds fly, and some do not. These two types of uncertainty are uniformly represented and processed in NAL, as different ways for a categorical statement to get (positive and negative) evidence.
 \\