Global ETD Search

11	Circumscriptive reasoning Halland, Kenneth John 08 1900 (has links) We show how the non-monotonic nature of common-sense reasoning can be formalised by circumscription. Various forms of circumscription are discussed. A new form of circumscription, namely naive circumscription, is introduced in order to facilitate the comparison of the various forms. Finally, some issues connected with the automation of circumscriptive reasoning are examined. / Computing / M. Sc. (Computer Science) Circumscription Common-sense reasoning Non-monotonic logic Models Satisfiability Soundness Completeness Minimal models Scope Theorem-proving algorithms 004.015113 Logic, Symbolic and mathematical
12	VEM ANSVARAR FÖR HELA SKOLANS ANSVAR? : En kvalitativ studie om hur rektorer och studie- och yrkesvägledare ser på studie- och yrkesvägledning som hela skolans ansvar Martinez, Jennie, Sundkvist, Sofie January 2018 (has links) Att studie- och yrkesvägledningen har tydliga riktlinjer att följa syns i olika styrdokument och lagar men allt som oftast är inte detta en verklighet som skolorna följer. Syftet med detta arbete är att undersöka likheter och skillnader mellan rektorers och studie- och yrkesvägledares syn på bland annat organisationen i skolan, hur rektorer ser på hela skolans ansvar samt om där finns skillnader i synen på studie- och yrkesvägledningen när rektorer respektive vägledare berättar om den. Studien genomfördes med stöd av kvalitativa intervjuer med verksamma rektorer och studie- och yrkesvägledare i två norrlandskommuner. Resultatet som framkom stämde ganska bra med de rapporter och den tidigare forskning vi bearbetat. Utredningar, forskning och rapporter visar att organisationen av studie- och yrkesvägledningen är något som har en tendens att vara otydlig och ansvaret ligger ofta på den enskilda studie- och yrkesvägledaren. Rektorernasom är de som har ansvaret är pålästa om ’hela skolans ansvar’ när det gäller studie- och yrkesvägledning och anser att det är en viktig del i dagens skola men därefter släpper de tyglarna och låter studie- och yrkesvägledaren ta det största ansvaret när det egentligen ska vara tvärtom. Styrningen uppifrån är ofta oklar trots att rektorer har kunskapen om vad som står i läroplaner och i de allmänna råden om studie- och yrkesvägledning. Samarbetet med lärarna är begränsat vilket kan bero på att lärarna inte heller alltid vet vilken studie- och yrkesvägledarnas roll är. Samtidigt upplevs yrket väldigt fritt av den verksamma studie- och yrkesvägledaren och det är inte alltid svårt att få gehör för önskemål även om studie- och yrkesvägledare ofta önskar ett utökat samarbete med lärare. Hela skolans ansvar organisation styrning rektor Skolverkets allmänna råd samarbete röd tråd Theory of Circumscription and Compromise Educational Sciences Utbildningsvetenskap
13	Circumscriptive reasoning Halland, Kenneth John 08 1900 (has links) We show how the non-monotonic nature of common-sense reasoning can be formalised by circumscription. Various forms of circumscription are discussed. A new form of circumscription, namely naive circumscription, is introduced in order to facilitate the comparison of the various forms. Finally, some issues connected with the automation of circumscriptive reasoning are examined. / Computing / M. Sc. (Computer Science) Circumscription Common-sense reasoning Non-monotonic logic Models Satisfiability Soundness Completeness Minimal models Scope Theorem-proving algorithms 004.015113 Logic, Symbolic and mathematical
14	Part I The Samson Suite for Chamber Orchestra. Part II The Provocative Prokofiev: Analysis of Moderato Movement Sonata for Flute and Piano in D Major, Opus 94 Webb, Timothy 02 August 2010 (has links) No description available. Fine Arts Music chromatic mediants chromatic root shifts harmonic significance of augmented triad circumscription of multiple themes
15	Expressive Non-Monotonic Description Logics Based on Circumscription Bonatti, Piero, Lutz, Carsten, Wolter, Frank 31 May 2022 (has links) Recent applications of description logics (DLs) strongly suggest the integration of non-monotonic features into DLs, with particular attention to defeasible inheritance. However, the existing non-monotonic extensions of DLs are usually based on default logic or autoepistemic logic, and have to be seriously restricted in expressive power to preserve the decidability of reasoning. In particular, such DLs allow the modelling of defeasible inheritance only in a very restricted form, where non-monotonic reasoning is limited to individuals that are explicitly identified by constants in the knowledge base. In this paper, we consider non-monotonic extensions of expressive DLs based on circumscription. We prove that reasoning in such DLs is decidable even without the usual, strong restrictions in expressive power. We pinpoint the exact computational complexity of reasoning as complete for NPNEXP and NEXPNP, depending on whether or not the number of minimized and fixed predicates is assumed to be bounded by a constant. These results assume that only concept names (and no role names) can be minimized and fixed during minimization. On the other hand, we show that fixing role names during minimization makes reasoning undecidable. info:eu-repo/classification/ddc/004 ddc:004
16	A Language for Inconsistency-Tolerant Ontology Mapping Sengupta, Kunal 01 September 2015 (has links) No description available. Computer Science description logic ontology mapping language ontology alignment lanuguage ontology alignment ontology Mapping non monotonic reasoning default logic circumscription semantic web web ontology language
17	Varför Karriärteorier : En granskning av karriärteoriers kunskapsvärde med utgångspunkt i karriärberättelser / Career theories, how come? : A study about the knowledge value of career theories based up on career stories Lovén, Svante January 2015 (has links) I denna mastersuppsats undersöker författaren det möjliga värdet av karriärteorier. Värdet är empiriskt undersökt med utgångspunkt I tio fallstudier av intervjutyp. Författaren kommer till slutsatsen att kunskap om karriärteorier möjliggör en bättre förståelse av hur individer fattar karriär- och utbildningsbeslut. Författaren argumenterar för att kunskap om karriärteorier är, och bör vara relevant för vägledarnas profession och yrkesroll. / In this master thesis the author investigates the potential value of career theories. The potential value is empirically investigated on the basis of ten interviewee case studies. The author reaches the conclusion that career theories does enable a better understanding of how individuals make career- and educational choices and argues that knowledge of career theories is, and should be relevant for the guidance counsellors professional role. Career theory decision making decision psychology planned happenstance careership turning points circumscription SCCT PEC Super guidance counselling interview Karriärteorier beslutsfattande beslutspsykologi planned happenstance careership brytpunkter självbegränsning SCCT PEC Super vägledning intervju

Page generated in 0.0957 seconds