arxiv: v1 [cs.ai] 28 Jun 2016
|
|
- Pearl Gregory
- 5 years ago
- Views:
Transcription
1 On the Semantic Relationship beteen Probabilistic Soft Logic and Markov Logic Joohyung Lee and Yi Wang School of Computing, Informatics, and Decision Systems Engineering Arizona State University Tempe, AZ, 85287, USA arxiv: v1 [cs.ai] 28 Jun 2016 Abstract Markov Logic Netorks MLN and Probabilistic Soft Logic PSL are idely applied formalisms in Statistical Relational Learning, an emerging area in Artificial Intelligence that is concerned ith combining logical and statistical AI. Despite their resemblance, the relationship has not been formally stated. In this paper, e describe the precise semantic relationship beteen them from a logical perspective. This is facilitated by first extending fuzzy logic to allo eights, hich can be also vieed as a generalization of PSL, and then relate that generalization to MLN. We observe that the relationship beteen PSL and MLN is analogous to the knon relationship beteen fuzzy logic and Boolean logic, and furthermore the eight scheme of PSL is essentially a generalization of the eight scheme of MLN for the many-valued setting. 1 Introduction Statistical relational learning SRL is an emerging area in Artificial Intelligence that is concerned ith combining logical and statistical AI. Markov Logic Netorks MLN Richardson and Domingos 2006 and Probabilistic Soft Logic PSL Kimmig et al. 2012; Bach et al are ell-knon formalisms in statistical relational learning, and have been successfully applied to a ide range of AI applications, such as natural language processing, entity resolution, collective classification, and social netork modeling. Both of them combine logic and probabilistic graphical model in a single representation, here each formula is associated ith a eight, and the probability distribution over possible orlds is derived from the eights of the formulas that are satisfied by the possible orlds. Hoever, despite their resemblance to each other, the precise relationship beteen their semantics is not obvious. PSL is based on fuzzy interpretations that range over reals in[0,1], and in this sense is more general than MLN. On the other hand, its syntax is restricted to formulas in clausal form, unlike MLN that allos any complex formulas. It is also not obvious ho their models eights are related to each other due to the different ays that the eights are associated ith models. Originating from the machine learning research, these formalisms 1 In Working Notes of the 6th International Workshop on Statistical Relational AI StarAI 2016 are equipped ith several efficient inference and learning algorithms, and some paper compares the suitability of one formalism over the other by experiments on specific applications Beltagy, Erk, and Mooney On the other hand, the precise relationship beteen the to formalisms has not been formally stated. In this paper, e present a precise semantic relationship beteen them. We observe that the relationship is analogous to the ell-knon relationship beteen fuzzy logic and classical logic. Moreover, despite the different ays that eights of models are defined in each formalism, it turns out that they are essentially of the same kind. Toards this end, e introduce a eighted fuzzy logic as a proper generalization of PSL, hich is also interesting on its on as an extension of the standard fuzzy logic to incorporate eighted models. The eighted fuzzy logic uses the same eight scheme as PSL, but associates eights to arbitrary fuzzy formulas. This intermediate formalism facilitates the comparison beteen PSL and MLN. We observe that the same analogy beteen fuzzy logic and Boolean logic carries over to beteen PSL and MLN. Analogous to that fuzzy logic agrees ith Boolean logic on crisp interpretations, PSL and MLN agree on crisp interpretations, here their eights are proportional to each other. Hoever, their maximum a posteriori MAP estimates do not necessarily coincide due to the differences beteen many-valued vs. Boolean models. The paper is organized as follos. We first revie each of MLN, fuzzy propositional logic, and PSL. Then e define a eighted fuzzy logic as a generalization of PSL. Using this e study the semantic relationship beteen PSL and MLN. Preliminaries Although both PSL and MLN allo atoms to contain variables, those variables are understood in terms of grounding over finite domains here a universally quantified sentence is turned into multiple conjunctions and an existentially quantified sentence is turned into multiple disjunctions, essentially resulting in propositional theories. For example, the ground atoms of the first-order signature σ = {p,a,b}, herepis a unary predicate constant anda,bare object constants, can be identified ith the propositional atoms of the propositional signature{pa, pb}. Thus for simplicity but ithout losing generality, e assume that the programs are
2 propositional. 2 Revie: Markov Logic Netorks The folloing is a revie of Markov Logic from Richardson and Domingos A Markov Logic Netork MLN L of a propositional signature σ is a finite set of pairs : F, here F is a propositional formula ofσ and is a real number. For any MLN L of signature σ, e define L I to be the set of eighted formulas : F in L such that I = F. The unnormalized eight of an interpretation I under L is defined as W L I = exp, :F L I and the normalized eight a.k.a. probability of I under L is defined as P L I = W L I J PW W LJ, here PW Possible Worlds is the set of all interpretations ofσ. The basic idea of Markov Logic is to allo formulas to be soft constrained, here a model does not have to satisfy all formulas, but is associated ith the eight that is obtained from the satisfied formulas. An interpretation that does not satisfy certain formulas receives an indirect penalty because such formulas do not contribute to the eight of that interpretation. Revie: Fuzzy Propositional Formula The folloing is a revie of fuzzy propositional formulas from Hajek A fuzzy propositional signature σ is a set of symbols called fuzzy atoms. In addition, e assume the presence of a setconj of fuzzy conjunction symbols, a set DISJ of fuzzy disjunction symbols, a set NEG of fuzzy negation symbols, and a set IMPL of fuzzy implication symbols. A fuzzy propositional formula of σ is defined recursively as follos. every fuzzy atom p σ is a fuzzy formula; every numeric constant c, here c is a real number in [0,1], is a fuzzy formula; iff is a fuzzy formula, then F is a fuzzy formula, here NEG; if F and G are fuzzy formulas, then F G, F G, and F G are fuzzy formulas, here CONJ, DISJ, and IMPL. The models of a fuzzy formula are defined as follos. The fuzzy truth values are the real numbers in the range[0,1]. A fuzzy interpretation I of σ is a mapping from σ into[0, 1]. 2 Inference and learning algorithms in these languages indeed utilize the relational structure, but in terms of defining the semantics, the assumption simplifies the presentation ithout the need to refer to fuzzy predicate logic. Symbol Name Definition l Lukasieicz t-norm l x,y = maxx+y 1,0 l Lukasieicz t-conorm l x,y = minx + y,1 m Gödel t-norm mx,y = minx,y m Gödel t-conorm mx,y = maxx,y p product t-norm px,y = x y p product t-conorm px,y = x + y x y s standard negator sx = 1 x 1 if x y r R-implicator induced by m rx,y = y otherise s S-implicator induced by m sx,y = max1 x,y l Implicator induced by l l x,y = min1 x + y,1 Figure 1: Some t-norms, t-conorms, negator, and implicators The fuzzy operators are functions mapping one or a pair of truth values into a truth value. Among the operators, denotes a function from [0,1] into [0,1];,, and denote functions from[0,1] [0,1] into[0,1]. The actual mapping performed by each operator can be defined in many different ays, but all of them satisfy the properties that they are generalizations of the corresponding Boolean connectives. Figure 1 lists some examples of fuzzy operators. The truth value of a fuzzy propositional formula F underi, denotedυ I F, is defined recursively as follos: for any atomp σ, υ I p = Ip; for any numeric constantc, υ I c = c; υ I F = υ I F; υ I F G = υ I F,υ I G {,, }. For simplicity, e identify the symbols for the fuzzy operators ith the truth value functions represented by them. Definition 1 We say that a fuzzy interpretation I satisfies a fuzzy formula F if υ I F = 1, and denote it by I = F. We call suchi a fuzzy model off. We say that a fuzzy interpretation I is Boolean if Ip is either 0 or 1 for each fuzzy atom p. Clearly, e may identify a Boolean fuzzy interpretation I ith the classical propositional interpretation by identifying 1 ith TRUE and 0 ith FALSE. Any fuzzy propositional formula hose numeric constants are restricted to0and1can be identified ith a classical propositional formula. For such a formula F, due to the fact that fuzzy operators are generalizations of their Boolean counterparts, it is clear that Boolean fuzzy models of F are precisely the Boolean models of F hen F is vieed as a classical propositional formula. Revie: Probabilistic Soft Logic The folloing is a revie of PSL from Kimmig et al. 2012, but is stated using the terminology from fuzzy logic. A PSL program Π is a set of eighted formulas : R ˆk here is a nonnegative real number, R is a fuzzy propositional formula of the form 3 a l b 1 l... l b n 1 3 We understand G F as an alternative notation for F G.
3 heren 0, each of a,b 1,...,b n is a fuzzy atom possibly preceded by the standard negator, and k {1,2}. 4 For each rule R of the form 1, the distance to satisfaction under interpretation I is defined as d R I = max{0, υ I b 1 l l b n υ I a}. 2 Given an interpretation I of Π, the unnormalized density function over I under Π is defined as ˆf Π I = exp d R I, k :Rˆk Π and the probability density function over I under Π is defined as f Π I = ˆf Π I, Z Π herez Π is the normalization factor ˆf Π I. I The probability density function f Π I is defined similar to the eight W L I in MLN. Different from MLN here the eight of an interpretation comes from the sum over the eights of all formulas that are satisfied thus the penalty is implicit, in PSL, the probability density function of an interpretation is obtained from the sum over the penalty i.e., the eight times the distance to satisfaction from each formula, here the penalty is 0 hen the formula is satisfied, and becomes bigger as the formula gets unsatisfied more i.e., the fuzzy truth value of the body gets bigger than the fuzzy truth value of the head. When the formula is most unsatisfied i.e., the body evaluates to 1 and the head evaluates to0, the penalty is, the maximum. A novel idea here is that each formula contributes to the penalty to a certain graded truth degree including 0. Along ith the restriction imposed on the syntax of fuzzy formulas using the rule form 1, MAP inference in PSL can be reduced to a convex optimization problem in continuous space, thereby enabling efficient computation. Weighted Fuzzy Logic as a Generalization of PSL Weighted Fuzzy Logic Here e define a eighted fuzzy logic as a generalization of PSL. The idea is simple. We take the standard fuzzy logic and extend it by applying the log-linear eight scheme of PSL. A eighted propositional fuzzy logic theory Π is a set of eighted formulas : F ˆk, here is a real number, F is a fuzzy propositional formula, and 4 PSL also allos linear equality and inequality constraints, hich is outside logical theories, and e omit here for simplicity. InterpretationI that violates any of them gets f ΠI = 0. k {1,2}. The unnormalized density function of a fuzzy interpretationi underπis defined as ˆf Π I = exp 1 υ I F, k :F ˆk Π and the probability density function of I under Π is defined as f Π I = ˆf Π I, Z Π herez Π is the normalization factor ˆf Π I. I Notice that 1 υ I F represents the distance to satisfaction in the general case. It is 0 hen I satisfies F, and becomes bigger as υ I F gets farther from 1. This notion of distance to satisfaction for an arbitrary formula is also used in Probabilistic Similarity Logic Bröcheler, Mihalkova, and Getoor 2010, and indeed, the eighted fuzzy logic is very similar to Probabilistic Similarity Logic. Both of them employ arbitrary fuzzy operators, not restricted to the Lukasieicz fuzzy operators. Hoever, the languages are not the same. In Probabilistic Similarity Logic, atomic sentences are of the form called similarity statements,a = s B, heresis some similarity measure, and A, B are entities or sets that can even be represented in an object-oriented syntax. On the other hand, atomic sentences of the eighted logic is a fuzzy atom, same as in PSL. As e sho belo it is easy to vie the eighted fuzzy logic as a generalization of PSL, and it serves as a convenient intermediate language to relate PSL and MLN. 5 Relation to PSL The folloing lemma tells us ho the notions of distance to satisfaction in PSL and in the eighted fuzzy logic are related. Lemma 1 For any rule R of the form 1 and any interpretation I, d R I = 1 υ I R. Proof. 1 υ IR = max{0, 1 υ IR} = max{0, 1 υ Ia l b 1 l... l b n} = max{0, 1 min{1 υ Ib 1 l l b n+υ Ia, 1}} = max{0, υ Ib 1 l l b n υ Ia} = d RI. In Lemma 1, it is essential that rules 1 use Lukasieicz fuzzy operators. The lemma does not hold ith an arbitrary selection of fuzzy operators as the folloing example indicates. 5 Although PSL and Probabilistic Similarity Logic seem to be closely related, the formal relationship beteen them has not been discussed in the literature to the best of our knoledge.
4 Example 1 Consider Gödel t-norm m and its residual implicator r. Let R be q r p and I an interpretation {p,0.6,q,0.4}. d R I is 0.2, hile 1 υ I p r q is1 0.4 = 0.6. It follos from Lemma 1 that PSL can be easily vieed as a special case of the eighted fuzzy logic. Theorem 1 Given any PSL programπand any fuzzy interpretation I, the definition of f Π I hen Π is vieed as the eighted fuzzy logic coincides ith the definition of f Π I henπis vieed as a PSL program. Proof. Immediate from Lemma 1. Due to this theorem, e ill call the eighted fuzzy logic also as generalized PSL GPSL. Vieing PSL as a special case of the eighted fuzzy logic allos us to apply the mathematical results knon from fuzzy logic to the context of PSL. Here is one example, hich tells us that the different versions of PSL defined in Kimmig et al and Bach et al are equivalent despite the different syntax adopted in each of them. To be precise, PSL in Bach et al is defined for clausal form only, such as 3 belo, hile in Kimmig et al it is defined for rule form 1 only. When L is either an atom A or s A, by øl e denote a literal complementary to L, i.e., øl = s A if L is A, and øl = A ifl = s A. The folloing equivalences are knon from fuzzy logic. Lemma 2 For any formulas F and G, and any literals L i 1 i n, a F l G is equivalent to s F l G. b s L 1 l l L n is equivalent toøl 1 l l øl n. The folloing lemma tells us that the clausal form using Lukasieicz t-conorm can be ritten in many different forms. Lemma 3 For any literalsl i 1 i n, is equivalent to L 1 l l L m l L m+1 l l L n 3 øl 1 l l øl m l L m+1 l l L n here n m 0. Proof. By Lemma 2 a, formula 3 is equivalent to s L 1 l l L m l L m+1 l l L n and by Lemma 2 b, the latter is equivalent to øl 1 l l øl m l L m+1 l l L n. It follos from Lemma 1 that the probability density of an interpretation does not change hen the formula is replaced ith another equivalent formula. This tells us that PSL rules of the form 1 can be reritten as any other equivalent formulas. For instance, PSL rule : a l b l c ˆ1 4 can be equivalently reritten as any of the folloing ones. : s b l s a l c ˆ1, : s c l s a l b ˆ1, : a l s b l c ˆ1, : a l s c l b ˆ1, : s b l s c l s a ˆ1, : a l s b l s c ˆ1, : 0 l s a l b l c ˆ1. 5 As noted above, the syntax of PSL in Bach et al is clausal form only, such as the second to the last formula in 5, hile the syntax of PSL in Kimmig et al is rule form such as 4. The result above tells us that the definitions of PSL defined in Kimmig et al and Bach et al are equivalent despite the different syntax adopted there. On the other hand, similar reriting using other t-norms and their derived operators may not necessarily yield an equivalent formula because not every selection of fuzzy operators satisfy Lemma 2 even if they are generalizations of the corresponding Boolean connectives. Example 2 Consider again Gödel t-norm m and its residual implicator r. The negation m induced from m x = x r 0 is { 1 if x = 0 m x = 0 if x > 0. For the interpretation I = {p, 0.4,q, 0.5}, e have υ I m p m q = 0 m 0.5 = 0.5, butυ I p r q = 1. In other ords, m p m q is not equivalent top r q. In the literature on PSL Kimmig et al. 2012; Bach et al. 2015, the selection of Lukasieicz t-norm is motivated by the computational efficiency gained by reducing MAP inferences to convex optimization problems. This section presents yet another justification of Lukasieicz t-norm in PSL from the logical perspective. GPSL : MLN = Fuzzy Logic : Boolean Logic Like fuzzy logic is a many-valued extension of Boolean logic, e may vie GPSL as a many-valued extension of MLN. For any classical propositional formula F, let F fuzzy be the fuzzy formula obtained fromf by replacing ith0, ith1, ith any fuzzy negation symbol, ith any fuzzy conjunction symbol, ith any fuzzy disjunction symbol, and ith any fuzzy implication symbol. For any GPSL program Π, by TW Π total eight e denote exp. :F ˆk Π For any MLN L, let Π L be the GPSL program obtained from L by replacing each eighted formula : F in L ith : F fuzzyˆk, here k is either 1 or 2. The folloing theorem tells us that, for any Boolean interpretation I, its eight under MLN L is proportional to the unnormalized probability density under the GPSL programπ L.
5 Theorem 2 For any MLN L and any Boolean interpretationi, W L I = TW ΠL ˆf ΠL I. Proof. W L I = exp = exp = exp,f L I,F L,F L = exp exp,f L,F L\L I,F L\L I exp 1+ 0.,F L\L I,F L I Note that hen I is Boolean, 1 υ I F = 1 if I = F, and1 υ I F = 0 if I = F. So 6 is equal to TW ΠL exp = TW ΠL ˆf ΠL I. :F fuzzyˆk Π L 1 υ I F fuzzy k This theorem tells us that the problem of computing the eight of an interpretation in MLN can be reduced to computing the probability density of an interpretation in GPSL. By Theorem 1, since PSL is a special case of GPSL, the folloing relation beteen PSL and MLN follos easily. Corollary 1 For any PSL programπand any fuzzy Boolean interpretation I, let L be the MLN obtained from Π by replacing each fuzzy operator ith its Boolean counterpart. We have ˆf Π I = W LI TW Π. Example 3 Let Π be the folloing PSL program 1 : p l q ˆ1 2 : q l p ˆ1 and let L be the corresponding MLN as described in Corollary 1. The folloing table shos, for each Boolean interpretation I, its eight according to the MLN semantics W L I is TW Π, hich is e 3, multiplied by its unnormalized probability density function ˆf Π I according to the PSL semantics. We identify a Boolean interpretation ith the set of atoms that are true in it. Interpretation I W L I ˆfΠ I e 3 e 0 {p} e 1 e 2 {q} e 2 e 1 {p,q} e 3 e 0 6 Hoever, MAP states in MLN and PSL can be different because most probable interpretations in PSL may be non- Boolean. Example 4 Consider the PSL program: 1 : p l s p ˆ1 1 : s p ˆ1 and the corresponding MLN: 1 : p s p 1 : s p The most probable Boolean interpretations for MLN 8 are I 1 = and I 2 = {p}, each ith eight e 1. Their unnormalized probability density for PSL program 7 is e 1. Hoever, they are not the most probable interpretations according to the PSL semantics: I 3 = {p,0.5} has the largest unnormalized probability densitye 0.5. The difference can be closed by adding to the eighted propositional fuzzy logic theory a crispifying rule for each atom. For any atom p σ, let CRSPp be the formula defined as CRSPp = p l p l p. It is easy to check thatυ I p l p l p = 1 iffυ I p is either 0 or 1. Note that although this formula uses Lukasieicz operators, it is not expressible in PSL because l occurs in the body of the rule. For any MLN L of signature σ, let Π L be the GPSL program obtained from L by replacing each eighted formula : F in L ith : F fuzzyˆk here k could be either 1 or 2. LetCR be the GPSL program { α : CRSPpˆ1 p σ }. The folloing theorem tells us that the most probable interpretations of MLN L coincides ith the most probable interpretations of GPSL programπ L CR. Theorem 3 For any MLNL, henα, argmax I W L I = argmax J ˆf ΠL CRJ here I ranges over all Boolean interpretations and J ranges over all fuzzy interpretations. Proof. We first sho that, hen α, for any Boolean interpretation I and any non-boolean interpretation J, e have ˆf ΠL CRJ < ˆf ΠL CRI, hich implies that no non- Boolean interpretation can be the most probable interpretations. First, for any non-boolean interpretationj, let W ΠL J = 1 υ J F k and Then W CR J = :Fˆk Π L :F ˆ1 CR α 1 υ J F. ˆf ΠL CRJ = expw ΠL J+W CR J expw CR J. 7 8
6 Since J is not Boolean, there is at least one eighted formulaα : p l p l p ˆ1 CR that is not satisfied by J, so that ˆf ΠL CRJ exp α 1 υ J p l p l p here1 υ J p l p l p > 0. Notice that lim ˆf ΠL CRJ α lim exp α 1 υ J p l p l p = 0. α On the other hand, for any Boolean interpretationi, ˆf ΠL CRI = expw ΠL I+W CR I = expw ΠL I. SinceexpW ΠL I does not containα, e have lim ˆf ΠL CRI > 0. α Thus e have ˆf ΠL CRJ < ˆf ΠL CRI henα. It follos that any fuzzy interpretation K that satisfies argmax J P ΠL CRJ = K must be Boolean. By Theorem 2, for any Boolean interpretationi, e have Since ˆf ΠL CRI = exp σ α TW ΠL CR exp σ α TW ΠL CR W L I. is constant for all interpretations, ˆf ΠL CRI W L I. It follos that argmax I W L I = argmax J ˆf ΠL CRJ. Example 5 Consider the GPSL program: 1 : p l s p ˆ1 1 : s p ˆ1 α : p l p l p ˆ1. When α the most probable fuzzy interpretations are Boolean, and they are the same as the most probable interpretations for the MLN 8. It is knon that the MAP problem in PSL can be solved in polynomial time Bröcheler, Mihalkova, and Getoor 2010, hile the same problem in MLN is #P-hard. The reduction from MLN to GPSL in Theorem 3 tells us that the MAP problem in GPSL is #P-hard as ell. This implies that GPSL is strictly more expressive than PSL even hen e restrict attention to Lukasieicz operators. Related to Theorem 3, relation beteen discrete and soft MAP states as also studied in Bach, Huang, and Getoor 2015; Bach et al. 2015, but from a different, computational perspective. There, inference on discrete MAP states is vieed as an instance of MAX SAT problems, and then approximated by relaxation to linear programming ith rounding guarantee of solutions. The result indirectly tells us ho MAP states in PSL are related to MAP states in MLN, but this is different from Theorem 3, hich completely closes the semantic gap beteen them via crispifying rules. Conclusion In this note, e studied the to ell-knon formalisms in statistical relational learning from a logical perspective. Vieing PSL in terms of the eighted fuzzy logic gives us some useful insights knon from fuzzy logic. Besides the reducibility to convex optimization problems, the restriction to the Lukasieicz fuzzy operators in clausal form allos intuitive equivalent transformations resembling those from Boolean logic. On the other hand, it prohibits us from using some other intuitive fuzzy operators. In our previous ork Lee and Wang 2014; Lee and Wang 2016a e used fuzzy anser set programs to describe temporal projection in dynamic domains, here e had to use Gödel t-norm as ell as Lukasieicz t-norm. 6 There, Gödel t-norm is necessary in expressing the commonsense la of inertia. For example, Trusta,b,t m s s Trusta,b,t+1 r Trusta,b,t+1, 9 expresses that the degree that a trustsbat time t+1 is equal to the degree at time t if it can be assumed ithout contradicting any of the facts that can be derived. 7 The fuzzy conjunction used here needs to satisfy that x,y is equal to eitherxory otherise the trust degree at next time step ould change for no reason. Obviously Lukasieicz t-norm does not satisfy the requirement: l x,y < x hen y < 1. In other ords, if e replace m ith l, the trust degree at next time drops for no reason, hich is unintuitive. The restriction to Lukasieicz t-norm in PSL accounts for the difficulty in directly applying PSL to temporal reasoning problems like the above example. Indeed, most ork on PSL has been limited to static domains. Since computing marginal probabilities in MLN can be reduced to computing marginal probabilities in GPSL as indicated by Theorem 2, computing marginal probabilities in GPSL is at least #P-hard. Hoever, a sampling method could be used for such an inference. A naive sampling method is outlined belo: suppose e are approximating the probability that the truth value of formula F falls into l,u for some0 l u 1 denoted aspl F u. 1. Generate N interpretations at random; 2. For each of the N interpretations, compute its probability density; 3. ApproximatePl F u by X N, here X is the number of interpretations I that satisfies l υ I F u among the N interpretations. It can be shon that X N is the estimation of Pl F u that maximizes the likelihood of then samples. The ay that MLN extends propositional logic is similar to the ay that PSL extends a restricted version of fuzzy propositional logic. GPSL is simply taking the fuzzy propositional logic in full generality and applying the log-linear eight scheme. In our recent ork Lee and Wang 2016b, 6 The main example as ho the trust degree beteen people changes over time. 7 We refer the reader to Lee and Wang 2016a for the precise semantics of this language.
7 e adopted the similar eight scheme to anser set programs in order to overcome the deterministic nature of the stable model semantics providing ays to resolve inconsistencies in anser set programs, to rank stable models, to associate probability to stable models, and to apply statistical inference to computing eighted stable models. Perhaps this indicates the universality of the log-linear eight scheme first adopted in MLN, hich provides a uniform method to turn the crisp logic be it fuzzy logic, propositional logic, or anser set programs soft. Acknoledgements We are grateful to Michael Bartholome and the anonymous referees for their useful comments. This ork as partially supported by the National Science Foundation under Grants IIS , IIS , and a gift funding from Robert Bosch LLC. References [Bach et al. 2015] Bach, S. H.; Broecheler, M.; Huang, B.; and Getoor, L Hinge-loss markov random fields and probabilistic soft logic. arxiv: [cs.lg]. [Bach, Huang, and Getoor 2015] Bach, S. H.; Huang, B.; and Getoor, L Unifying local consistency and MAX SAT relaxations for scalable inference ith rounding guarantees. In Artificial Intelligence and Statistics AISTATS. [Beltagy, Erk, and Mooney 2014] Beltagy, I.; Erk, K.; and Mooney, R Probabilistic soft logic for semantic textual similarity. Proceedings of Association for Computational Linguistics ACL-14. [Bröcheler, Mihalkova, and Getoor 2010] Bröcheler, M.; Mihalkova, L.; and Getoor, L Probabilistic similarity logic. In UAI 2010, Proceedings of the Tenty-Sixth Conference on Uncertainty in Artificial Intelligence, [Hajek 1998] Hajek, P Mathematics of Fuzzy Logic. Kluer. [Kimmig et al. 2012] Kimmig, A.; Bach, S.; Broecheler, M.; Huang, B.; and Getoor, L A short introduction to probabilistic soft logic. In Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications, 1 4. [Lee and Wang 2014] Lee, J., and Wang, Y Stable models of fuzzy propositional formulas. In Proceedings of European Conference on Logics in Artificial Intelligence JELIA, [Lee and Wang 2016a] Lee, J., and Wang, Y. 2016a. Fuzzy propositional formulas under the stable model semantics. the Special Issue on Logics for Reasoning about Preferences, Uncertainty and Vagueness of the IfCoLog Journal of Logics and their Applications. To appear. [Lee and Wang 2016b] Lee, J., and Wang, Y. 2016b. Weighted rules under the stable model semantics. In Proceedings of International Conference on Principles of Knoledge Representation and Reasoning KR. [Richardson and Domingos 2006] Richardson, M., and Domingos, P Markov logic netorks. Machine Learning 621-2:
Fuzzy Propositional Formulas under the Stable Model Semantics
Fuzzy Propositional Formulas under the Stable Model Semantics Joohyung Lee School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, USA joolee@asu.edu Yi Wang
More informationTwo New Definitions of Stable Models of Logic Programs with Generalized Quantifiers
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers Joohyung Lee and Yunsong Meng School of Computing, Informatics and Decision Systems Engineering Arizona State University,
More informationy(x) = x w + ε(x), (1)
Linear regression We are ready to consider our first machine-learning problem: linear regression. Suppose that e are interested in the values of a function y(x): R d R, here x is a d-dimensional vector-valued
More informationOn the Stable Model Semantics for Intensional Functions
Under consideration for publication in Theory and Practice of Logic Programming 1 On the Stable Model Semantics for Intensional Functions Michael Bartholomew and Joohyung Lee School of Computing, Informatics,
More informationJOINT PROBABILISTIC INFERENCE OF CAUSAL STRUCTURE
JOINT PROBABILISTIC INFERENCE OF CAUSAL STRUCTURE Dhanya Sridhar Lise Getoor U.C. Santa Cruz KDD Workshop on Causal Discovery August 14 th, 2016 1 Outline Motivation Problem Formulation Our Approach Preliminary
More informationTecniche di Verifica. Introduction to Propositional Logic
Tecniche di Verifica Introduction to Propositional Logic 1 Logic A formal logic is defined by its syntax and semantics. Syntax An alphabet is a set of symbols. A finite sequence of these symbols is called
More informationYet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs Joohyung Lee and Ravi Palla School of Computing and Informatics Arizona State University, Tempe, AZ, USA {joolee,
More informationCHAPTER 3 THE COMMON FACTOR MODEL IN THE POPULATION. From Exploratory Factor Analysis Ledyard R Tucker and Robert C. MacCallum
CHAPTER 3 THE COMMON FACTOR MODEL IN THE POPULATION From Exploratory Factor Analysis Ledyard R Tucker and Robert C. MacCallum 1997 19 CHAPTER 3 THE COMMON FACTOR MODEL IN THE POPULATION 3.0. Introduction
More informationLogic: Propositional Logic (Part I)
Logic: Propositional Logic (Part I) Alessandro Artale Free University of Bozen-Bolzano Faculty of Computer Science http://www.inf.unibz.it/ artale Descrete Mathematics and Logic BSc course Thanks to Prof.
More informationKnowledge base (KB) = set of sentences in a formal language Declarative approach to building an agent (or other system):
Logic Knowledge-based agents Inference engine Knowledge base Domain-independent algorithms Domain-specific content Knowledge base (KB) = set of sentences in a formal language Declarative approach to building
More informationConsider this problem. A person s utility function depends on consumption and leisure. Of his market time (the complement to leisure), h t
VI. INEQUALITY CONSTRAINED OPTIMIZATION Application of the Kuhn-Tucker conditions to inequality constrained optimization problems is another very, very important skill to your career as an economist. If
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More informationNested Epistemic Logic Programs
Nested Epistemic Logic Programs Kewen Wang 1 and Yan Zhang 2 1 Griffith University, Australia k.wang@griffith.edu.au 2 University of Western Sydney yan@cit.uws.edu.au Abstract. Nested logic programs and
More informationLinear Time Computation of Moments in Sum-Product Networks
Linear Time Computation of Moments in Sum-Product Netorks Han Zhao Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 han.zhao@cs.cmu.edu Geoff Gordon Machine Learning Department
More informationA Proof System for Separation Logic with Magic Wand
A Proof System for Separation Logic ith Magic Wand Wonyeol Lee Sungoo Park Department of Computer Science and Engineering Pohang University of Science and Technology (POSTECH) Republic of Korea {leeygla}@postechackr
More informationSystem f2lp Computing Answer Sets of First-Order Formulas
System f2lp Computing Answer Sets of First-Order Formulas Joohyung Lee and Ravi Palla Computer Science and Engineering Arizona State University, Tempe, AZ, USA {joolee,ravi.palla}@asu.edu Abstract. We
More informationCOS 511: Theoretical Machine Learning. Lecturer: Rob Schapire Lecture # 12 Scribe: Indraneel Mukherjee March 12, 2008
COS 511: Theoretical Machine Learning Lecturer: Rob Schapire Lecture # 12 Scribe: Indraneel Mukherjee March 12, 2008 In the previous lecture, e ere introduced to the SVM algorithm and its basic motivation
More informationA Probabilistic Extension of the Stable Model Semantics
A Probabilistic Extension of the Stable Model Semantics Joohyung Lee and Yi Wang School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, USA {joolee, ywang485}@asu.edu
More informationElementary Sets for Logic Programs
Elementary Sets for Logic Programs Martin Gebser Institut für Informatik Universität Potsdam, Germany Joohyung Lee Computer Science and Engineering Arizona State University, USA Yuliya Lierler Department
More informationComp487/587 - Boolean Formulas
Comp487/587 - Boolean Formulas 1 Logic and SAT 1.1 What is a Boolean Formula Logic is a way through which we can analyze and reason about simple or complicated events. In particular, we are interested
More informationPropositional Logic Language
Propositional Logic Language A logic consists of: an alphabet A, a language L, i.e., a set of formulas, and a binary relation = between a set of formulas and a formula. An alphabet A consists of a finite
More informationEnhancing Generalization Capability of SVM Classifiers with Feature Weight Adjustment
Enhancing Generalization Capability of SVM Classifiers ith Feature Weight Adjustment Xizhao Wang and Qiang He College of Mathematics and Computer Science, Hebei University, Baoding 07002, Hebei, China
More informationModal Dependence Logic
Modal Dependence Logic Jouko Väänänen Institute for Logic, Language and Computation Universiteit van Amsterdam Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands J.A.Vaananen@uva.nl Abstract We
More informationPropositional Logic: Models and Proofs
Propositional Logic: Models and Proofs C. R. Ramakrishnan CSE 505 1 Syntax 2 Model Theory 3 Proof Theory and Resolution Compiled at 11:51 on 2016/11/02 Computing with Logic Propositional Logic CSE 505
More informationChapter 4: Classical Propositional Semantics
Chapter 4: Classical Propositional Semantics Language : L {,,, }. Classical Semantics assumptions: TWO VALUES: there are only two logical values: truth (T) and false (F), and EXTENSIONALITY: the logical
More informationDescription Logics. Foundations of Propositional Logic. franconi. Enrico Franconi
(1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge
More informationN-bit Parity Neural Networks with minimum number of threshold neurons
Open Eng. 2016; 6:309 313 Research Article Open Access Marat Z. Arslanov*, Zhazira E. Amirgalieva, and Chingiz A. Kenshimov N-bit Parity Neural Netorks ith minimum number of threshold neurons DOI 10.1515/eng-2016-0037
More informationIntroduction to Artificial Intelligence Propositional Logic & SAT Solving. UIUC CS 440 / ECE 448 Professor: Eyal Amir Spring Semester 2010
Introduction to Artificial Intelligence Propositional Logic & SAT Solving UIUC CS 440 / ECE 448 Professor: Eyal Amir Spring Semester 2010 Today Representation in Propositional Logic Semantics & Deduction
More informationElementary Sets for Logic Programs
Elementary Sets for Logic Programs Martin Gebser Institut für Informatik Universität Potsdam, Germany Joohyung Lee Computer Science and Engineering Arizona State University, USA Yuliya Lierler Department
More informationArtificial Neural Networks. Part 2
Artificial Neural Netorks Part Artificial Neuron Model Folloing simplified model of real neurons is also knon as a Threshold Logic Unit x McCullouch-Pitts neuron (943) x x n n Body of neuron f out Biological
More informationEcon 201: Problem Set 3 Answers
Econ 20: Problem Set 3 Ansers Instructor: Alexandre Sollaci T.A.: Ryan Hughes Winter 208 Question a) The firm s fixed cost is F C = a and variable costs are T V Cq) = 2 bq2. b) As seen in class, the optimal
More informationA brief introduction to Logic. (slides from
A brief introduction to Logic (slides from http://www.decision-procedures.org/) 1 A Brief Introduction to Logic - Outline Propositional Logic :Syntax Propositional Logic :Semantics Satisfiability and validity
More informationCOS 424: Interacting with Data. Lecturer: Rob Schapire Lecture #15 Scribe: Haipeng Zheng April 5, 2007
COS 424: Interacting ith Data Lecturer: Rob Schapire Lecture #15 Scribe: Haipeng Zheng April 5, 2007 Recapitulation of Last Lecture In linear regression, e need to avoid adding too much richness to the
More informationLong run input use-input price relations and the cost function Hessian. Ian Steedman Manchester Metropolitan University
Long run input use-input price relations and the cost function Hessian Ian Steedman Manchester Metropolitan University Abstract By definition, to compare alternative long run equilibria is to compare alternative
More informationKRIPKE S THEORY OF TRUTH 1. INTRODUCTION
KRIPKE S THEORY OF TRUTH RICHARD G HECK, JR 1. INTRODUCTION The purpose of this note is to give a simple, easily accessible proof of the existence of the minimal fixed point, and of various maximal fixed
More informationTwo-Valued Logic Programs
Two-Valued Logic Programs Vladimir Lifschitz University of Texas at Austin, USA Abstract We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning
More informationcis32-ai lecture # 18 mon-3-apr-2006
cis32-ai lecture # 18 mon-3-apr-2006 today s topics: propositional logic cis32-spring2006-sklar-lec18 1 Introduction Weak (search-based) problem-solving does not scale to real problems. To succeed, problem
More informationMax-Margin Ratio Machine
JMLR: Workshop and Conference Proceedings 25:1 13, 2012 Asian Conference on Machine Learning Max-Margin Ratio Machine Suicheng Gu and Yuhong Guo Department of Computer and Information Sciences Temple University,
More informationarxiv: v3 [cs.lg] 17 Nov 2017
Journal of Machine Learning Research 18 (2017) 1-67 Submitted 12/15; Revised 12/16; Published 10/17 Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arxiv:1505.04406v3 [cs.lg] 17 Nov 2017 Stephen
More information22c:145 Artificial Intelligence
22c:145 Artificial Intelligence Fall 2005 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and may not
More information344 A. Davoodi / IJIM Vol. 1, No. 4 (2009)
Available online at http://ijim.srbiau.ac.ir Int. J. Industrial Mathematics Vol., No. (009) -0 On Inconsistency of a Pairise Comparison Matrix A. Davoodi Department of Mathematics, Islamic Azad University,
More informationLinear models: the perceptron and closest centroid algorithms. D = {(x i,y i )} n i=1. x i 2 R d 9/3/13. Preliminaries. Chapter 1, 7.
Preliminaries Linear models: the perceptron and closest centroid algorithms Chapter 1, 7 Definition: The Euclidean dot product beteen to vectors is the expression d T x = i x i The dot product is also
More informationFuzzy Answer Set semantics for Residuated Logic programs
semantics for Logic Nicolás Madrid & Universidad de Málaga September 23, 2009 Aims of this paper We are studying the introduction of two kinds of negations into residuated : Default negation: This negation
More informationFirst Order Logic (FOL) 1 znj/dm2017
First Order Logic (FOL) 1 http://lcs.ios.ac.cn/ znj/dm2017 Naijun Zhan March 19, 2017 1 Special thanks to Profs Hanpin Wang (PKU) and Lijun Zhang (ISCAS) for their courtesy of the slides on this course.
More informationMat 243 Exam 1 Review
OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for
More informationSymmetry Breaking for Relational Weighted Model Finding
Symmetry Breaking for Relational Weighted Model Finding Tim Kopp Parag Singla Henry Kautz WL4AI July 27, 2015 Outline Weighted logics. Symmetry-breaking in SAT. Symmetry-breaking for weighted logics. Weighted
More informationUNIT-I: Propositional Logic
1. Introduction to Logic: UNIT-I: Propositional Logic Logic: logic comprises a (formal) language for making statements about objects and reasoning about properties of these objects. Statements in a logical
More information7. Propositional Logic. Wolfram Burgard and Bernhard Nebel
Foundations of AI 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard and Bernhard Nebel Contents Agents that think rationally The wumpus world Propositional logic: syntax and semantics
More informationPrice: $25 (incl. T-Shirt, morning tea and lunch) Visit:
Three days of interesting talks & workshops from industry experts across Australia Explore new computing topics Network with students & employers in Brisbane Price: $25 (incl. T-Shirt, morning tea and
More informationA consistent theory of truth for languages which conform to classical logic
Nonlinear Studies - www. nonlinearstudies.com MESA - www.journalmesa.com Preprint submitted to Nonlinear Studies / MESA A consistent theory of truth for languages which conform to classical logic S. Heikkilä
More informationRestricted truth predicates in first-order logic
Restricted truth predicates in first-order logic Thomas Bolander 1 Introduction It is well-known that there exist consistent first-order theories that become inconsistent when we add Tarski s schema T.
More informationIntroduction to Intelligent Systems
Logical Agents Objectives Inference and entailment Sound and complete inference algorithms Inference by model checking Inference by proof Resolution Forward and backward chaining Reference Russel/Norvig:
More informationIntroduction to Intelligent Systems
Logical Agents Objectives Inference and entailment Sound and complete inference algorithms Inference by model checking Inference by proof Resolution Forward and backward chaining Reference Russel/Norvig:
More informationArtificial Intelligence
Artificial Intelligence Propositional Logic Marc Toussaint University of Stuttgart Winter 2016/17 (slides based on Stuart Russell s AI course) Motivation: Most students will have learnt about propositional
More informationLanguage of Propositional Logic
Logic A logic has: 1. An alphabet that contains all the symbols of the language of the logic. 2. A syntax giving the rules that define the well formed expressions of the language of the logic (often called
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationFirst-Order Logic First-Order Theories. Roopsha Samanta. Partly based on slides by Aaron Bradley and Isil Dillig
First-Order Logic First-Order Theories Roopsha Samanta Partly based on slides by Aaron Bradley and Isil Dillig Roadmap Review: propositional logic Syntax and semantics of first-order logic (FOL) Semantic
More informationChapter 7 R&N ICS 271 Fall 2017 Kalev Kask
Set 6: Knowledge Representation: The Propositional Calculus Chapter 7 R&N ICS 271 Fall 2017 Kalev Kask Outline Representing knowledge using logic Agent that reason logically A knowledge based agent Representing
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard, Maren Bennewitz, and Marco Ragni Albert-Ludwigs-Universität Freiburg Contents 1 Agents
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Bernhard Nebel Albert-Ludwigs-Universität Freiburg May 17, 2016
More informationCS 7180: Behavioral Modeling and Decision- making in AI
CS 7180: Behavioral Modeling and Decision- making in AI Review of Propositional Logic Prof. Amy Sliva September 7, 2012 Outline General properties of logics Syntax, semantics, entailment, inference, and
More informationNonlinear Projection Trick in kernel methods: An alternative to the Kernel Trick
Nonlinear Projection Trick in kernel methods: An alternative to the Kernel Trick Nojun Kak, Member, IEEE, Abstract In kernel methods such as kernel PCA and support vector machines, the so called kernel
More informationCombining logic with probability Motivation
Combining logic with probability Motivation is a powerful language to represent complex relational information Probability is the standard way to represent uncertainty in knowledge Combining the two would
More informationExact Bayesian Pairwise Preference Learning and Inference on the Uniform Convex Polytope
Exact Bayesian Pairise Preference Learning and Inference on the Uniform Convex Polytope Scott Sanner NICTA & ANU Canberra, ACT, Australia ssanner@gmail.com Ehsan Abbasnejad ANU & NICTA Canberra, ACT, Australia
More informationBivariate Uniqueness in the Logistic Recursive Distributional Equation
Bivariate Uniqueness in the Logistic Recursive Distributional Equation Antar Bandyopadhyay Technical Report # 629 University of California Department of Statistics 367 Evans Hall # 3860 Berkeley CA 94720-3860
More informationNormal Forms of Propositional Logic
Normal Forms of Propositional Logic Bow-Yaw Wang Institute of Information Science Academia Sinica, Taiwan September 12, 2017 Bow-Yaw Wang (Academia Sinica) Normal Forms of Propositional Logic September
More informationarxiv: v2 [cs.ai] 27 Jul 2017
Domain Recursion for Lifted Inference with Existential Quantifiers Seyed Mehran Kazemi 1, Angelika Kimmig 2, Guy Van den Broeck 3 and David Poole 1 1 University of British Columbia, {smkazemi,poole}@cs.ubc.ca
More informationLoop Formulas for Disjunctive Logic Programs
Nineteenth International Conference on Logic Programming (ICLP-03), pages 451-465, Mumbai, India, 2003 Loop Formulas for Disjunctive Logic Programs Joohyung Lee and Vladimir Lifschitz Department of Computer
More informationPropositional Logic: Logical Agents (Part I)
Propositional Logic: Logical Agents (Part I) This lecture topic: Propositional Logic (two lectures) Chapter 7.1-7.4 (this lecture, Part I) Chapter 7.5 (next lecture, Part II) Next lecture topic: First-order
More informationEnergy Minimization via a Primal-Dual Algorithm for a Convex Program
Energy Minimization via a Primal-Dual Algorithm for a Convex Program Evripidis Bampis 1,,, Vincent Chau 2,, Dimitrios Letsios 1,2,, Giorgio Lucarelli 1,2,,, and Ioannis Milis 3, 1 LIP6, Université Pierre
More informationKnowledge based Agents
Knowledge based Agents Shobhanjana Kalita Dept. of Computer Science & Engineering Tezpur University Slides prepared from Artificial Intelligence A Modern approach by Russell & Norvig Knowledge Based Agents
More informationEncoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic
Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic Salem Benferhat CRIL-CNRS, Université d Artois rue Jean Souvraz 62307 Lens Cedex France benferhat@criluniv-artoisfr
More informationMultidimensional Possible-world Semantics for Conditionals
Richard Bradley Department of Philosophy, Logic and Scientific Method London School of Economics r.bradley@lse.ac.uk Multidimensional Possible-orld Semantics for Conditionals Abstract Adams Thesis - the
More informationLearning Goals of CS245 Logic and Computation
Learning Goals of CS245 Logic and Computation Alice Gao April 27, 2018 Contents 1 Propositional Logic 2 2 Predicate Logic 4 3 Program Verification 6 4 Undecidability 7 1 1 Propositional Logic Introduction
More informationPart 1: Propositional Logic
Part 1: Propositional Logic Literature (also for first-order logic) Schöning: Logik für Informatiker, Spektrum Fitting: First-Order Logic and Automated Theorem Proving, Springer 1 Last time 1.1 Syntax
More informationOverview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural
More informationChapter 3. Systems of Linear Equations: Geometry
Chapter 3 Systems of Linear Equations: Geometry Motiation We ant to think about the algebra in linear algebra (systems of equations and their solution sets) in terms of geometry (points, lines, planes,
More informationRandomized Smoothing Networks
Randomized Smoothing Netorks Maurice Herlihy Computer Science Dept., Bron University, Providence, RI, USA Srikanta Tirthapura Dept. of Electrical and Computer Engg., Ioa State University, Ames, IA, USA
More informationCHARACTERIZATION OF ULTRASONIC IMMERSION TRANSDUCERS
CHARACTERIZATION OF ULTRASONIC IMMERSION TRANSDUCERS INTRODUCTION David D. Bennink, Center for NDE Anna L. Pate, Engineering Science and Mechanics Ioa State University Ames, Ioa 50011 In any ultrasonic
More informationPublished in: Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007)
A Tableau system for a first-order hybrid logic Hansen, Jens Ulrik Published in: Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007) 2007 Link to publication Citation for published
More informationarxiv: v1 [cs.lo] 8 Jan 2013
Lloyd-Topor Completion and General Stable Models Vladimir Lifschitz and Fangkai Yang Department of Computer Science The University of Texas at Austin {vl,fkyang}@cs.utexas.edu arxiv:1301.1394v1 [cs.lo]
More informationarxiv: v1 [cs.lo] 16 Jul 2017
SOME IMPROVEMENTS IN FUZZY TURING MACHINES HADI FARAHANI arxiv:1707.05311v1 [cs.lo] 16 Jul 2017 Department of Computer Science, Shahid Beheshti University, G.C, Tehran, Iran h farahani@sbu.ac.ir Abstract.
More informationThe Complexity of 3-Valued Łukasiewicz Rules
The Complexity of 3-Valued Łukasiewicz Rules Miquel Bofill 1, Felip Manyà 2, Amanda Vidal 2, and Mateu Villaret 1 1 Universitat de Girona, Girona, Spain 2 Artificial Intelligence Research Institute (IIIA,
More informationLogical Agents. September 14, 2004
Logical Agents September 14, 2004 The aim of AI is to develop intelligent agents that can reason about actions and their effects and about the environment, create plans to achieve a goal, execute the plans,
More informationAnnouncements Wednesday, September 06
Announcements Wednesday, September 06 WeBWorK due on Wednesday at 11:59pm. The quiz on Friday coers through 1.2 (last eek s material). My office is Skiles 244 and my office hours are Monday, 1 3pm and
More informationMethods of Partial Logic for Knowledge Representation and Deductive Reasoning in Incompletely Specified Domains
Methods of Partial Logic for Knowledge Representation and Deductive Reasoning in Incompletely Specified Domains Anatoly Prihozhy and Liudmila Prihozhaya Information Technologies and Robotics Department,
More informationStat 8112 Lecture Notes Weak Convergence in Metric Spaces Charles J. Geyer January 23, Metric Spaces
Stat 8112 Lecture Notes Weak Convergence in Metric Spaces Charles J. Geyer January 23, 2013 1 Metric Spaces Let X be an arbitrary set. A function d : X X R is called a metric if it satisfies the folloing
More informationPropositional and Predicate Logic. jean/gbooks/logic.html
CMSC 630 February 10, 2009 1 Propositional and Predicate Logic Sources J. Gallier. Logic for Computer Science, John Wiley and Sons, Hoboken NJ, 1986. 2003 revised edition available on line at http://www.cis.upenn.edu/
More informationBefore you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.
Chapter 2 Mathematics and Logic Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here. 2.1 A Taste of Number Theory In this section, we will
More informationA proof of topological completeness for S4 in (0,1)
A proof of topological completeness for S4 in (,) Grigori Mints and Ting Zhang 2 Philosophy Department, Stanford University mints@csli.stanford.edu 2 Computer Science Department, Stanford University tingz@cs.stanford.edu
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More informationPropositional Reasoning
Propositional Reasoning CS 440 / ECE 448 Introduction to Artificial Intelligence Instructor: Eyal Amir Grad TAs: Wen Pu, Yonatan Bisk Undergrad TAs: Sam Johnson, Nikhil Johri Spring 2010 Intro to AI (CS
More informationCritical Reading of Optimization Methods for Logical Inference [1]
Critical Reading of Optimization Methods for Logical Inference [1] Undergraduate Research Internship Department of Management Sciences Fall 2007 Supervisor: Dr. Miguel Anjos UNIVERSITY OF WATERLOO Rajesh
More informationSTATC141 Spring 2005 The materials are from Pairwise Sequence Alignment by Robert Giegerich and David Wheeler
STATC141 Spring 2005 The materials are from Pairise Sequence Alignment by Robert Giegerich and David Wheeler Lecture 6, 02/08/05 The analysis of multiple DNA or protein sequences (I) Sequence similarity
More information1 First-order logic. 1 Syntax of first-order logic. 2 Semantics of first-order logic. 3 First-order logic queries. 2 First-order query evaluation
Knowledge Bases and Databases Part 1: First-Order Queries Diego Calvanese Faculty of Computer Science Master of Science in Computer Science A.Y. 2007/2008 Overview of Part 1: First-order queries 1 First-order
More informationPropositional Logic: Part II - Syntax & Proofs 0-0
Propositional Logic: Part II - Syntax & Proofs 0-0 Outline Syntax of Propositional Formulas Motivating Proofs Syntactic Entailment and Proofs Proof Rules for Natural Deduction Axioms, theories and theorems
More informationLogic for Computer Science - Week 4 Natural Deduction
Logic for Computer Science - Week 4 Natural Deduction 1 Introduction In the previous lecture we have discussed some important notions about the semantics of propositional logic. 1. the truth value of a
More informationCHAPTER 10. Gentzen Style Proof Systems for Classical Logic
CHAPTER 10 Gentzen Style Proof Systems for Classical Logic Hilbert style systems are easy to define and admit a simple proof of the Completeness Theorem but they are difficult to use. By humans, not mentioning
More informationLifted Inference: Exact Search Based Algorithms
Lifted Inference: Exact Search Based Algorithms Vibhav Gogate The University of Texas at Dallas Overview Background and Notation Probabilistic Knowledge Bases Exact Inference in Propositional Models First-order
More informationAgenda. Artificial Intelligence. Reasoning in the Wumpus World. The Wumpus World
Agenda Artificial Intelligence 10. Propositional Reasoning, Part I: Principles How to Think About What is True or False 1 Introduction Álvaro Torralba Wolfgang Wahlster 2 Propositional Logic 3 Resolution
More information