Essays about: "classical propositional logic"

Found 2 essays containing the words classical propositional logic.

1. 1. Constructing a Game Modelled After Logic and Proofs - Tenjin: A Smartphone Game

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Elias Burström; Jonatan Källman; Tuyen Ngo; Felix Nordén; [2020-10-29]
   Keywords : user experience; graphic design; software engineering; software development; classical propositional logic; sequent calculus;

   Abstract : Logical reasoning plays an important role in human behaviour and is widely used in everyday life. It is incorporated in contexts such as natural languages, mathematics and programming. However, the general knowledge in today’s society with regards to formal logic is lacking and does not reflect the important role it plays. READ MORE

3. 2. Fuzzy Logic and Approximate Reasoning

   University essay from Blekinge Tekniska Högskola/Sektionen för ingenjörsvetenskap

   Author : Abdul Khaliq; Amais Ahmad; [2010]
   Keywords : Fuzzy; Logic; approximate; reasoning;

   Abstract : Two of the most exemplary capabilities of the human mind are the capability of using perceptions (human knowledge) in purposeful ways and the capability of approximating perceptions by statements in natural language. Understanding these capabilities and emulating them by linguistic approximation is the crux of our thesis. READ MORE