Similarity for Conceptual Querying

Size: px
Start display at page:

Download "Similarity for Conceptual Querying"

Transcription

1 Similarity for Conceptual Querying Troels Andreasen, Henrik Bulskov, and Rasmus Knappe Department of Computer Science, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the issue here is conceptual resemblance. The basis is a knowledge base defining major concepts of the domain and may include taxonomic and ontological domain knowledge. The challenge for support of queries in this context is an evaluation principle that on the one hand respects the formation rules for concepts in the concept language and on the other is sufficiently efficient to candidate as a realistic principle for query evaluation. We present and discuss principles where efficiency is obtained by reducing the matching problem - which basically is a matter of conceptual reasoning - to numerical similarity computation. 1 Introduction The goal for concept-based querying, in text retrieval systems, is to include semantics, looking for improvements that can enhance the systems ability to generate ideal answers. In this context, one of the major problems is to determine the similarity between the semantic elements. It is no longer only simple match of keywords in the text objects, but also the meaning of them, we have to take into consideration when we calculate the similarity between queries and objects in our database. The foundation of this paper is our previous work[1] and our affiliation to the interdisciplinary research project OntoQuery 1 (Ontology-based Querying)[3, 4]. We assume that text objects are described by compound concepts in a description language and that queries are expressed in the language or can be transformed into this, and that these descriptions refer to a knowledge base clarifying the domain of the database. The environment for this type of querying may be a system that automatically can produce conceptual descriptions (conceptual indexing) of text objects and support textual/word list queries by initial transformation into descriptions. 1 The project has the following participating institutions: Centre for Language Technology, The Technical University of Denmark, Copenhagen Business School, Roskilde University and the University of Southern Denmark.

2 2 Concepts and concept language The first thing is therefore to describe the basis of this environment, what concepts are in this context, and the expressiveness of the languages used. The concept language Ontolog[5] is based on a set of atomic concepts which can be combined with semantic relations to form compound concepts. Expressions in Ontolog are descriptions of concepts situated in an ontology formed by an algebraic lattice with concept inclusion as the ordering relation. Attribution of concepts, i.e. combining atomic concepts into compound concepts, can be written as feature structures. Simple attribution of a concept c 1 with relation r and a concept c 2 is denoted c 1 [r : c 2 ]. We assume a set of atomic concepts A and a set of semantic relations R. Then the set of well-formed terms L of the Ontolog language is recursively defined as follows. if x A then x L if x L, r i R and y i L, i = 1,..., n then x[r 1 : y 1,..., r n : y n ] L It appears that compound terms can be built from nesting, for instance c 1 [r 1 : c 2 [r 2 : c 3 ]] and from multiple attribution as in c 1 [r 1 : c 2, r 2 : c 3 ]. The attributes of a multiple attributed term T = x[r 1 : y 1,..., r n : y n ] is considered as a set, thus we can rewrite T with any permutation of r 1 : y 1,..., r n : y n. The basis for the ontology is a simple taxonomic concept inclusion relation isa KB, which is atomic in the sense that it defines the hyponymy lattice over the set of atomic concepts A. It is considered as domain or world knowledge and may for instance express the view of a domain expert. Based on isa, the transitive closure of isa KB, we can generalize into a relation over all well-formed terms of the language L by the following. if x isa y then x y if x[...] y[...] then also x[..., r : z] y[...], and x[..., r : z] y[..., r : z], if x y then also z[..., r : x] z[..., r : y] where repeated... in each inequality denotes identical lists of zero or more attributes of the form r i : w i. The purpose of the language introduced above is to describe fragments of meaning in text at a more thoroughly way than what can by obtained from simple keywords, while still refraining from full meaning representations which is obviously not realistic in general search applications (with a huge database). Take as an example the noun phrase: the dark grey cat which can be translated into this semantic expression cat[chr: grey[chr: dark]]. Descriptions of text expressed in this language goes beyond simple keyword descriptions partly due to formation of compound terms and to the reference to the ontology. A key

3 question in the framework of querying is of course the definitions of similarity or nearness of terms, now that we no longer can rely on simple matching of keywords. 3 From Ontology to Similarity In building a query evaluation principle that draws on an ontology, a key issue is of course how the different relations of the ontology may contribute to similarity. We have to decide for each relation to what extent related values are similar and we must build similarity functions, mapping values into similarities, that reflect these decisions. We discuss firstly below how to introduce similarity based on the key ordering relation in the ontology, isa, as applied on atomic concepts (concepts explicitly represented in the ontology). Secondly we discuss how to extend the notion of similarity to cover not only atomic but general compound concepts as expressions in the language Ontolog. Finally we introduce a refinement that uses all possible relations, in the calculation of similarity. 3.1 Similarity on atomic concepts As discussed in [1] the hyponymy relation imply a strong similarity in the opposite direction of the inclusion (specialization), but also the direction of the inclusion (generalization) must contribute with some degree of similarity. Take as an example the small fraction of an ontology shown in figure 1a. With reference to this ontology the atomic concept dog can be directly expanded to cover also poodle and alsatian. The intuition is that to a query on dog an answer including instances poodle is satisfactory (a specific answer to a general query). Since the hyponymy relation obviously is transitive we can by the same argument expand to further specializations e.g. to include poodle in the extension of animal. However similarity exploiting the lattice should also reflect distance in the relation. Intuitively greater distance (longer path in the relation graph) corresponds to smaller similarity. Further also generalization should contribute to similarity. Of course it is not strictly correct in an ontological sense to expand the extension of dog with instances of animal, but because all dogs are animals, animals are to some degree similar to dogs. This substantiates that also a property of generalization similarity should be exploited and, for similar reasons as in the case of specializations, that also transitive generalizations should contribute with decreasing degree of similarity. To make distance influence similarity we need either to be able to distinguish explicitly stated, original references, from derived or to establish a transitive reduction isa REDUC of the isa relation. Similarity reflecting distance can then be measured from path-length in the isa REDUC lattice. A similarity function sim based on distance in isa REDUC dist(x, y) should have the properties: 1. sim: U U [0, 1], where U is the universe of concepts

4 anything anything animal animal bird cat dog bird cat dog poodle alsatian a) b) poodle alsatian Fig. 1. Inclusion relation (ISA) with upwards reading, e.g. dog ISA animal, and the ontology transformed into a directed weighted graph, with the immediate specialization and generalization similarity being δ = 0.9 and γ = 0.4 respectively as weights. Similarity is derived as maximal (multiplicative) weighted path length, thus sim(poodle, alsatian) = = sim(x, y) = 1 only if x = y 3. sim(x, y) < sim(x, z) if dist(x, y) < dist(x, z) By parameterizing with two factors δ and γ expressing similarity of immediate specialization and generalization respectively, we can define a simple similarity function: If there is a path from nodes (concepts) x and y in the hyponymy relation then it has the form P = (p 1,, p n ) where p i isa REDUC p i+1 or p i+1 isa REDUC p i for each i (1) with x = p 1 and y = p n. Given a path P = (p 1,, p n ), set s(p ) and g(p ) to the numbers of specializations and generalizations respectively along the path P thus: s(p ) = { i p i isa REDUC p i+1 } and g(p ) = { i p i+1 isa REDUC p i } (2) If P 1,, P m are all paths connecting x and y then the degree to which y is similar to x can be defined as { } sim(x, y) = max δ s(pj) γ g(p j) (3) j=1,...,m and therefore denotes the shortest path between concepts x and y in the hyponymy lattice. This similarity can be considered as derived from the ontology by transforming the ontology into a directional weighted graph, with δ as downwards and γ as upwards weights and with similarity derived as the product of the weights on the paths.

5 An atomic concept c can then be expanded to a fuzzy set, including x and similar values x 1, x 2,..., x n as in: x+ = 1/x + sim(x, x 1 )/x 1 + sim(x, x 2 )/x 2 + sim(x, x n )/x n (4) Thus for instance with δ = 0.9 and γ = 0.4 the expansion of the concepts dog, animal and poodle into sets of similar values would be: dog+ = 1/dog + 0.9/poodle + 0.9/alsatian + 0.4/animal poodle+ = 1/poodle+0.4/dog +0.36/alsatian+0.16/animal /cat animal+ = 1/animal + 0.9/cat + 0.9/dog /poodle /alsatian 3.2 General concept-similarity The semantic relations, used in forming concepts in the ontology, indirectly contribute to similarity through subsumption. For instance cat[chr: grey[chr: dark]] is subsumed by - and thus extensionally included in - each of the more general concepts cat[chr: grey[chr: dark]], cat[chr: grey] and cat. Thus with a definition of similarity covering atomic concepts, and in some sense reflecting the ordering concept inclusion relation, we can extend to similarity on compound concepts by a relaxation, which takes subsumed concepts into account when comparing descriptions. The principle can be considered to be a matter of subsumption expansion of a concept c, denoted ɛ(c). Any compound concept is expanded (or relaxed) into the set of subsuming concepts, thus ɛ(cat[chr: grey[chr: dark]]) is expanded to the set: {cat[chr: grey[chr: dark]], cat[chr: grey], cat} Corresponding to the fuzzy set {1/cat[CHR: grey[chr: dark]] + 1/cat[CHR: grey] + 1/cat} The similarity between compound concepts x and y can be expressed as the degree to which the intersection of ɛ(x) and ɛ(y) is included in ɛ(x). One approach to query-answering in this direction is to expand the description of the query along the ontology and the potential answer objects along subsumption. For instance a query on dog could be expanded to a query on similar values like: dog+ = {1/dog /animal +...} and a potential answer object like cat[chr: grey[chr: dark]] would then be subsumption expanded as exemplified above. While not the key issue here, we should point out the importance of applying an appropriate averaging aggregation when comparing descriptions. It is essential that similarity based on subsumption expansion, exploits that for instance the degree to which c 1 [r 1 : c 2 ] is matching c 1 [r 1 : c 2 [r 2 : c 3 ]] is higher than the degree for c with no attributes is matching c 1 [r 1 : c 2 [r 2 : c 3 ]]. Approaches to aggregation that can be tailored to obtain these properties, based on order weighted averaging[6] and capturing nested structuring[7], are described in [2].

6 3.3 Possible Paths and Shared Nodes We have indicated above that the shortest path (3) between concepts in an ontology can be used as a measure for similarity. The intuition is that the similarity between cat[chr : grey] and dog[chr : grey] is larger than the similarity between either of these and bird[chr : yellow], because both cat and dog are characterized by being grey, whereas the bird is yellow. But we are not able to capture this if the basis for the similarity measure is subsumption expansion of the objects in the database and expansion of the query by means of the ontology. A possible solution to this problem is to introduce all relations in the calculation of similarity and thereby letting the attribution of concepts influence the similarity measure. This gives rise to at least the following considerations. Firstly we have to create the theoretical foundations for such a similarity measure and secondly the approach has the be scalable. Figure 2 shows the introduction of compound concepts and semantic relations, visualized as dotted edges. The general idea now is a similarity measure anything color animal yellow bird gray dog cat bird [CHR: yellow] dog [CHR: gray] cat [CHR: gray] Fig. 2. An example ontology covering colored animals between concepts c 1 and c 2 based upon the set of all nodes reachable from both concepts in the graph, representing the part of the ontology covering c 1 and c 2. These shared node reflect the similarity between concepts, both in terms of similar attribution and subsuming concepts. The inclusion of both the hyponymy relation and the attribution of concepts in the calculation of similarity increases the complexity. We therefore devise a similarity measure that utilizes a well-defined subset of the ontology for measuring similarity. To this end we define first the term-decomposition τ(c) and the upwards expansion ω(c) of a set of terms C. The term-decomposition is defined as the set of all subterms of c, which thus includes all concepts subsuming c and all attributes of subsuming concepts for c. The term-decomposition is defined as

7 follows: τ(c) = {x c x c y[r : x], x L, y L, r R} Consider as an example the decomposition of the term τ(disorder[cby : lack[w RT : vitaminc]]) = { disorder[cby : lack[w RT : vitaminc]], disorder[cby : lack]], disorder, lack[w RT : vitaminc], lack, vitaminc} The upwards expansion ω(c) of a set of terms C is the closure of C with respect to isa. ω(c) = {x x C y C, y ISA x} This expansion thus only adds atoms to C. We define further the upwards spanning subgraph (subontology) θ(c) for a set of concepts C = {c 1,..., c n } as the graph that appears when expanding the decomposition of C and connecting the resulting set of terms with edges corresponding to the isa relation and to the semantic relations used in attribution of elements in C. We define the triple (x, y, r) as the edge of type r from concept x to concept y. The nodes reachable from the expansion of the decomposition of a concept via the isa relation, α is defined as {(x, y, isa) x, y ω(τ(c)), x y z ω(τ(c)), z y, x z} And the nodes reachable from the expansion of the decomposition of a concept via the semantic relations, β is defined as {(x, y, r) x, y ω(τ(c)), r R, x[r : y] τ(c)} We can then define the subontology θ(c) as the union of α and β. θ(c) = α β Figure 2 is an example of such an subontology spanned by three terms. We can now define the set of shared nodes σ for two concepts c 1 and c 2 as the intersection of the expansion of the decomposition of the two terms. σ(c 1, c 2 ) = ω(τ(c 1 )) ω(τ(c 2 )) 4 Conclusion We have described different principles for measuring similarity between both atomic and compound concepts, all of which incorporate meta knowledge. 1)

8 Similarity between atomic concepts based on distance in the ordering relation of the ontology, concept inclusion (isa), 2) Similarity between general compound concepts based on subsumption expansion, and 3) Similarity between both atomic and general compound concepts based on shared nodes. The notion of measuring similarity as distance, either in the ordering relation or in combination with the semantic relations, seems to indicate a usable theoretical foundation for design of similarity measures. The inclusion of the attribution of concepts, by means of shared nodes, in the calculation of similarity, gives a possible approach for a measure that captures more details and at the same time scale to large systems. The purpose of similarity measures in connection with querying is of course to look for similar rather than for exactly matching values, that is, to introduce soft rather than crisp evaluation. As indicated through examples above one approach to introduce similar values is to expand crisp values into fuzzy sets including also similar values. Expansion of this kind, applying similarity based on knowledge in the knowledge base, is a simplification replacing direct reasoning over the knowledge base during query evaluation. The graded similarity is the obvious means to make expansion a useful - by using simple threshold values for similarity the size of the answer can be fully controlled. References [1] Bulskov, H., Knappe, R. and Andreasen, T.: On Measuring Similarity for Conceptual Querying, LNAI 2522, pp in T. Andreasen, A. Motro, H. Christiansen, H.L. Larsen (Eds.): Flexible Query Answering Systems 5th International Conference, FQAS Copenhagen, Denmark, October 27-29, Proceedings [2] Andreasen, T.: Query evaluation based on domain-specific ontologies. In NAFIPS 2001, 20th IFSA / NAFIPS International Conference Fuzziness and Soft Computing, pp , Vancouver, Canada, [3] Andreasen, T., Nilsson, J. Fischer & Thomsen, H. Erdman: Ontology-based Querying, in Larsen, H.L. et al. (eds.) Flexible Query Answering Systems, Flexible Query Answering Systems, Recent Advances, Physica-Verlag, Springer, pp [4] Andreasen, T., Jensen, P. Anker, Nilsson, J. Fischer, Paggio, P., Pedersen, B. Sandford & Thomsen, H. Erdman: Ontological Extraction of Content for Text Querying, to appear in NLDB 2002, Stockholm, Sweden, [5] Nilsson, J. Fischer: A Logico-algebraic Framework for Ontologies ONTOLOG, in Jensen, P. Anker & Skadhauge, P. (eds.): Proceedings of the First International OntoQuery Workshop Ontology-based interpretation of NP s. Department of Business Communication and Information Science, University of Southern Denmark, Kolding, [6] Yager, R.R.: On ordered weighted averaging aggregation operators in multicriteria decision making, in IEEE Transactions on Systems, Man and Cybernetics, vol 18, [7] Yager, R.R.: A hierarchical document retrieval language, in Information Retrieval vol 3, Issue 4, Kluwer Academic Publishers pp , 2000.

A set theoretic view of the ISA hierarchy

A set theoretic view of the ISA hierarchy Loughborough University Institutional Repository A set theoretic view of the ISA hierarchy This item was submitted to Loughborough University's Institutional Repository by the/an author. Citation: CHEUNG,

More information

On Tuning OWA Operators in a Flexible Querying Interface

On Tuning OWA Operators in a Flexible Querying Interface On Tuning OWA Operators in a Flexible Querying Interface Sławomir Zadrożny 1 and Janusz Kacprzyk 2 1 Warsaw School of Information Technology, ul. Newelska 6, 01-447 Warsaw, Poland 2 Systems Research Institute

More information

Interpreting Low and High Order Rules: A Granular Computing Approach

Interpreting Low and High Order Rules: A Granular Computing Approach Interpreting Low and High Order Rules: A Granular Computing Approach Yiyu Yao, Bing Zhou and Yaohua Chen Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail:

More information

Distributive Lattice Ordered Ontologies

Distributive Lattice Ordered Ontologies Distributive Lattice Ordered Ontologies Hans Bruun Mai Gehrke Jørgen Fischer Nilsson Technical University of Denmark Radboud Universiteit TANCL 07 August 8, 2007 University of Oxford p. 1/26 Objective:

More information

A Generalized Decision Logic in Interval-set-valued Information Tables

A Generalized Decision Logic in Interval-set-valued Information Tables A Generalized Decision Logic in Interval-set-valued Information Tables Y.Y. Yao 1 and Qing Liu 2 1 Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail: yyao@cs.uregina.ca

More information

An Analysis on Consensus Measures in Group Decision Making

An Analysis on Consensus Measures in Group Decision Making An Analysis on Consensus Measures in Group Decision Making M. J. del Moral Statistics and Operational Research Email: delmoral@ugr.es F. Chiclana CCI Faculty of Technology De Montfort University Leicester

More information

From Constructibility and Absoluteness to Computability and Domain Independence

From Constructibility and Absoluteness to Computability and Domain Independence From Constructibility and Absoluteness to Computability and Domain Independence Arnon Avron School of Computer Science Tel Aviv University, Tel Aviv 69978, Israel aa@math.tau.ac.il Abstract. Gödel s main

More information

Maximal Introspection of Agents

Maximal Introspection of Agents Electronic Notes in Theoretical Computer Science 70 No. 5 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 16 pages Maximal Introspection of Agents Thomas 1 Informatics and Mathematical Modelling

More information

Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles*

Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles* Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles* Franz Baader Theoretical Computer Science TU Dresden D-01062 Dresden, Germany

More information

Knowledge Discovery Based Query Answering in Hierarchical Information Systems

Knowledge Discovery Based Query Answering in Hierarchical Information Systems Knowledge Discovery Based Query Answering in Hierarchical Information Systems Zbigniew W. Raś 1,2, Agnieszka Dardzińska 3, and Osman Gürdal 4 1 Univ. of North Carolina, Dept. of Comp. Sci., Charlotte,

More information

Incomplete Information in RDF

Incomplete Information in RDF Incomplete Information in RDF Charalampos Nikolaou and Manolis Koubarakis charnik@di.uoa.gr koubarak@di.uoa.gr Department of Informatics and Telecommunications National and Kapodistrian University of Athens

More information

The Arithmetic Recursive Average as an Instance of the Recursive Weighted Power Mean

The Arithmetic Recursive Average as an Instance of the Recursive Weighted Power Mean The Arithmetic Recursive Average as an Instance of the Recursive Weighted Power Mean Christian Wagner Inst. for Computing & Cybersystems Michigan Technological University, USA and LUCID, School of Computer

More information

Expressive number restrictions in Description Logics

Expressive number restrictions in Description Logics Expressive number restrictions in Description Logics Franz Baader and Ulrike Sattler August 12, 1999 Abstract Number restrictions are concept constructors that are available in almost all implemented Description

More information

Probability of fuzzy events

Probability of fuzzy events Probability of fuzzy events 1 Introduction Ondřej Pavlačka 1, Pavla Rotterová 2 Abstract. In economic practice, we often deal with events that are defined only vaguely. Such indeterminate events can be

More information

FUZZY ASSOCIATION RULES: A TWO-SIDED APPROACH

FUZZY ASSOCIATION RULES: A TWO-SIDED APPROACH FUZZY ASSOCIATION RULES: A TWO-SIDED APPROACH M. De Cock C. Cornelis E. E. Kerre Dept. of Applied Mathematics and Computer Science Ghent University, Krijgslaan 281 (S9), B-9000 Gent, Belgium phone: +32

More information

Previous Accomplishments. Focus of Research Iona College. Focus of Research Iona College. Publication List Iona College. Journals

Previous Accomplishments. Focus of Research Iona College. Focus of Research Iona College. Publication List Iona College. Journals Network-based Hard/Soft Information Fusion: Soft Information and its Fusion Ronald R. Yager, Tel. 212 249 2047, E-Mail: yager@panix.com Objectives: Support development of hard/soft information fusion Develop

More information

Sets with Partial Memberships A Rough Set View of Fuzzy Sets

Sets with Partial Memberships A Rough Set View of Fuzzy Sets Sets with Partial Memberships A Rough Set View of Fuzzy Sets T. Y. Lin Department of Mathematics and Computer Science San Jose State University San Jose, California 95192-0103 E-mail: tylin@cs.sjsu.edu

More information

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes Franz Baader, Stefan Borgwardt, and Barbara Morawska {baader,stefborg,morawska}@tcs.inf.tu-dresden.de Theoretical Computer

More information

Can Vector Space Bases Model Context?

Can Vector Space Bases Model Context? Can Vector Space Bases Model Context? Massimo Melucci University of Padua Department of Information Engineering Via Gradenigo, 6/a 35031 Padova Italy melo@dei.unipd.it Abstract Current Information Retrieval

More information

Chapter 4: Computation tree logic

Chapter 4: Computation tree logic INFOF412 Formal verification of computer systems Chapter 4: Computation tree logic Mickael Randour Formal Methods and Verification group Computer Science Department, ULB March 2017 1 CTL: a specification

More information

Decidability of SHI with transitive closure of roles

Decidability of SHI with transitive closure of roles 1/20 Decidability of SHI with transitive closure of roles Chan LE DUC INRIA Grenoble Rhône-Alpes - LIG 2/20 Example : Transitive Closure in Concept Axioms Devices have as their direct part a battery :

More information

LTCS Report. Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures. LTCS-Report 16-07

LTCS Report. Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures. LTCS-Report 16-07 Technische Universität Dresden Institute for Theoretical Computer Science Chair for Automata Theory LTCS Report Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity

More information

7 RC Simulates RA. Lemma: For every RA expression E(A 1... A k ) there exists a DRC formula F with F V (F ) = {A 1,..., A k } and

7 RC Simulates RA. Lemma: For every RA expression E(A 1... A k ) there exists a DRC formula F with F V (F ) = {A 1,..., A k } and 7 RC Simulates RA. We now show that DRC (and hence TRC) is at least as expressive as RA. That is, given an RA expression E that mentions at most C, there is an equivalent DRC expression E that mentions

More information

Rough Sets. V.W. Marek. General introduction and one theorem. Department of Computer Science University of Kentucky. October 2013.

Rough Sets. V.W. Marek. General introduction and one theorem. Department of Computer Science University of Kentucky. October 2013. General introduction and one theorem V.W. Marek Department of Computer Science University of Kentucky October 2013 What it is about? is a popular formalism for talking about approximations Esp. studied

More information

Fuzzy Sets and Fuzzy Techniques. Sladoje. Introduction. Operations. Combinations. Aggregation Operations. An Application: Fuzzy Morphologies

Fuzzy Sets and Fuzzy Techniques. Sladoje. Introduction. Operations. Combinations. Aggregation Operations. An Application: Fuzzy Morphologies Sets and Sets and Outline of Sets and Lecture 8 on Sets of 1 2 Centre for Image alysis Uppsala University 3 of February 15, 2007 4 5 Sets and Standard fuzzy operations Sets and Properties of the standard

More information

Distributive lattice-structured ontologies

Distributive lattice-structured ontologies Distributive lattice-structured ontologies Hans Bruun 1 Dion Coumans 2 Mai Gerhke 2 1 Technical University of Denmark, Denmark 2 Radboud University Nijmegen, The Netherlands CALCO, september 2009 Introduction

More information

arxiv: v1 [cs.lo] 16 Jul 2017

arxiv: 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 information

Review. Earley Algorithm Chapter Left Recursion. Left-Recursion. Rule Ordering. Rule Ordering

Review. Earley Algorithm Chapter Left Recursion. Left-Recursion. Rule Ordering. Rule Ordering Review Earley Algorithm Chapter 13.4 Lecture #9 October 2009 Top-Down vs. Bottom-Up Parsers Both generate too many useless trees Combine the two to avoid over-generation: Top-Down Parsing with Bottom-Up

More information

West Windsor-Plainsboro Regional School District Algebra Grade 8

West Windsor-Plainsboro Regional School District Algebra Grade 8 West Windsor-Plainsboro Regional School District Algebra Grade 8 Content Area: Mathematics Unit 1: Foundations of Algebra This unit involves the study of real numbers and the language of algebra. Using

More information

On flexible database querying via extensions to fuzzy sets

On flexible database querying via extensions to fuzzy sets On flexible database querying via extensions to fuzzy sets Guy de Tré, Rita de Caluwe Computer Science Laboratory Ghent University Sint-Pietersnieuwstraat 41, B-9000 Ghent, Belgium {guy.detre,rita.decaluwe}@ugent.be

More information

Approximation Metrics for Discrete and Continuous Systems

Approximation Metrics for Discrete and Continuous Systems University of Pennsylvania ScholarlyCommons Departmental Papers (CIS) Department of Computer & Information Science May 2007 Approximation Metrics for Discrete Continuous Systems Antoine Girard University

More information

UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM

UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM Int. J. Appl. Math. Comput. Sci., 2002, Vol.12, No.3, 359 369 UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM ISMAIL BURHAN TÜRKŞEN Knowledge/Intelligence Systems

More information

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events Massimo Franceschet Angelo Montanari Dipartimento di Matematica e Informatica, Università di Udine Via delle

More information

Uncertainty and Rules

Uncertainty and Rules Uncertainty and Rules We have already seen that expert systems can operate within the realm of uncertainty. There are several sources of uncertainty in rules: Uncertainty related to individual rules Uncertainty

More information

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

More information

Safety Analysis versus Type Inference

Safety Analysis versus Type Inference Information and Computation, 118(1):128 141, 1995. Safety Analysis versus Type Inference Jens Palsberg palsberg@daimi.aau.dk Michael I. Schwartzbach mis@daimi.aau.dk Computer Science Department, Aarhus

More information

Safety Analysis versus Type Inference for Partial Types

Safety Analysis versus Type Inference for Partial Types Safety Analysis versus Type Inference for Partial Types Jens Palsberg palsberg@daimi.aau.dk Michael I. Schwartzbach mis@daimi.aau.dk Computer Science Department, Aarhus University Ny Munkegade, DK-8000

More information

Content Standard 1: Numbers, Number Sense, and Computation Place Value

Content Standard 1: Numbers, Number Sense, and Computation Place Value Content Standard 1: Numbers, Number Sense, and Computation Place Value Fractions Comparing and Ordering Counting Facts Estimating and Estimation Strategies Determine an approximate value of radical and

More information

Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving

Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving Henning Burchardt and Stefan Ratschan October 31, 2007 Abstract We formulate the problem of estimating

More information

Using quasiarithmetic means in a sequential decision procedure

Using quasiarithmetic means in a sequential decision procedure Using quasiarithmetic means in a sequential decision procedure Miguel Ángel Ballester Dep. d Economia i d Història Econòmica Universitat Autònoma de Barcelona, Spain mballester@pareto.uab.es José Luis

More information

Mining Approximative Descriptions of Sets Using Rough Sets

Mining Approximative Descriptions of Sets Using Rough Sets Mining Approximative Descriptions of Sets Using Rough Sets Dan A. Simovici University of Massachusetts Boston, Dept. of Computer Science, 100 Morrissey Blvd. Boston, Massachusetts, 02125 USA dsim@cs.umb.edu

More information

An Independence Relation for Sets of Secrets

An Independence Relation for Sets of Secrets Sara Miner More Pavel Naumov An Independence Relation for Sets of Secrets Abstract. A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland.

More information

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only 1/53 Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only Larry Moss Indiana University Nordic Logic School August 7-11, 2017 2/53 An example that we ll see a few times Consider the

More information

ENCOURAGING THE GRAND COALITION IN CONVEX COOPERATIVE GAMES

ENCOURAGING THE GRAND COALITION IN CONVEX COOPERATIVE GAMES STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LIV, Number 1, March 2009 ENCOURAGING THE GRAND COALITION IN CONVEX COOPERATIVE GAMES TITU ANDREESCU AND ZORAN ŠUNIĆ Abstract. A solution function for convex

More information

Favoring Consensus and Penalizing Disagreement in Group Decision Making

Favoring Consensus and Penalizing Disagreement in Group Decision Making Favoring Consensus and Penalizing Disagreement in Group Decision Making Paper: jc*-**-**-**** Favoring Consensus and Penalizing Disagreement in Group Decision Making José Luis García-Lapresta PRESAD Research

More information

Math 1 Variable Manipulation Part 5 Absolute Value & Inequalities

Math 1 Variable Manipulation Part 5 Absolute Value & Inequalities Math 1 Variable Manipulation Part 5 Absolute Value & Inequalities 1 ABSOLUTE VALUE REVIEW Absolute value is a measure of distance; how far a number is from zero: 6 is 6 away from zero, and " 6" is also

More information

Properties of intuitionistic fuzzy line graphs

Properties of intuitionistic fuzzy line graphs 16 th Int. Conf. on IFSs, Sofia, 9 10 Sept. 2012 Notes on Intuitionistic Fuzzy Sets Vol. 18, 2012, No. 3, 52 60 Properties of intuitionistic fuzzy line graphs M. Akram 1 and R. Parvathi 2 1 Punjab University

More information

The matrix approach for abstract argumentation frameworks

The matrix approach for abstract argumentation frameworks The matrix approach for abstract argumentation frameworks Claudette CAYROL, Yuming XU IRIT Report RR- -2015-01- -FR February 2015 Abstract The matrices and the operation of dual interchange are introduced

More information

Relations on Hypergraphs

Relations on Hypergraphs Relations on Hypergraphs John Stell School of Computing, University of Leeds RAMiCS 13 Cambridge, 17th September 2012 Relations on a Set Boolean algebra Converse R = R Complement R = R Composition & residuation

More information

On Another Decomposition of Fuzzy Automata

On Another Decomposition of Fuzzy Automata Journal of Uncertain Systems Vol.5, No.1, pp.33-37, 2011 Online at: www.jus.org.uk On Another Decomposition of Fuzzy Automata Arun K. Srivastava 1, S.P. Tiwari 2, 1 Department of Mathematics & Centre for

More information

Model checking the basic modalities of CTL with Description Logic

Model checking the basic modalities of CTL with Description Logic Model checking the basic modalities of CTL with Description Logic Shoham Ben-David Richard Trefler Grant Weddell David R. Cheriton School of Computer Science University of Waterloo Abstract. Model checking

More information

MIDDLE GRADES MATHEMATICS

MIDDLE GRADES MATHEMATICS MIDDLE GRADES MATHEMATICS Content Domain Range of Competencies l. Number Sense and Operations 0001 0002 17% ll. Algebra and Functions 0003 0006 33% lll. Measurement and Geometry 0007 0009 25% lv. Statistics,

More information

A Class of Star-Algebras for Point-Based Qualitative Reasoning in Two- Dimensional Space

A Class of Star-Algebras for Point-Based Qualitative Reasoning in Two- Dimensional Space From: FLAIRS- Proceedings. Copyright AAAI (www.aaai.org). All rights reserved. A Class of Star-Algebras for Point-Based Qualitative Reasoning in Two- Dimensional Space Debasis Mitra Department of Computer

More information

Fuzzy Description Logics

Fuzzy Description Logics Fuzzy Description Logics 1. Introduction to Description Logics Rafael Peñaloza Rende, January 2016 Literature Description Logics Baader, Calvanese, McGuinness, Nardi, Patel-Schneider (eds.) The Description

More information

SPATIAL DATA MINING. Ms. S. Malathi, Lecturer in Computer Applications, KGiSL - IIM

SPATIAL DATA MINING. Ms. S. Malathi, Lecturer in Computer Applications, KGiSL - IIM SPATIAL DATA MINING Ms. S. Malathi, Lecturer in Computer Applications, KGiSL - IIM INTRODUCTION The main difference between data mining in relational DBS and in spatial DBS is that attributes of the neighbors

More information

Uncertain Logic with Multiple Predicates

Uncertain Logic with Multiple Predicates Uncertain Logic with Multiple Predicates Kai Yao, Zixiong Peng Uncertainty Theory Laboratory, Department of Mathematical Sciences Tsinghua University, Beijing 100084, China yaok09@mails.tsinghua.edu.cn,

More information

Honors Integrated Algebra/Geometry 3 Critical Content Mastery Objectives Students will:

Honors Integrated Algebra/Geometry 3 Critical Content Mastery Objectives Students will: Content Standard 1: Numbers, Number Sense, and Computation Place Value Fractions Comparing and Ordering Counting Facts Estimating and Estimation Strategies Determine an approximate value of radical and

More information

Abstract. In this paper we present a query answering system for solving non-standard

Abstract. In this paper we present a query answering system for solving non-standard Answering Non-Standard Queries in Distributed Knowledge-Based Systems Zbigniew W. Ras University of North Carolina Department of Comp. Science Charlotte, N.C. 28223, USA ras@uncc.edu Abstract In this paper

More information

Data Dependencies in the Presence of Difference

Data Dependencies in the Presence of Difference Data Dependencies in the Presence of Difference Tsinghua University sxsong@tsinghua.edu.cn Outline Introduction Application Foundation Discovery Conclusion and Future Work Data Dependencies in the Presence

More information

Bounds on the Traveling Salesman Problem

Bounds on the Traveling Salesman Problem Bounds on the Traveling Salesman Problem Sean Zachary Roberson Texas A&M University MATH 613, Graph Theory A common routing problem is as follows: given a collection of stops (for example, towns, stations,

More information

Designing and Evaluating Generic Ontologies

Designing and Evaluating Generic Ontologies Designing and Evaluating Generic Ontologies Michael Grüninger Department of Industrial Engineering University of Toronto gruninger@ie.utoronto.ca August 28, 2007 1 Introduction One of the many uses of

More information

COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY

COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY VAN CYR AND BRYNA KRA Abstract. The Morse-Hedlund Theorem states that a bi-infinite sequence η in a finite alphabet is periodic if and only if there exists

More information

This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication.

This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication. This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication. Copyright Pearson Canada Inc. All rights reserved. Copyright Pearson

More information

Independence, Decomposability and functions which take values into an Abelian Group

Independence, Decomposability and functions which take values into an Abelian Group Independence, Decomposability and functions which take values into an Abelian Group Adrian Silvescu Department of Computer Science Iowa State University Ames, IA 50010, USA silvescu@cs.iastate.edu Abstract

More information

Multiattribute decision making models and methods using intuitionistic fuzzy sets

Multiattribute decision making models and methods using intuitionistic fuzzy sets Journal of Computer System Sciences 70 (2005) 73 85 www.elsevier.com/locate/css Multiattribute decision making models methods using intuitionistic fuzzy sets Deng-Feng Li Department Two, Dalian Naval Academy,

More information

Solving Fuzzy PERT Using Gradual Real Numbers

Solving Fuzzy PERT Using Gradual Real Numbers Solving Fuzzy PERT Using Gradual Real Numbers Jérôme FORTIN a, Didier DUBOIS a, a IRIT/UPS 8 route de Narbonne, 3062, Toulouse, cedex 4, France, e-mail: {fortin, dubois}@irit.fr Abstract. From a set of

More information

Exploiting WordNet as Background Knowledge

Exploiting WordNet as Background Knowledge Exploiting WordNet as Background Knowledge Chantal Reynaud, Brigitte Safar LRI, Université Paris-Sud, Bât. G, INRIA Futurs Parc Club Orsay-Université - 2-4 rue Jacques Monod, F-91893 Orsay, France {chantal.reynaud,

More information

THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL

THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL 10 th February 013. Vol. 48 No.1 005-013 JATIT & LLS. All rights reserved. ISSN: 199-8645 www.jatit.org E-ISSN: 1817-3195 THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL 1 MINXIA LUO, NI SANG,

More information

Databases 2011 The Relational Algebra

Databases 2011 The Relational Algebra Databases 2011 Christian S. Jensen Computer Science, Aarhus University What is an Algebra? An algebra consists of values operators rules Closure: operations yield values Examples integers with +,, sets

More information

Classification Based on Logical Concept Analysis

Classification Based on Logical Concept Analysis Classification Based on Logical Concept Analysis Yan Zhao and Yiyu Yao Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada S4S 0A2 E-mail: {yanzhao, yyao}@cs.uregina.ca Abstract.

More information

Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives

More information

Basic System and Subsystem Structures in the Dataflow Algebra. A. J. Cowling

Basic System and Subsystem Structures in the Dataflow Algebra. A. J. Cowling Verification Testing Research Group, Department of Computer Science, University of Sheffield, Regent Court, 211, Portobello Street, Sheffield, S1 4DP, United Kingdom Email: A.Cowling @ dcs.shef.ac.uk Telephone:

More information

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases November 18, 2013 1 Spanning and linear independence I will outline a slightly different approach to the material in Chapter 2 of Axler

More information

Extended IR Models. Johan Bollen Old Dominion University Department of Computer Science

Extended IR Models. Johan Bollen Old Dominion University Department of Computer Science Extended IR Models. Johan Bollen Old Dominion University Department of Computer Science jbollen@cs.odu.edu http://www.cs.odu.edu/ jbollen January 20, 2004 Page 1 UserTask Retrieval Classic Model Boolean

More information

Use estimation strategies reasonably and fluently while integrating content from each of the other strands. PO 1. Recognize the limitations of

Use estimation strategies reasonably and fluently while integrating content from each of the other strands. PO 1. Recognize the limitations of for Strand 1: Number and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, and the relationships among numbers and different number systems. PO 1. Solve problems

More information

Intelligent GIS: Automatic generation of qualitative spatial information

Intelligent GIS: Automatic generation of qualitative spatial information Intelligent GIS: Automatic generation of qualitative spatial information Jimmy A. Lee 1 and Jane Brennan 1 1 University of Technology, Sydney, FIT, P.O. Box 123, Broadway NSW 2007, Australia janeb@it.uts.edu.au

More information

SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS

SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS 1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup

More information

Regular finite Markov chains with interval probabilities

Regular finite Markov chains with interval probabilities 5th International Symposium on Imprecise Probability: Theories and Applications, Prague, Czech Republic, 2007 Regular finite Markov chains with interval probabilities Damjan Škulj Faculty of Social Sciences

More information

College Algebra with Corequisite Support: Targeted Review

College Algebra with Corequisite Support: Targeted Review College Algebra with Corequisite Support: Targeted Review 978-1-63545-056-9 To learn more about all our offerings Visit Knewtonalta.com Source Author(s) (Text or Video) Title(s) Link (where applicable)

More information

Normal Forms for Priority Graphs

Normal Forms for Priority Graphs Johan van Benthem and Davide rossi Normal Forms for Priority raphs Normal Forms for Priority raphs Johan van Benthem and Davide rossi Institute for Logic, Language and Computation d.grossi@uva.nl Abstract

More information

Algebra II Crosswalk. Red font indicates a passage that is not addressed in the compared sets of standards.

Algebra II Crosswalk. Red font indicates a passage that is not addressed in the compared sets of standards. The chart below includes the assessed on the Algebra II California Test, the Mathematics ), the the, the Competencies in Mathematics from the Intersegmental Committee of the Academic Senate (ICAS), and

More information

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events Massimo Franceschet Angelo Montanari Dipartimento di Matematica e Informatica, Università di Udine Via delle

More information

THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL

THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL 1 MINXIA LUO, 2 NI SANG, 3 KAI ZHANG 1 Department of Mathematics, China Jiliang University Hangzhou, China E-mail: minxialuo@163.com ABSTRACT

More information

On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases

On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases Theoretical Computer Science 336 (2005) 125 151 www.elsevier.com/locate/tcs On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases Floris

More information

Published in: Tenth Tbilisi Symposium on Language, Logic and Computation: Gudauri, Georgia, September 2013

Published in: Tenth Tbilisi Symposium on Language, Logic and Computation: Gudauri, Georgia, September 2013 UvA-DARE (Digital Academic Repository) Estimating the Impact of Variables in Bayesian Belief Networks van Gosliga, S.P.; Groen, F.C.A. Published in: Tenth Tbilisi Symposium on Language, Logic and Computation:

More information

Truth-Functional Logic

Truth-Functional Logic Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence

More information

Size-Change Termination and Transition Invariants

Size-Change Termination and Transition Invariants Size-Change Termination and Transition Invariants Matthias Heizmann 1, Neil D. Jones 2, and Andreas Podelski 1 1 University of Freiburg, Germany 2 University of Copenhagen, Denmark Abstract. Two directions

More information

Robust goal programming

Robust goal programming Control and Cybernetics vol. 33 (2004) No. 3 Robust goal programming by Dorota Kuchta Institute of Industrial Engineering Wroclaw University of Technology Smoluchowskiego 25, 50-371 Wroc law, Poland Abstract:

More information

CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL

CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL Boris Konev 1, Carsten Lutz 2, Dirk Walther 1, and Frank Wolter 1 1 University of Liverpool, UK, {konev, dwalther, wolter}@liverpool.ac.uk

More information

Question Answering on Statistical Linked Data

Question Answering on Statistical Linked Data Question Answering on Statistical Linked Data AKSW Colloquium paper presentation Konrad Höffner Universität Leipzig, AKSW/MOLE, PhD Student 2015-2-16 1 / 18 1 2 3 2 / 18 Motivation Statistical Linked Data

More information

Introduction to Kleene Algebras

Introduction to Kleene Algebras Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)

More information

Arizona Mathematics Standards Articulated by Grade Level (2008) for College Work Readiness (Grades 11 and 12)

Arizona Mathematics Standards Articulated by Grade Level (2008) for College Work Readiness (Grades 11 and 12) Strand 1: Number and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, and the relationships among numbers and different number systems. College Work Readiness

More information

SUPPORT VECTOR MACHINE

SUPPORT VECTOR MACHINE SUPPORT VECTOR MACHINE Mainly based on https://nlp.stanford.edu/ir-book/pdf/15svm.pdf 1 Overview SVM is a huge topic Integration of MMDS, IIR, and Andrew Moore s slides here Our foci: Geometric intuition

More information

NEUTROSOPHIC PARAMETRIZED SOFT SET THEORY AND ITS DECISION MAKING

NEUTROSOPHIC PARAMETRIZED SOFT SET THEORY AND ITS DECISION MAKING italian journal of pure and applied mathematics n. 32 2014 (503 514) 503 NEUTROSOPHIC PARAMETRIZED SOFT SET THEORY AND ITS DECISION MAING Said Broumi Faculty of Arts and Humanities Hay El Baraka Ben M

More information

College Algebra with Corequisite Support: A Blended Approach

College Algebra with Corequisite Support: A Blended Approach College Algebra with Corequisite Support: A Blended Approach 978-1-63545-058-3 To learn more about all our offerings Visit Knewtonalta.com Source Author(s) (Text or Video) Title(s) Link (where applicable)

More information

Introduzione alle logiche descrittive

Introduzione alle logiche descrittive Introduzione alle logiche descrittive I principali formalismi di KR Reti semantiche Sistemi a Frame Sistemi di Produzione FOL (First Order Logic) e vari altri linguaggi logici Logiche descrittive Le logiche

More information

More Model Theory Notes

More Model Theory Notes More Model Theory Notes Miscellaneous information, loosely organized. 1. Kinds of Models A countable homogeneous model M is one such that, for any partial elementary map f : A M with A M finite, and any

More information

Compenzational Vagueness

Compenzational Vagueness Compenzational Vagueness Milan Mareš Institute of information Theory and Automation Academy of Sciences of the Czech Republic P. O. Box 18, 182 08 Praha 8, Czech Republic mares@utia.cas.cz Abstract Some

More information

Approximations of Modal Logic K

Approximations of Modal Logic K WoLLIC 2005 Preliminary Version Approximations of Modal Logic K Guilherme de Souza Rabello 2 Department of Mathematics Institute of Mathematics and Statistics University of Sao Paulo, Brazil Marcelo Finger

More information

A Relational Knowledge System

A Relational Knowledge System Relational Knowledge System by Shik Kam Michael Wong, Cory James utz, and Dan Wu Technical Report CS-01-04 January 2001 Department of Computer Science University of Regina Regina, Saskatchewan Canada S4S

More information