I'm teaching my first lecture at the new job today, about probabilistic logic programming, probabilistic inference, and (weighted) model counting.

Some of the required reading is a paper (https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html) that was written by a great mentor of mine, prof. dr. Fahiem Bacchus. He passed away just over 2 years ago, and I am honoured to keep his memory alive by teaching his ideas to a new generation of students. Hope to do him proud. 🌱

Please send good vibes? 🥺

#AcademicChatter #AcademicLife #AcademicMastodon #Teaching #Probability #ProbabilisticInference #Probabilities #Logic #LogicProgramming #PropositionalModelCounting #ProbabilisticLogicProgramming #ModelCounting #PropositionalLogic #WeightedModelCounting #DPLL #BayesianProbability #BayesNets #BasianStatistics #BayesianInference #BayesianNetworks #KnowledgeCompilation #DecisionDiagrams #BinaryDecisionDiagrams

Finished week 4 of the course Knowledge Graphs – Foundations and Applications about formal and machine understandable representations of knowledge with Propositional Logic, First Order Logic, Description Logics, ALC, OWL and possible logical deductions from statements about graphs.

Video lecture: https://open.hpi.de/courses/knowledgegraphs2023/items/1wEImhMn0LlkY9XxeASC9R

#kg2023 #KnowledgeGraphs #SemanticWeb #LinkedData #PropositionalLogic #FirstOrderLogic #DescriptionLogics #AttributeLanguageWithComplement #WebOntologyLanguage #OWL #MrSpock

Atheism As a Proposition - SciPhi by Answers In Reasonhttps://www.youtube.com/watch?v=TEm6VciQz2o#atheism #atheists #definitionofatheism #atheistsandatheism #definingatheism #logic #propositionallogic #proposition #atheismasaproposition #liveandscheduled #livestream #sciphi #rockinatheism #atheist #belief #answer #answers #language #philosophy #art #vest #clothing #theist #theism #sciphilive

#DifferentialPropositionalCalculus • 3
• https://inquiryintoinquiry.com/2020/02/24/differential-propositional-calculus-3/

Formal Development —

The preceding discussion outlined the ideas leading to the #DifferentialExtension of #PropositionalLogic. The next task is to lay out the concepts and terminology needed to describe various orders of #DifferentialPropositionalCalculi.

Related Subjects —
#Peirce #Logic #Semiotics
#LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#CactusGraphs #MinimalNegationOperators

#DifferentialPropositionalCalculus • 2
https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/

#CactusCalculus —

Table 6 introduces a #Syntax for #PropositionalCalculus based on 2 families of #MultigradeLogicalConnectives.

Table 6. #Syntax and #Semantics of a Calculus for #PropositionalLogic
https://inquiryintoinquiry.files.wordpress.com/2020/02/syntax-and-semantics-of-a-calculus-for-propositional-logic.png

Related Subjects —
#Peirce #Semiotics #BooleanFunctions
#Logic #LogicalGraphs #DifferentialLogic
#GraphTheory #CactusGraphs #CactusLanguage
#MinimalNegationOperators #PaintedAndRootedCacti

#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/

A program I worked on all through the 80s aimed to develop #Algorithms and #DataStructures for integrating #EmpiricalLearning and #LogicalReasoning. I had earlier developed programs for #Learning #TwoLevelFormalLanguages and for #PropositionalLogic #ConstraintSatisfaction based on C.S. #Peirce's #LogicalGraphs. Getting those 2 faculties to work together meant integrating the ways of #Empiricism and #Rationalism.

#ThemeOneProgram #Learning #Reasoning
#Logic #LogicalGraphs #FormalLanguages
#Algorithm #DataStructure #GraphTheory
#Peirce #PragmaticSemioticInformation
#Empiricism #Rationalism #Pragmatism
#ModelTheory #ProofTheory #Semiotics
#ParallelDistributedProcessing #PDP
#Grossberg #McClelland #Rumelhart