Previous research has suggested that when feature inferences have to be made about an instance whose category membership is uncertain, feature-based inductive reasoning is used to the exclusion of category-based induction. These results contrast with the observation that people can and do use category-based induction when category membership is known. The present experiments examined the condit...

Hierarchical Classification refers to assigning of one or more suitable categories from a hierarchical category space to a document. While previous work in hierarchical classification focused on virtual category trees where documents are assigned only to the leaf categories, we propose a topdown level-based classification method that can classify documents to both leaf and internal categories. ...

In this paper we consider what it means for a logic to be non-commutative, how to generate examples of structures with a noncommutative operation * which have enough nice properties to serve as the truth values for a logic. Inference in the propositional logic is gotten from the categorical properties (products, coproducts, monoidal and closed structures, adjoint functors) of the categories of ...

In this paper we obtain several model structures on DblCat, the category of small double categories. Our model structures have three sources. We first transfer across a categorificationnerve adjunction. Secondly, we view double categories as internal categories in Cat and take as our weak equivalences various internal equivalences defined via Grothendieck topologies. Thirdly, DblCat inherits a ...

This note is about work in progress on the topic of “internal type theory” where we investigate the internal formalization of the categorical metatheory of constructive type theory in (an extension of) itself. The basic notion is that of a category with families, a categorical notion of model of dependent type theory. We discuss how to formalize the notion of category with families inside type ...

This paper presents a batch classifier that splits dataset into tree branches depending on the category type. It has been improved from earlier version and fixed mistake in paper. Two important changes have made. The first is to represent each with separate classifier. Each then classifies its own subset of data rows, using input values create centroid also itself. If contains more than one how...

The importance of school culture as a personality is the basis for formation norms, values, and performance in schools. research was conducted using Mix Methods, through interviews an inventory survey to principals teachers at SMPN 3 Lubuk Pakam, total 45 people. results show that principal, staff feel comfortable have support one another. also shows very good category, (X=145.62). Human Relati...