Notes
  • AI
    • Bayesian
      • Complexity Theory
        • Constraint Satisfaction Problem
          • Cryptography
            • Data Science
              • Decision Theory
                • Distances
                  • Fourier Transform
                    • Frequent Item
                      • Graph
                        • Information Theory
                          • Knowledge Representation
                            • Logic
                              • Logic Programming
                                • Logical System
                                  • Description Logic
                                    • ALC
                                    • ALC Tableau Calculus
                                    • Assertion
                                    • Bottom Concept
                                    • Concept
                                    • Concept Definition
                                    • Negation Normal Form
                                    • Top Concept
                                    • Translation into First-Order Predicate Logic
                                  • First Order Predicate Logic
                                    • Propositional Logic
                                      • Calculus-Derivation
                                      • Formal System
                                      • Logical System
                                    • 01 Logic
                                    • Abduction
                                    • Assignment Extension
                                    • Axiom
                                    • Backchaining
                                    • Backus-Naur-Form
                                    • Closed World Assumption
                                    • Completeness
                                    • Concept Axiom
                                    • Confluent
                                    • Consistency Test
                                    • Course-Of-Values Induction
                                    • Cummulative Development
                                    • Deduction
                                    • Deductive Learning
                                    • Derivation Relation
                                    • Description Logic
                                    • Entailment
                                    • Ex Falso Quodlibet
                                    • Explanation-based Learning
                                    • Frame Problem
                                    • Generalized Quantifiers
                                    • Idempotenz
                                    • Induction
                                    • Inductive Learning
                                    • Inductive Logic Programming
                                    • Induktion (Beweis)
                                    • Inference
                                    • Information Extraction
                                    • Instance Test
                                    • Inverse Resolution
                                    • Knowledge Base Agent
                                    • Knowledge-based Inductive Learning
                                    • Korrektheit
                                    • Linearized Notation for sequent-style ND proofs
                                    • Logic
                                    • MOC - Grundlagen der Logik in der Informatik
                                    • Modus Ponens
                                    • Open World Assumption
                                    • Preferences on Reward Sequences
                                    • Promotion
                                    • Proof
                                    • Propositional Logic as Set Description Language
                                    • Reiterationsregel
                                    • Relevance-based Learning
                                    • Role
                                    • Russellsches Paradox
                                    • Soundness
                                    • Strukturelle Induktion
                                    • Subsumption Test
                                    • Term Frequency
                                    • Tertium Non Datur
                                    • Unsatisfiability Theorem
                                  • Markov
                                    • Mathematics
                                      • media
                                        • Optimization
                                          • Other
                                            • Pattern Recognition
                                              • Search
                                                • Sort
                                                  • Statistics
                                                    • INDEX
                                                    • MOC - Introduction to Statistics and Statistical Programming
                                                    • MOC - Stochastische Modellbildung
                                                    Navigation

                                                    • All tags
                                                    • #Algorithmus(48)
                                                    • #Algorithmus, codesnippet, code, js, Python(1)
                                                    • #E(1)
                                                    • #Gemischt-ganzzahlige(1)
                                                    • #MOC(8)
                                                    • #P-hard(1)
                                                    • #bachelor(1)
                                                    • #code(1)
                                                    • #codesnippet, code, js, programmingassignment(5)
                                                    • #codesnippet, code, programmingassignment, js(1)
                                                    • #confirm(1)
                                                    • #data(1)
                                                    • #datascience(1)
                                                    • #excalidraw(11)
                                                    • #infovislearn(2)
                                                    • #keep(2)
                                                    • #lnsexam(1)
                                                    • #note(2)
                                                    • #note, datascience, keep(1)
                                                    • #paper(1)
                                                    • #programmingassignment(4)
                                                    • #question(4)
                                                    • #todo(21)
                                                    • #uebung(1)

                                                    • Ontologien
                                                    • Terminology
                                                    • Semantic Network
                                                    • Consistency Test
                                                    • ALC Tableau Calculus
                                                    • ALC
                                                    • Bottom Concept
                                                    • Concept Definition
                                                    • Top Concept
                                                    • Propositional Logic as Set Description Language
                                                    • Subsumption Test

                                                    • First-Order Predicate Logic
                                                    • Propositional Logic as Set Description Language
                                                    • Top Concept
                                                    • Bottom Concept

                                                    Local graph
                                                    1. Logic /
                                                    2. Logical System /
                                                    3. Description Logic /
                                                    4. Concept

                                                    Concept

                                                    Predicates from First-Order Predicate Logic.
                                                    Propositional Variables from Propositional Logic as Set Description Language.

                                                    Classes of objects like in OOP.

                                                    There are two special concepts:

                                                    • Top Concept
                                                    • Bottom Concept