<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Darwiche on Aayush Bajaj's Augmenting Infrastructure</title><link>https://abaj.ai/tags/darwiche/</link><description>Recent content in Darwiche on Aayush Bajaj's Augmenting Infrastructure</description><generator>Hugo</generator><language>en</language><copyright>© 2026 Aayush Bajaj</copyright><lastBuildDate>Wed, 16 Sep 2026 06:00:25 +1000</lastBuildDate><atom:link href="https://abaj.ai/tags/darwiche/index.xml" rel="self" type="application/rss+xml"/><item><title>Solutions to Darwiche's Modeling and Reasoning with Bayesian Networks</title><link>https://abaj.ai/words/library/books/modeling-and-reasoning-with-bayesian-networks/</link><pubDate>Mon, 07 Sep 2026 09:00:00 +1000</pubDate><guid>https://abaj.ai/words/library/books/modeling-and-reasoning-with-bayesian-networks/</guid><description>&lt;p>Solutions to every exercise in Adnan Darwiche&amp;rsquo;s &lt;em>Modeling and Reasoning with Bayesian Networks&lt;/em> (Cambridge, 2009) — 342 exercises across chapters 2–18, from propositional logic and probability calculus through exact and approximate inference to parameter and structure learning. The book is the COMP9418 reference text and is filed at &lt;a
 href="https://abaj.ai/words/library/books/modeling_and_reasoning_with_bayesian_networks/"
 
 
>Modeling and Reasoning with Bayesian Networks&lt;/a>.&lt;/p>
&lt;script type="text/javascript" src= '/js/pdf-js/build/pdf.js'>&lt;/script>

&lt;style>
 #embed-pdf-container {
 position: relative;
 width: 100%;
 height: auto;
 min-height: 20vh;
 
 }
 
 .pdf-canvas {
 border: 1px solid black;
 direction: ltr;
 width: 100%;
 height: auto;
 display: none;
 }
 
 #the-canvas {
 border: 1px solid black;
 direction: ltr;
 width: 100%;
 height: auto;
 display: none;
 }
 
 
 .pdf-loadingWrapper {
 display: none;
 justify-content: center;
 align-items: center;
 width: 100%;
 height: 350px;
 }
 
 .pdf-loading {
 display: inline-block;
 width: 50px;
 height: 50px;
 border: 3px solid #d2d0d0;;
 border-radius: 50%;
 border-top-color: #383838;
 animation: spin 1s ease-in-out infinite;
 -webkit-animation: spin 1s ease-in-out infinite;
 }
 
 
 
 
 
 #overlayText {
 word-wrap: break-word;
 display: grid;
 justify-content: end;
 }
 
 
 #overlayText svg {
 height: clamp(1em, 2vw, 1.4em);
 width: clamp(1em, 2vw, 1.4em);
 }
 
 
 
 @keyframes spin {
 to { -webkit-transform: rotate(360deg); }
 }
 @-webkit-keyframes spin {
 to { -webkit-transform: rotate(360deg); }
 }
 &lt;/style>&lt;div class="embed-pdf-container" id="embed-pdf-container-2adc777c">
 &lt;div class="pdf-loadingWrapper" id="pdf-loadingWrapper-2adc777c">
 &lt;div class="pdf-loading" id="pdf-loading-2adc777c">&lt;/div>
 &lt;/div>
 &lt;div id="overlayText">
 &lt;a href="https://abaj.ai/words/library/books/modeling-and-reasoning-with-bayesian-networks.pdf" class="pdf-download-button" aria-label="Download" download>
	&lt;svg class="my-svg" aria-hidden="true" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 18 18">
	 &lt;style>
	 .my-svg path {
		fill: black;
	 }
	 [data-theme="dark"] .my-svg path {
		fill: var(--fg0);
	 }
	 &lt;/style>
	 &lt;path d="M9 13c.3 0 .5-.1.7-.3L15.4 7 14 5.6l-4 4V1H8v8.6l-4-4L2.6 7l5.7 5.7c.2.2.4.3.7.3zm-7 2h14v2H2z" />
	&lt;/svg>
 &lt;/a>
 &lt;/div>
 &lt;canvas class="pdf-canvas" id="pdf-canvas-2adc777c">&lt;/canvas>
&lt;/div>

&lt;div class="pdf-paginator" id="pdf-paginator-2adc777c">
 &lt;button id="pdf-prev-2adc777c">Previous&lt;/button>
 &lt;button id="pdf-next-2adc777c">Next&lt;/button> &amp;nbsp; &amp;nbsp;
 &lt;span>
 &lt;span class="pdf-pagenum" id="pdf-pagenum-2adc777c">&lt;/span> / &lt;span class="pdf-pagecount" id="pdf-pagecount-2adc777c">&lt;/span>
 &lt;/span>
&lt;/div>

&lt;noscript>
View the PDF file &lt;a class="pdf-source" id="pdf-source-noscript-2adc777c" href="https://abaj.ai/words/library/books/modeling-and-reasoning-with-bayesian-networks.pdf">here&lt;/a>.
&lt;/noscript>

&lt;script type="text/javascript">
 (function(){
 var url = '\/words\/library\/books\/modeling-and-reasoning-with-bayesian-networks.pdf';

 var hidePaginator = "" === "true";
 var hideLoader = "" === "true";
 var selectedPageNum = parseInt("") || 1;

 
 var pdfjsLib = window['pdfjs-dist/build/pdf'];

 
 if (!pdfjsLib) {
 return;
 }

 
 if (pdfjsLib.GlobalWorkerOptions.workerSrc == '')
 pdfjsLib.GlobalWorkerOptions.workerSrc = "https:\/\/abaj.ai\/" + 'js/pdf-js/build/pdf.worker.js';

 
 var pdfDoc = null,
 pageNum = selectedPageNum,
 pageRendering = false,
 pageNumPending = null,
 scale = 3,
 canvas = document.getElementById('pdf-canvas-2adc777c'),
 ctx = canvas.getContext('2d'),
 paginator = document.getElementById("pdf-paginator-2adc777c"),
 loadingWrapper = document.getElementById('pdf-loadingWrapper-2adc777c');


 
 showPaginator();
 showLoader();

 

 function renderPage(num) {
 pageRendering = true;
 
 pdfDoc.getPage(num).then(function(page) {
 var viewport = page.getViewport({scale: scale});
 canvas.height = viewport.height;
 canvas.width = viewport.width;

 
 var renderContext = {
 canvasContext: ctx,
 viewport: viewport
 };
 var renderTask = page.render(renderContext);

 
 renderTask.promise.then(function() {
 pageRendering = false;
 showContent();

 if (pageNumPending !== null) {
 
 renderPage(pageNumPending);
 pageNumPending = null;
 }
 });
 });

 
 document.getElementById('pdf-pagenum-2adc777c').textContent = num;
 }

 

 function showContent() {
 loadingWrapper.style.display = 'none';
 canvas.style.display = 'block';
 }

 

 function showLoader() {
 if(hideLoader) return
 loadingWrapper.style.display = 'flex';
 canvas.style.display = 'none';
 }

 

 function showPaginator() {
 if(hidePaginator) return
 paginator.style.display = 'block';
 }

 

 function queueRenderPage(num) {
 if (pageRendering) {
 pageNumPending = num;
 } else {
 renderPage(num);
 }
 }

 

 function onPrevPage() {
 if (pageNum &lt;= 1) {
 return;
 }
 pageNum--;
 queueRenderPage(pageNum);
 }
 document.getElementById('pdf-prev-2adc777c').addEventListener('click', onPrevPage);

 

 function onNextPage() {
 if (pageNum >= pdfDoc.numPages) {
 return;
 }
 pageNum++;
 queueRenderPage(pageNum);
 }
 document.getElementById('pdf-next-2adc777c').addEventListener('click', onNextPage);

 

 pdfjsLib.getDocument({ url: url, verbosity: 0 }).promise.then(function(pdfDoc_) {
 pdfDoc = pdfDoc_;
 var numPages = pdfDoc.numPages;
 document.getElementById('pdf-pagecount-2adc777c').textContent = numPages;

 
 if(pageNum > numPages) {
 pageNum = numPages
 }

 
 renderPage(pageNum);
 });
 })();
&lt;/script>



&lt;div class="collapse-marker" data-target-path="/words/library/books/modeling-and-reasoning-with-bayesian-networks/" data-folded="true" data-lvl="0">&lt;/div>
&lt;div class="collapsible-container">
 &lt;style id="collapsible-css">
 
 .collapsible-wrapper {
 display: flex;
 align-items: center;
 margin-bottom: 0px;
 }

 
 .toggle-button {
 cursor: pointer;
 border: none;
 background: none;
 color: black;
 font-size: 1rem;
 width: 1.5rem; 
 height: 1.5rem;
 text-align: center;
 line-height: 1.5rem;
 margin-right: 8px;
 padding: 0;
 }

 [data-theme="dark"] .toggle-button {
 color: white; 
 }

 
 .toggle-button:focus {
 outline: none;
 }

 
 .collapsible-content {
 display: none;
 margin-left: 8px;
 margin-bottom: 0px;
 padding: 2px 0 2px 12px;
 border-left: 1px solid rgba(0, 0, 0, 0.1);
 transition: all 0.3s ease-out;
 }

 
 [data-theme="dark"] .collapsible-content {
 border-left-color: rgba(255, 255, 255, 0.12);
 }

 
 .collapsible-content.show {
 display: block;
 }
 &lt;/style>

 &lt;script src="https://abaj.ai/js/collapsible-global.js">&lt;/script>
&lt;/div>

&lt;h2 id="propositional-logic">Propositional Logic&lt;a href="#propositional-logic" class="post-heading__anchor" aria-hidden="true">#&lt;/a>
&lt;/h2>
&lt;div class="collapsible-container">
 &lt;script type="text/javascript">
 var folded = 'true';
 &lt;/script>
&lt;/div>

&lt;h3 id="exercises-2-dot-1-2-dot-7">Exercises 2.1–2.7&lt;a href="#exercises-2-dot-1-2-dot-7" class="post-heading__anchor" aria-hidden="true">#&lt;/a>
&lt;/h3>
&lt;div class="math-problem" id="2.1">
&lt;div class="math-problem-header">
&lt;div class="problem-header-left">
&lt;strong>Problem&lt;span class="problem-counter">&lt;/span>&lt;/strong>
&lt;span class="problem-name">(2.1)&lt;/span>
&lt;/div>
&lt;/div>
&lt;div class="math-problem-content">
&lt;p>Show that the following sentences are consistent by identifying a world that satisfies each sentence:&lt;/p></description></item></channel></rss>