<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>elisa freschiPossible applications of Mīmāṃsā deontics: on Chaudhuri and Vardi &#8211; elisa freschi</title>
	<atom:link href="https://elisafreschi.com/2014/04/04/possible-applications-of-mima%E1%B9%83sa-deontics-on-chaudhuri-and-vardi/feed/" rel="self" type="application/rss+xml" />
	<link>https://elisafreschi.com</link>
	<description>These pages are a sort of virtual desktop of Elisa Freschi. You can find here my cv and some random thoughts on Sanskrit (and) Philosophy. All criticism welcome! Contributions are also welcome!</description>
	<lastBuildDate>Thu, 30 Apr 2026 22:43:11 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	
		<item>
		<title>Possible applications of Mīmāṃsā deontics: on Chaudhuri and Vardi</title>
		<link>https://elisafreschi.com/2014/04/04/possible-applications-of-mima%e1%b9%83sa-deontics-on-chaudhuri-and-vardi/</link>
		<comments>https://elisafreschi.com/2014/04/04/possible-applications-of-mima%e1%b9%83sa-deontics-on-chaudhuri-and-vardi/#comments</comments>
		<pubDate>Fri, 04 Apr 2014 09:47:06 +0000</pubDate>
		<dc:creator>elisa freschi</dc:creator>
				<category><![CDATA[books/articles]]></category>
		<category><![CDATA[deontic]]></category>
		<category><![CDATA[Mīmāṃsā]]></category>
		<category><![CDATA[Moshe Y. Vardi]]></category>
		<category><![CDATA[Swarat Chaudhuri]]></category>
		<guid isPermaLink="false">http://elisafreschi.com/?p=650</guid>

				<description><![CDATA[There are fields in which the contribution of applied ethics and deontics are more than needed, such as that of the programming of artificial intelligence connected to robots which might interact with human beings. Chaudhuri and Vardi (their article can be downloaded here) quote the following case: Once released on our streets, self-driving cars will [&#8230;]]]></description>
					<content:encoded><![CDATA[<p>There are fields in which the contribution of applied ethics and deontics are more than needed, such as that of the programming of artificial intelligence connected to robots which might interact with human beings. Chaudhuri and Vardi (their article can be downloaded <a href="http://popl-obt-2014.cs.brown.edu/papers/ethics.pdf" target="_blank">here</a>) quote the following case:<span id="more-650"></span> </p>
<blockquote><p>Once released on our streets, self-driving cars will almost certainly face circumstances where they just cannot avoid harming a human.<br />
It is thus imperative that the new generations of intelligent machines be not just efﬁcient or functional but also <em>ethical</em>.</p></blockquote>
<p>A case which might appear even closer to readers of this blog is that of softwares needing to handle the allocation of resources. These need to receive several bits of information, but to neglect some of them (e.g., &#8220;membership in a political party&#8221;), while taking into account others (e.g. &#8220;academic ability&#8221;, which Chaudhuri and Vardi do not explain further).<br />
Now, all these issues do not only need the help of ethicists who are willing to engage in the elaboration of appropriate programs, but also of deontic logicians. Consider the following example, again from the same article:</p>
<blockquote><p>[W]hat if a drone in a battleﬁeld is obligated to ensure <em>p</em>, but it is impossible to ensure <em>p</em>? Is the drone still required to fulﬁll its other obligations? The answer should presumably be yes. However, note that this is a departure from classical [deontic, EF] logic, where the impossibility to meet <em>p</em> would amount to an inconsistency, rendering moot every other consideration.</p></blockquote>
<p>This entails the need to elaborate a deontic logic which is no longer bound to the limits of <a href="http://plato.stanford.edu/entries/logic-deontic/#2" target="_blank">Standard Deontic Logic</a> and, for instance, values differently different obligations, so that a failure to accomplish a minor obligation does not make the system collapse. This consideration would already be enough to make researchers curious about deontic systems developed outside the Lutheran tradition (it might be worth remembering that deontic logic started in the West in Scandinavia and has until now been primarily developed in Northern Europe and the US) and thus entailing, most probably, different biases, so that the combination of various systems could pave the way for the creation of a more comprehensive one, able to process different sorts of conflicts. It is in this connection perhaps not surprising that the authors of this article are both coming from outside the precincts of the majority of scholars working on deontic logic (respectively, from India and Israel).<br />
On top of that, there are specific reasons to want to come closer to the Mīmāṃsā deontics, since it precisely entails a hierarchy of prescriptions/obligations (see the comments to <a href="http://elisafreschi.com/2014/03/07/do-you-think-that-sanskrit-is-hard-have-a-look-at-what-our-fellow-logicians-are-doing-on-srinivasan-and-parthasarathi-2012/" target="_blank">this</a> post).</p>
<p>Now, a different question: <strong>On which side does it depend that programmers and logicians interact so little with historians of philosophy?</strong></p>
<p><small>For another post on Mīmāṃsā deontic read by contemporary logicians, see <a href="http://elisafreschi.com/2014/03/07/do-you-think-that-sanskrit-is-hard-have-a-look-at-what-our-fellow-logicians-are-doing-on-srinivasan-and-parthasarathi-2012/" target="_blank">here</a>.</small></p>
]]></content:encoded>
			

		<wfw:commentRss>https://elisafreschi.com/2014/04/04/possible-applications-of-mima%e1%b9%83sa-deontics-on-chaudhuri-and-vardi/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
				<post-id xmlns="com-wordpress:feed-additions:1">650</post-id>	</item>
	</channel>
</rss>