Notes
  • business
    • coding
      • concepts
        • design
          • drawings
            • obsidian
              • resources
                • stuff
                  • university
                    • 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
                                                      • Optimization
                                                        • Other
                                                          • Pattern Recognition
                                                            • Search
                                                              • Sort
                                                                • Statistics
                                                                  • MOC - Introduction to Statistics and Statistical Programming
                                                                  • MOC - Stochastische Modellbildung
                                                                • Notes
                                                                • Working Note
                                                                Navigation

                                                                Tags

                                                                • 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(14)
                                                                • #infovislearn(2)
                                                                • #keep(2)
                                                                • #lnsexam(1)
                                                                • #note(2)
                                                                • #note, datascience, keep(1)
                                                                • #paper(1)
                                                                • #programmingassignment(4)
                                                                • #question(4)
                                                                • #todo(21)
                                                                • #uebung(1)

                                                                On this page

                                                                Backlinks

                                                                • AI as Rational Agents
                                                                • Logic-Based Planning

                                                                Linked pages

                                                                • Model-based Reflex Agent
                                                                • Environment
                                                                • Action
                                                                • Knowledge Base (Prolog)
                                                                • Logic
                                                                1. university /
                                                                2. Logic /
                                                                3. Knowledge Base Agent

                                                                Knowledge Base Agent

                                                                An Model-based Reflex Agent that can think about the Environment and his actions.

                                                                It stores information in a Knowledge Base (Prolog) and queries it: Bildschirm­foto 2022-12-18 um 12.31.29.png The knowledge can be represented using Logic.

                                                                Notice: There is time in here, which might be quite complex.