Mathstodon

0 posts0 participants0 posts today

LavX NewsUnlocking Complex Probability Chains with Propositional Model CountingIn an era where decision-making hinges on accurate probability assessments, understanding the intricacies of causal relationships is more critical than ever. This article explores how propositional mo...<a href="https://news.lavx.hu/article/unlocking-complex-probability-chains-with-propositional-model-counting" rel="nofollow noopener noreferrer" target="_blank">https://news.lavx.hu/article/unlocking-complex-probability-chains-with-propositional-model-counting</a><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#news</a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://mastodon.cloud/tags/WeightedModelCounting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WeightedModelCounting</a> <a href="https://mastodon.cloud/tags/PropositionalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PropositionalLogic</a> <a href="https://mastodon.cloud/tags/CausalInference" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CausalInference</a>

Dr. Anna LatourI'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 (<a href="https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html</a>) 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? 🥺 <a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="tag">#AcademicChatter</a> <a href="https://mathstodon.xyz/tags/AcademicLife" class="mention hashtag" rel="tag">#AcademicLife</a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="tag">#AcademicMastodon</a> <a href="https://mathstodon.xyz/tags/Teaching" class="mention hashtag" rel="tag">#Teaching</a> <a href="https://mathstodon.xyz/tags/Probability" class="mention hashtag" rel="tag">#Probability</a> <a href="https://mathstodon.xyz/tags/ProbabilisticInference" class="mention hashtag" rel="tag">#ProbabilisticInference</a> <a href="https://mathstodon.xyz/tags/Probabilities" class="mention hashtag" rel="tag">#Probabilities</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/PropositionalModelCounting" class="mention hashtag" rel="tag">#PropositionalModelCounting</a> <a href="https://mathstodon.xyz/tags/ProbabilisticLogicProgramming" class="mention hashtag" rel="tag">#ProbabilisticLogicProgramming</a> <a href="https://mathstodon.xyz/tags/ModelCounting" class="mention hashtag" rel="tag">#ModelCounting</a> <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="tag">#PropositionalLogic</a> <a href="https://mathstodon.xyz/tags/WeightedModelCounting" class="mention hashtag" rel="tag">#WeightedModelCounting</a> <a href="https://mathstodon.xyz/tags/DPLL" class="mention hashtag" rel="tag">#DPLL</a> <a href="https://mathstodon.xyz/tags/BayesianProbability" class="mention hashtag" rel="tag">#BayesianProbability</a> <a href="https://mathstodon.xyz/tags/BayesNets" class="mention hashtag" rel="tag">#BayesNets</a> <a href="https://mathstodon.xyz/tags/BasianStatistics" class="mention hashtag" rel="tag">#BasianStatistics</a> <a href="https://mathstodon.xyz/tags/BayesianInference" class="mention hashtag" rel="tag">#BayesianInference</a> <a href="https://mathstodon.xyz/tags/BayesianNetworks" class="mention hashtag" rel="tag">#BayesianNetworks</a> <a href="https://mathstodon.xyz/tags/KnowledgeCompilation" class="mention hashtag" rel="tag">#KnowledgeCompilation</a> <a href="https://mathstodon.xyz/tags/DecisionDiagrams" class="mention hashtag" rel="tag">#DecisionDiagrams</a> <a href="https://mathstodon.xyz/tags/BinaryDecisionDiagrams" class="mention hashtag" rel="tag">#BinaryDecisionDiagrams</a>

Pieter van EverdingenFinished 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: <a href="https://open.hpi.de/courses/knowledgegraphs2023/items/1wEImhMn0LlkY9XxeASC9R" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://open.hpi.de/courses/knowledgegraphs2023/items/1wEImhMn0LlkY9XxeASC9R</a><a href="https://mastodon.nl/tags/kg2023" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kg2023</a> <a href="https://mastodon.nl/tags/KnowledgeGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#KnowledgeGraphs</a> <a href="https://mastodon.nl/tags/SemanticWeb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SemanticWeb</a> <a href="https://mastodon.nl/tags/LinkedData" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LinkedData</a> <a href="https://mastodon.nl/tags/PropositionalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PropositionalLogic</a> <a href="https://mastodon.nl/tags/FirstOrderLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FirstOrderLogic</a> <a href="https://mastodon.nl/tags/DescriptionLogics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DescriptionLogics</a> <a href="https://mastodon.nl/tags/AttributeLanguageWithComplement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AttributeLanguageWithComplement</a> <a href="https://mastodon.nl/tags/WebOntologyLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WebOntologyLanguage</a> <a href="https://mastodon.nl/tags/OWL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OWL</a> <a href="https://mastodon.nl/tags/MrSpock" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MrSpock</a>

Jon Awbrey<a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="tag">#DifferentialPropositionalCalculus</a> • 2 <a href="https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/</a><a href="https://mathstodon.xyz/tags/CactusCalculus" class="mention hashtag" rel="tag">#CactusCalculus</a> —Table 6 introduces a <a href="https://mathstodon.xyz/tags/Syntax" class="mention hashtag" rel="tag">#Syntax</a> for <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#PropositionalCalculus</a> based on 2 families of <a href="https://mathstodon.xyz/tags/MultigradeLogicalConnectives" class="mention hashtag" rel="tag">#MultigradeLogicalConnectives</a>.Table 6. <a href="https://mathstodon.xyz/tags/Syntax" class="mention hashtag" rel="tag">#Syntax</a> and <a href="https://mathstodon.xyz/tags/Semantics" class="mention hashtag" rel="tag">#Semantics</a> of a Calculus for <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="tag">#PropositionalLogic</a> <a href="https://inquiryintoinquiry.files.wordpress.com/2020/02/syntax-and-semantics-of-a-calculus-for-propositional-logic.png" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.files.wordpress.com/2020/02/syntax-and-semantics-of-a-calculus-for-propositional-logic.png</a>Related Subjects — <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#Peirce</a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#Semiotics</a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="tag">#BooleanFunctions</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#LogicalGraphs</a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="tag">#DifferentialLogic</a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="tag">#GraphTheory</a> <a href="https://mathstodon.xyz/tags/CactusGraphs" class="mention hashtag" rel="tag">#CactusGraphs</a> <a href="https://mathstodon.xyz/tags/CactusLanguage" class="mention hashtag" rel="tag">#CactusLanguage</a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperators" class="mention hashtag" rel="tag">#MinimalNegationOperators</a> <a href="https://mathstodon.xyz/tags/PaintedAndRootedCacti" class="mention hashtag" rel="tag">#PaintedAndRootedCacti</a>

Jon Awbrey<a href="https://mathstodon.xyz/tags/ThemeOneProgram" class="mention hashtag" rel="tag">#ThemeOneProgram</a> • <a href="https://mathstodon.xyz/tags/SurveyPage" class="mention hashtag" rel="tag">#SurveyPage</a> • <a href="https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/</a>A program I worked on all through the 80s aimed to develop <a href="https://mathstodon.xyz/tags/Algorithms" class="mention hashtag" rel="tag">#Algorithms</a> and <a href="https://mathstodon.xyz/tags/DataStructures" class="mention hashtag" rel="tag">#DataStructures</a> for integrating <a href="https://mathstodon.xyz/tags/EmpiricalLearning" class="mention hashtag" rel="tag">#EmpiricalLearning</a> and <a href="https://mathstodon.xyz/tags/LogicalReasoning" class="mention hashtag" rel="tag">#LogicalReasoning</a>. I had earlier developed programs for <a href="https://mathstodon.xyz/tags/Learning" class="mention hashtag" rel="tag">#Learning</a> <a href="https://mathstodon.xyz/tags/TwoLevelFormalLanguages" class="mention hashtag" rel="tag">#TwoLevelFormalLanguages</a> and for <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="tag">#PropositionalLogic</a> <a href="https://mathstodon.xyz/tags/ConstraintSatisfaction" class="mention hashtag" rel="tag">#ConstraintSatisfaction</a> based on C.S. <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#Peirce</a>'s <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#LogicalGraphs</a>. Getting those 2 faculties to work together meant integrating the ways of <a href="https://mathstodon.xyz/tags/Empiricism" class="mention hashtag" rel="tag">#Empiricism</a> and <a href="https://mathstodon.xyz/tags/Rationalism" class="mention hashtag" rel="tag">#Rationalism</a>.<a href="https://mathstodon.xyz/tags/ThemeOneProgram" class="mention hashtag" rel="tag">#ThemeOneProgram</a> <a href="https://mathstodon.xyz/tags/Learning" class="mention hashtag" rel="tag">#Learning</a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="tag">#Reasoning</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#LogicalGraphs</a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="tag">#FormalLanguages</a> <a href="https://mathstodon.xyz/tags/Algorithm" class="mention hashtag" rel="tag">#Algorithm</a> <a href="https://mathstodon.xyz/tags/DataStructure" class="mention hashtag" rel="tag">#DataStructure</a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="tag">#GraphTheory</a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#Peirce</a> <a href="https://mathstodon.xyz/tags/PragmaticSemioticInformation" class="mention hashtag" rel="tag">#PragmaticSemioticInformation</a> <a href="https://mathstodon.xyz/tags/Empiricism" class="mention hashtag" rel="tag">#Empiricism</a> <a href="https://mathstodon.xyz/tags/Rationalism" class="mention hashtag" rel="tag">#Rationalism</a> <a href="https://mathstodon.xyz/tags/Pragmatism" class="mention hashtag" rel="tag">#Pragmatism</a> <a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="tag">#ModelTheory</a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="tag">#ProofTheory</a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#Semiotics</a> <a href="https://mathstodon.xyz/tags/ParallelDistributedProcessing" class="mention hashtag" rel="tag">#ParallelDistributedProcessing</a> <a href="https://mathstodon.xyz/tags/PDP" class="mention hashtag" rel="tag">#PDP</a> <a href="https://mathstodon.xyz/tags/Grossberg" class="mention hashtag" rel="tag">#Grossberg</a> <a href="https://mathstodon.xyz/tags/McClelland" class="mention hashtag" rel="tag">#McClelland</a> <a href="https://mathstodon.xyz/tags/Rumelhart" class="mention hashtag" rel="tag">#Rumelhart</a>

Jon AwbreyHere's a few links by way of <a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="tag">#Introduction</a> to the work I've been doing on C.S. <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#Peirce</a> 's <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#LogicalGraphs</a>, <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="tag">#BooleanFunctions</a>, and <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="tag">#PropositionalLogic</a> or <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#PropositionalCalculus</a> for the last umpteen years.• <a href="https://oeis.org/wiki/Logical_Graphs" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Logical_Graphs</a>• <a href="https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/</a>• <a href="https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/</a>

Recent searches

Search options

Administered by:

Server stats:

#PropositionalLogic