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
                                  • 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)

                                                  • Rational Non-Deterministic Agents

                                                  • Knowledge-based Inductive Learning
                                                  • First-Order Predicate Logic
                                                  • Inverse Resolution

                                                  Local graph
                                                  1. Logic /
                                                  2. Inductive Logic Programming

                                                  Inductive Logic Programming

                                                  Perform Knowledge-based Inductive Learning using knowledge expressed in First-Order Predicate Logic.

                                                  Inverse Resolution

                                                  Generates new predicates with which new theories can be expressed.