#propositionallogic — Public Fediverse posts

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

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

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

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

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

#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

#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

#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

#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

#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