Choice Based Credit System (CBCS) is a modern curriculum system of higher education in India which was first introduced by the Academic and Administrative Reforms committee of University Grant Commission (UGC) in 2008 headed by Prof. A. Gnanam. It is a system that promises to bring in holistic development of an individual by providing flexible and multi-disciplinary learning experience. The CBCS provides a cafeteria type approach in which the students can take courses of their choice, learn at their own pace, (...) undergo additional courses and acquire more than the required credits, and adopt an interdisciplinary approach to learning. The courses shall be evaluated on the grading system, which is considered to be better than the conventional marks system. To make the present curriculum uniform, international standard and more developed UGC implement the Choice Based Credit System at higher education level. There are different Universities in the country that have adopted this system through modifying up to 30% of core papers’ syllabus under the proposed UGC curriculum. The major objectives of the study were to explore the nature of the present CBCS curriculum of Zoology and measure the perception level of the students on the present CBCS curriculum of Zoology of Vidyasagar University. The major Findings of the study were suggested that the Vidyasagar University followed the UGC recommended curriculum pattern for framing the CBCS curriculum of Zoology and it has also been found that there was no significant difference in the male and female students’’ perception about CBCS curriculum of zoology at undergraduate level in Vidyasagar University. -/- . (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

In recent work, Williamson has defended a suggestive account of assertion. Williamson claims that the following norm or rule (the knowledge rule) is constitutive of assertion, and individuates it: (KR) One must ((assert p) only if one knows p) Williamson is not directly concerned with the semantics of assertion-markers, although he assumes that his view has implications for such an undertaking; he says: “in natural languages, the default use of declarative sentences is to make assertions” (op. cit., 258). In this (...) paper I will explore Williamson’s view from this perspective, i.e., in the light of issues regarding the semantics of assertion-markers. I will end up propounding a slightly different account, on which, rather than KR, what is constitutive and individuating of assertion is an audience-involving transmission of knowledge rule: (TKR) One must ((assert p) only if one’s audience comes thereby to be in a position to know p) I will argue that TKR, of which KR is an illocutionary consequence (but not the other way around), has all the virtues that Williamson claims for his account and no new defect. (shrink)

En tolkning af “Sein und Zeit” (herefter SuZ) kræver en afklaring af værensspørgsmålets rolle i værket, thi holdningen hertil bestemmer vurderingen af de mange enkeltanalyser, der indgår deri. Essayets tese er, at værensspørgsmålet er bærende i hele SuZ – hvilket ikke er så indlysende, som det måske synes. En række tolkninger har søgt at vise, at værensspørgsmålet er et pseudo-spørgsmål, der bør glemmes, men at de enkelte analyser i SuZ i sig selv er interessante . Andre tolkninger går ud fra, (...) at værensspørgsmålet selv aldrig bliver stillet i SuZ, men at der kun foretages en analyse af Dasein . Derfor bliver det et mål at vise, at de to hovedopgaver i SuZ, Daseinsanalysen og destruktionen af ontologiens historie, ikke er to hinanden uafhængige momenter, der hver især skal forberede grunden ud fra hvilken værensspørgsmålet skal stilles, men derimod er selve udfoldelsen af værensspørgsmålet. (shrink)

Abstract. First-year mathematics education students often face challenges with College and Advanced Algebra assessments. This study aimed to develop and validate a 100-item multiple-choice midterm test for College and Advanced Algebra, ensuring the test's validity and reliability. The test was designed following a structured process that included creating a Table of Specifications (TOS) based on the approved syllabus. To ensure content accuracy and relevance, the test was reviewed by three subject matter experts and evaluated for clarity by 15 students. Pilot (...) testing was conducted with 82 fourth-year Bachelor of Secondary Education Mathematics (BSEd Mathematics) students. The pilot test results underwent detailed item analysis, focusing on metrics such as the difficulty index, discrimination index, and overall reliability using the Kuder-Richardson Formula 20 (KR-20). Of the 100 items, 22 were retained, 48 were revised, and 30 were discarded. The test achieved a reliability coefficient of 0.876, indicating strong internal consistency. The findings suggest that the validated test questionnaire is a dependable tool for accurately assessing students’ knowledge in College and Advanced Algebra, providing valuable feedback for educators and students. (shrink)

According to ambitious responsibilism (AR), the virtues that are constitutive of epistemic responsibility should play a central and fundamental role in traditional projects like the analysis of justification and knowledge. While AR enjoyed a shining moment in the mid-1990s, it has fallen on hard times. Part of the reason is that many epistemologists—including fellow responsibilists—think it paints an unreasonably demanding picture of knowledge and justification. I agree that such worries undermine AR's existing versions. But I think the curtains have been (...) prematurely drawn on the view. My goal is to show that the objections only threaten the periphery of certain versions of AR, and to develop a version that blocks them. With this goal in mind, here is the plan. I begin in §2 by clarifying the core commitments of AR and explain how influential responsibilists have added to these commitments in optional ways. In §3, I rehearse the standard objections to AR, explaining why they only impugn the add-ons. I turn in §4 to develop a version I call Kantian Responsibilism (KR). KR is a two-level view consisting of (i) a high-level analysis of epistemic normativity in responsibilist terms, and (ii) a first-order account of the conditions under which these terms apply. According to KR's first tier, epistemically virtuous thought is thought that manifests respect for truth; because I hold that manifesting certain reasons-sensitive dispositions is necessary and sufficient for respecting truth, KR's second tier takes epistemic virtues to coincide substantively with reasons-sensitive dispositions. After unpacking KR in §4, I show in §5 how it answers the objections to AR. I close in §6 by making some broader points about KR's virtues, especially when compared with reliabilist views. (shrink)

"What We Cannot Think" Review of Ray Monk. Ludwig Wittgenstein. Powinność geniusza. Trans. A. Lipszyc and Ł. Sommer. Warszawa: Wydawnictwo KR, 2003.

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...) the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount of revenue (...) for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)