Abstract
Reliability among agents plays a significant role in both human and agent communications. An agent may change her reliability for the other agents, when she receives a new piece of information from one of them. In order to analyze such reliability change, this paper proposes a logical formalization with two dynamic operators, i.e., downgrade and upgrade operators. The downgrade operator allows an agent to downgrade some specified agents to be less reliable in terms of the degree of reliability, while the upgrade operator allows the agent to upgrade them to be more reliable. Furthermore, we demonstrate our formalization by a legal case from Thailand.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This legal case can be referred from http://deka2007.supremecourt.or.th/deka/web/search.jsp (in Thai).
- 2.
An English translation of articles can be referred from http://www.thailaws.com/.
- 3.
Ghosh et al. [9] also proposed the agent-dependent notion of reliability between agents, but the agent-dependent reliability in [9] is rigid in the sense that the same reliability relations from agent a’s perspective hold for all states, while we relativize the notion of reliability to both agents and states, and also equip it with dynamics. We note that Ghosh et al. [9] considered several modal operators for positive and negative opinions for propositions and agents.
- 4.
When \(b < c\) (read: “b is more reliable than c”) holds in a partial (pre-) ordering, then the first argument b comes into the lower position than the second argument c, e.g., in Hasse diagram (cf. [10]). This is the same usage as in Lorini et al. [8]. To keep our geometric intuition for ‘up-’ or ‘downgrading’, \(b < c\) may be read as “c is more reliable than b”, but this would make the reader difficult to see differences and connections from the previous work.
- 5.
For example, if we define a formula \(\varphi \) by \(p \wedge \lnot \mathsf {Bel}(a,p)\), then \([ \mathsf {Careful}(a,\varphi )]\mathsf {Bel}(a,\varphi )\) cannot hold, since the rewritten equivalent formula (by Proposition 6) becomes \(\mathsf {UniSign}(\varphi ,a) \rightarrow \mathsf {Bel}(a,(p \rightarrow \mathsf {Bel}(a,p)))\), which is not valid in all si-models.
- 6.
In this work, we will not analyze how an agent decides to change the reliability ordering between the other agents, as this is a psychological issue and is out of our scope.
- 7.
We would like to give our thanks to the anonymous reviewers, who gave useful comments on this paper. We also thank the participants at JURISIN 2014 who commented on our draft. The work of the second author was partially supported by JSPS KAKENHI, Grant-in-Aid for Young Scientists (B) 24700146.
References
Prakken, H., Sartor, G.: The role of logic in computational models of legal argument: a critical survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 342–381. Springer, Heidelberg (2002)
Bench-Capon, T.J.M., Prakken, H.: Introducing the logic and law corner. J. Log. Comput. 18(1), 1–12 (2008)
Grossi, D., Rotolo, A.: Logic in the law: a concise overview. Log. Philos. Today. Stud. Log. 30, 251–274 (2011)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Netherlands (2008)
van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Classic Log. 14(2), 129–155 (2004)
Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems-a modal logic formulation. Artif. Intell. 149(1), 31–60 (2003)
Perrussel, L., Lorini, E., Thévenin, J.: From signed information to belief in multi-agent systems. In: Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010 (2010)
Lorini, E., Perrussel, L., Thévenin, J.-M.: A modal framework for relating belief and signed information. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 58–73. Springer, Heidelberg (2011)
Ghosh, S., Velázquez-Quesada, F.: Merging information. In: van Benthem, J., Gupta, A., Pacuit, E. (eds.) Games, Norms and Reasons: Logic at the Crossroads, Volume 353 of Synthese Library. Springer, Netherlands (2011)
Brüggemann, R., Patil, G.: Ranking and Prioritization for Multi-indicator Systems: Introduction to Partial Order Applications. Environmental and Ecological Statistics. Springer (2011)
Baltag, A., van Ditmarsch, H.P., Moss, L.S.: Epistemic logic and information update. In: Adriaans, P., van Benthem, J. (eds.) Handbook on the Philosophy of Information, pp. 361–456. Elsevier Science Publishers, Amsterdam (2008)
van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non-Classical Log. 17(2), 157–182 (2007)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
A Complete Axiomatization of Dynamic Logic
A Complete Axiomatization of Dynamic Logic
1.1 A.1 Proof of Theorem 1
Proof
Let us write our axiomatization by \(\mathbf {BS}_{\leqslant }\). We show that any unprovable formula \(\varphi \) in \(\mathbf {BS}_{\leqslant }\) is falsified in some si-model and we basically follow the standard techniques, e.g. found in [13]. Let \(\varphi \) be an unprovable formula in \(\mathbf {BS}_{\leqslant }\). We define the canonical model \(\mathfrak {M}\) where \(\varphi \) is falsified at some point of \(\mathfrak {M}\). We say that a set \(\varGamma \) of formulas is \(\mathbf {BS}_{\leqslant }\) -consistent (for short, consistent) if \(\bigwedge \varGamma '\) is unprovable in \(\mathbf {BS}_{\leqslant }\), for all finite subsets \(\varGamma '\) of \(\varGamma \), and that \(\varGamma \) is maximally consistent if \(\varGamma \) is consistent and \(\varphi \in \varGamma \) or \(\lnot \varphi \in \varGamma \) for all formulas \(\varphi \). Note that \(\psi \) is unprovable in \(\mathbf {BS}_{\leqslant }\) iff \(\lnot \psi \) is \(\mathbf {BS}_{\leqslant }\)-consistent, for any formula \(\psi \). We define the canonical model for \(\mathbf {BS}_{\leqslant }\) by:
-
W is the set of all maximal consistent sets;
-
\(\varGamma R_{a} \varDelta \) iff (\(\mathsf {Bel}(a,\psi ) \in \varGamma \) implies \(\psi \in \varDelta \)) for all \(\psi \);
-
\(\varGamma S_{a} \varDelta \) iff (\(\mathsf {Sign}(a,\psi ) \in \varGamma \) implies \(\psi \in \varDelta \)) for all \(\psi \);
-
\(b \preccurlyeq _{a}^{\varGamma } c\) iff \(b \leqslant _a c \in \varGamma \);
-
\(\varGamma \in V(p)\) iff \(p \in \varGamma \).
Then, we can show the following equivalence (Truth Lemma [13, Lemma 4.21]): \(\mathfrak {M},\varGamma \; \models \; \psi \) iff \(\psi \in \varGamma \) for all formulas \(\psi \) and \(\varGamma \in W\). Given any unprovable formula \(\varphi \) in \(\mathbf {BS}_{\leqslant }\), we can find a maximal consistent set \(\varDelta \) such that \(\lnot \varphi \in \varGamma \). Then, by the equivalence above, \(\varphi \) is falsified at \(\varDelta \) of the canonical model \(\mathfrak {M}\) for \(\mathbf {BS}_{\leqslant }\), where we can assure that \(\mathfrak {M}\) is our intended si-model by axioms of Proposition 1. \(\quad \square \)
1.2 A.2 Proof of Theorem 2
Proof
By \(\vdash \psi \) (or \(\vdash ^{+} \psi \)), we mean that \(\psi \) is a theorem of the axiomatization \(\mathbf {BS}_{\leqslant }\) in the previous proof (or, the axiomatization \(\mathbf {BS}_{\leqslant }^{+}\) given in the statement of Theorem 2, respectively.) As for the completeness part, we can reduce the completeness of our dynamic extension to the static counterpart (i.e., Theorem 1) as follows. With the help of the axioms of Propositions 3, 4, and 6, we can define a mapping t sending a formula \(\psi \) of the expanded syntax (we denote this by \(\mathcal {L}^{+}\) below) possibly with three kinds of dynamic operators (i.e., \([ \mathop {H\Downarrow ^a_{\varphi }} ]\), \([ \mathop {H\Uparrow ^a_{\varphi }} ]\), and \([\varphi \leadsto a]\)) to a formula \(t(\psi )\) of the original syntax \(\mathcal {L}\). For this aim, we employ inside-out strategy, i.e., we start rewriting the innermost occurrences of three kinds of dynamic operators. (So, we do not need to consider an axiom for iterated dynamic operators such as \([\varphi \leadsto a][\psi \leadsto a]\) or \([\varphi \leadsto a][ \mathop {H\Uparrow ^a_{\varphi }} ]\).) For example, if one of the innermost dynamic operators is \([\varphi \leadsto a]\), then we cannot find any occurrences of three kinds of dynamic operators. For inside-out strategy, we need to have the following inference rules for dynamic operators:
to assure the replacement of equivalent formulas inside of a formula. But, these rules are derivable from the corresponding necessitation laws and the reduction axioms for the negation and the conjunction in Propositions 3, 4, and 6. Then, for this mapping t, we can show that \(\psi \leftrightarrow t(\psi )\) is valid on all si-models and \(\vdash ^{+} \psi \leftrightarrow t(\psi )\). Then, we can proceed as follows. Fix any formula \(\psi \) of \(\mathcal {L}^{+}\) such that \(\psi \) is valid on all si-models. By the validity of \(\psi \leftrightarrow t(\psi )\) on all si-models, we obtain that \(t(\psi )\) is valid on all si-models. By Theorem 1, \(\vdash t(\psi )\), which implies \(\vdash ^{+} t(\psi )\). Finally, it follows from \(\vdash ^{+} \psi \leftrightarrow t(\psi )\) that \(\vdash ^{+} \psi \), as desired. \(\quad \square \)
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jirakunkanok, P., Sano, K., Tojo, S. (2015). Analyzing Reliability Change in Legal Case. In: Murata, T., Mineshima, K., Bekki, D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2014. Lecture Notes in Computer Science(), vol 9067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48119-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-662-48119-6_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48118-9
Online ISBN: 978-3-662-48119-6
eBook Packages: Computer ScienceComputer Science (R0)