Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "reasoning" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 225
Tytuł:
Knowledge Representation, Modelling and Processing in Modern Semantic Systems
Reprezentacja, modelowanie i przetwarzanie wiedzy w nowoczesnych systemach semantycznych
Autorzy:
Adrian, W. T.
Powiązania:
https://bibliotekanauki.pl/articles/275291.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
technologie semantyczne
modelowanie i reprezentacja wiedzy
wnioskowanie
systemy regułowe
systemy ontologiczne
systemy inteligentne
semantic technologies
knowledge modelling
representation and reasoning
rule-based systems
ontology-driven systems
intelligent systems
Opis:
Modern intelligent applications based on semantic technologies constitute an interesting class of Knowledge-Based Systems. The paper gives an overview of the methods and tools used in semantic systems and presents the research concerning adaptation of well-founded solutions for Rule-Based Systems to the semantic systems conditions. Theoretical solutions as well as practical implementations are briefly discussed. Outline of future directions and research problems is given.
Nowoczesne systemy inteligentne, wykorzystujące technologie i języki semantyczne, stanowią interesują klasę systemów opartych na wiedzy. W tym nowym kontekście warto rozważyć wykorzystanie rozwiązań wypracowanych w klasycznych sztucznej inteligencji, w szczególności systemach regułowych. W artykule nakreślono obszar badawczy obejmujący integrację istniejących metod i narzędzi z tego obszaru z rozwiązaniami Sieci Semantycznej. Poruszono zarówno problem integracji wybranych formalizmów stanowiących podstawy logiczne reprezentacji wiedzy w obydwu dziedzinach, jak i praktyczne implementacje systemów.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 223-225
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Czy filozofia dla dzieci jest filozofią?
Autorzy:
Andrea, Folkierska,
Powiązania:
https://bibliotekanauki.pl/articles/892197.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Warszawski. Wydawnictwa Uniwersytetu Warszawskiego
Tematy:
philosophy for children
hermeneutics
Arendt
Gadamer
thinking
reasoning
school education
Opis:
The aim of the article is to examine the philosophical value of the famous and widespread American educational project of the “Philosophy in the Classroom”. To fulfil this task, the author analyses the key concepts and the basic premises of the project in terms of their consistency and philosophical background. The critique is embedded in the conceptual framework of Hannah Arendt’s political philosophy as well as of Hans-Georg Gadamer’s philosophical hermeneutics.
Źródło:
Kwartalnik Pedagogiczny; 2015, 60(2 (236)); 146-162
0023-5938
Pojawia się w:
Kwartalnik Pedagogiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Toward a Philosophy of Moral Education
Ku filozofii edukacji moralnej
Autorzy:
Andrej, Andrej
Powiązania:
https://bibliotekanauki.pl/articles/550143.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
rozumowanie prospołeczne
zachowania prospołeczne
etyka
wychowanie moralne
prosocial moral reasoning
prosocial behaviour
Ethics education
prosocial education
Opis:
W artykule zaprezentowano rozważania teoretyczne dotyczące edukacji moralnej, która prowadzona jest na Słowacji w formie obowiązkowego przedmiotu szkolnego. Lekcje etyki wdrożono na drugim etapie kształcenia ogólnego (szkoła ponadpodstawowa) w roku szkolnym 1993/1994, natomiast od roku szkolnego 2004/2005 są one prowadzone również na pierwszym stopniu (szkoła podstawowa). Osnową edukacji moralnej w słowackim systemie oświaty jest koncepcja prospołeczności hiszpańskiego psychologa Roberta Roche’a Olivara. Celem niniejszego opracowania jest zbadanie związku zachodzącego między filozoficzną ideą edukacji moralnej a kształcenia w kierunku prospołeczności.
The paper focuses on one project of moral education that is taking place in Slovakia in a form of a school subject. Ethics Education has been implemented in Slovakia since 1993/1994 as a school subject in the 2nd grade of primary schools and since 2004/2005 in the 1st grade of primary schools. The subject Ethics Education is based on education toward prosociality in the intentions of a Spanish prosocial psychologist Robert Roche Olivar. The aim of the paper is to examine a philosophical connection between moral education and education towards prosociality.
Źródło:
Forum Pedagogiczne; 2016, 2/1; 281-291
2083-6325
Pojawia się w:
Forum Pedagogiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Koherencyjny model rozumowań prawniczych
Coherence Model of Legal Reasoning
Autorzy:
Araszkiewicz, Michał
Powiązania:
https://bibliotekanauki.pl/articles/531465.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Filozofii Prawa i Filozofii Społecznej – Sekcja Polska IVR
Tematy:
argumentacja prawnicza
koherencja
rozumowania prawnicze
spójność
legal argumentation
legal reasoning
coherence
cohesion
Opis:
Celem artykułu jest prezentacja modelu rozumowań prawniczych opartego na pojęciu koherencji (spójności) wypracowanym przez nauki kognitywne. Mówiąc dokładniej, model ten, określany dalej jako koherencyjny MRP (Model Rozumowania Prawniczego), jest bazowany na teorii koherencji wypracowanej przez Paula Thagarda. Zdaniem autora koherencyjny MRP wydaje się w sposób bardzo satyfakcjonujący spełniać kryteria zazwyczaj wykorzystywane w ocenie teoretycznoprawnych modeli argumentacji. Jest on w stanie przedstawić wnioskowanie prawnicze czy to jako sieć neuronową, czy też – bardziej tradycyjnie – jako sformalizowaną grę argumentacyjną. W konsekwencji koherencyjny MRP oferuje obiecującą „trzecią drogę” wobec tradycyjnych dedukcyjnych i niededukcyjnych modeli wnioskowań prawniczych.
The aim of the article is to present a model of legal reasoning based of the concept of coherence, as this concept is understood in recent developments of cognitive science. More precisely, the model, hereafter referred to as CMLR (Coherence Model of Legal Reasoning) is based on the constraint satisfaction theory of coherence, elaborated and defended by Paul Thagard. The claim of the author is that CMLR appears very satisfactory when assessed against criteria typically employed for evaluation of legal-theoretical models of argumentation. It is able to represent legal reasoning either as a neural network or, more traditionally, as a formal dialogue game. In consequence, CMLR offers a plausible “third road” between traditional deductive and non-deductive models of legal thinking.
Źródło:
Archiwum Filozofii Prawa i Filozofii Społecznej; 2010, 1(1); 19-38
2082-3304
Pojawia się w:
Archiwum Filozofii Prawa i Filozofii Społecznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Moral orientation from the psychological perspective − an aspect of moral reasoning
Autorzy:
Babinčák, Peter
Križalkovičová, Dominika
Ráczová, Beáta
Powiązania:
https://bibliotekanauki.pl/articles/2148577.pdf
Data publikacji:
2008
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
moral orientation
moral reasoning
psychological perspective
Opis:
The issue of morality does not represent a dominant topic of the current psychological research, although the interest of predominantly social psychologist in understanding the processes that are behind reasoning of people with respect to moral issues and explaining moral or immoral behaviour can not be denied. The submitted study presents a brief introduction of basic psychological concepts dealing with morality emphasizing the specific notion of moral orientation. The orientation to justice or to care when solving moral dilemmas is known in literature under the term the moral orientation. Gilligan can see the cause of differences in moral orientation in gender differences acquired during the process of socialization. A psychological approach provides many useful explanation of how thinking of people with respect to moral issues is pursued. The actual psychology of morality is mainly based on cognitivistic theories coming out of conceptions of Piaget and Kohlberg. They interconnected approaches isolated and focused on intentions by that time and emphasized importance of a constitutional conditioning of moral judgment. The attention was aimed to judgment processes having an adequate level of cognitive development as an indispensable (even if not sufficient) condition. An important contribution of cognitivists is based also on a rich professional discussion that they invoked. Supporters of cognitivistic scheme “neo-kohlbergians” or its criticisers revise and amend the basic Kohlberg`s model in such aspects as relativizing of a primary role of cognitions as a sole aspect of the moral decision making, emphasize the significance of concept, situations, type of solved dilemma, influence of conventions, point out the differences in solving hypothetical dilemmas and dilemmas of everyday life etc.
Źródło:
Humanum. Międzynarodowe Studia Społeczno-Humanistyczne; 2008, 2(2); 91-98
1898-8431
Pojawia się w:
Humanum. Międzynarodowe Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Moral orientation from the psychological perspective -- an aspect of moral reasoning
Autorzy:
Babinčák, Peter
Križalkovičová, Dominika
Ráczová, Beáta
Powiązania:
https://bibliotekanauki.pl/articles/2141797.pdf
Data publikacji:
2009
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
moral orientation
moral reasoning
psychological perspective
Opis:
The issue of morality does not represent a dominant topic of the current psychological research, although the interest of predominantly social psychologist in understanding the processes that are behind reasoning of people with respect to moral issues and explaining moral or immoral behaviour can not be denied. The submitted study presents a brief introduction of basic psychological concepts dealing with morality emphasizing the specific notion of moral orientation. The orientation to justice or to care when solving moral dilemmas is known in literature under the term the moral orientation. Gilligan can see the cause of differences in moral orientation in gender differences acquired during the process of socialization. A psychological approach provides many useful explanation of how thinking of people with respect to moral issues is pursued. The actual psychology of morality is mainly based on cognitivistic theories coming out of conceptions of Piaget and Kohlberg. They interconnected approaches isolated and focused on intentions by that time and emphasized importance of a constitutional conditioning of moral judgment. The attention was aimed to judgment processes having an adequate level of cognitive development as an indispensable (even if not sufficient) condition. An important contribution of cognitivists is based also on a rich professional discussion that they invoked. Supporters of cognitivistic scheme “neokohlbergians” or its criticisers revise and amend the basic Kohlberg`s model in such aspects as relativizing of a primary role of cognitions as a sole aspect of the moral decision making, emphasize the significance of concept, situations, type of solved dilemma, influence of conventions, point out the differences in solving hypothetical dilemmas and dilemmas of everyday life etc.
Źródło:
Humanum. Międzynarodowe Studia Społeczno-Humanistyczne; 2009, 3(3); 365-374
1898-8431
Pojawia się w:
Humanum. Międzynarodowe Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using artificial immune and case-based reasoning methods in classification of treatment effectiveness
Autorzy:
Badura, D.
Ferdynus, D.
Powiązania:
https://bibliotekanauki.pl/articles/333874.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
wnioskowanie bazujące na przykładach
sztuczne systemy immunologiczne
sieci neuronowe rozmyte
case-based reasoning
artificial immune system
fuzzy neural nets
Opis:
The article concerns the analysis of classification of medical data by use of selected method of artificial intelligence: case-based reasoning. The subject of the research is the assessment of effective treatment, being one of the most important medical problems. The basis work of the assessment system should be one of the classification methods. The aim of the attempted research is to study which of the enumerated method will be able to group data containing incomplete information in the best way. The classified data are descended from the patients with nephroblastoma and patients with backbone pain. The final aim of the research is to work out the functioning method of the learning system, assisting the doctor with making a decision during working out on patient's treatment therapy, and making analyses of the treatment effectiveness. On the basis of the medical tests, the system will classify the data assigning them to the appropriate therapy groups. Moreover, in the system will be used artificial immunology as the method of generalizing or extrapolating of the gathering and considering so far cases.
Źródło:
Journal of Medical Informatics & Technologies; 2007, 11; 221-226
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reasoning and Moderation as Principles of International Humanitarian Law (Part 1)
Autorzy:
Baran, Magdalena M.
Powiązania:
https://bibliotekanauki.pl/articles/426727.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
humanitarian law
moderation
reasoning
war
values
prawo konfliktów zbrojnych
rozsądek
umiar
wartości
wojna
Opis:
Thinking of war means facing ideas and theories much different than those known and good established in everyday life. Even well known concept demands redefinitions. Among ideas understood as intellectual tools of war one can indicate two crucial, accompanying each consideration about war as such. Those are moderation and reasoning. Both should be present in out thinking about war, no matter if we would analyze political, legal, ethical or humanitarian dimensions of war or – in the other hand – no matter if we would consider its meaning for whole community or life/fate of individual human being. The first part of this article focuses on theoretical considerations, while further analyzes will indicate the consequences that thinking in the spirit of moderation and reasoning has in theory and practice of international humanitarian law.
Myślenie o wojnie oznacza stawianie czoła ideom i teoriom znacznie odmiennym od tych, które napotykamy w codziennym życiu. Nawet dobrze znane koncepcje wymagają redefinicji. Pośród idei, które możemy uznać za intelektualne narzędzia wojny, należy wskazać dwie zasadnicze, towarzyszące każdemu rozważaniu o wojnie jako takiej. Są to umiar i rozsądek. Obie powinny być obecne w myśleniu o wojnie, niezależnie od tego, czy analizie poddawany jest jej polityczny, prawny, etyczny czy ludzki wymiar; i z drugiej strony niezależnie od tego, czy rozważamy jej znaczenie dla całej wspólnoty czy dla życia/losu jednostki. Przedłożona tu pierwsza część artykułu skupia się na teoretycznych rozważaniach, podczas gdy dalsze analizy będą wskazywały na konsekwencje, jakie myślenie w duchu umiaru i rozsądku wnosi do prawa dotyczącego konfliktów zbrojnych.
Źródło:
Logos i Ethos; 2017, 45
0867-8308
Pojawia się w:
Logos i Ethos
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O argumentowaniu z analogii w dyskursie prawniczym. Uwagi na tle sporu o stosowanie art. 745 Kodeksu postępowania cywilnego
The Use of Analogical Argument in Legal Discourse. Remarks on the Background of the Dispute on the Application of Article 745 of The Civil Procedure Code
Autorzy:
Barszcz, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/938828.pdf
Data publikacji:
2020
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
argument
analogia
rozumowanie przez analogię
art. 745 k.p.c.
analogy
reasoning by analogy
article 745 of the Polish Civil Code
Opis:
Celem artykułu jest ukazanie specyficznych cech prawniczego argumentowania w oparciu o analogię. Jest on realizowany w odniesieniu do zaistniałego w obrocie prawnym sporu dotyczącego stosowania art. 745 k.p.c. do rozstrzygania o kosztach postępowania zabezpieczającego w sytuacji, gdy: a. powód zainicjował postępowanie zabezpieczające w oparciu o nakaz zapłaty wydany w po- stępowaniu nakazowym; b. zabezpieczenie powództwa zostało wykonane przez komornika sądowego; c. pozwany nie wniósł skutecznie zarzutów od nakazu zapłaty.
The aim of this article is to determine the specific features of argument from the similarity (analogy) in legal discourse. This is undertaken in regard to the dispute over application of article 745 of the Polish Civil Code to deciding on costs of proceedings to secure claims when: a) the plaintiff initiated the proceedings to secure claims on the grounds of order for payment; b) the measures for claim safeguarding were enforced by the judicial enforcement officer; and c) the defendant did not raise objections against the order for payment.
Źródło:
Roczniki Nauk Prawnych; 2020, 30, 1; 7-20
1507-7896
2544-5227
Pojawia się w:
Roczniki Nauk Prawnych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ewolucyjna Teleonomia jako zasada unifikująca Rozszerzonej Syntezy Ewolucyjnej
Evolutionary Teleonomy as a Unifying Principle for the Extended Evolutionary Synthesis
Autorzy:
Bartlett, Jonathan
Powiązania:
https://bibliotekanauki.pl/articles/553395.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Zielonogórski. Instytut Filozofii
Tematy:
Ewolucyjna Teleonomia
Nowoczesna Synteza
Rozszerzona Synteza Ewolucyjna
zasada unifikująca
teoria ewolucji
teleologia
rozumowanie w biologii
Evolutionary Teleonomy
Modern Synthesis
Extended Evolutionary Synthesis
unifying principle
evolutionary theory
teleology
biological reasoning
Opis:
Wielu ludzi nie docenia wpływu wywieranego przez zasady unifikujące na badania biologiczne. Zasady te mają dostarczać upraszczających założeń w przypadku złożonych problemów, dzięki czemu można te problemy skutecznie rozwiązywać przy użyciu dostępnych narzędzi. Błędne założenia upraszczające mogą jednak prowadzić do nieprawidłowego opisu problemów, a więc i do bezpodstawnych wniosków. Zasady unifikujące Nowoczesnej Syntezy biologii ewolucyjnej są obecnie podważane przez Rozszerzoną Syntezę Ewolucyjną. Ta ostatnia, jak dotąd, nie zapewniła jednak własnych zasad unifikujących, przez co wielu naukowców wątpi, czy rzeczywiście stanowi ona oryginalną syntezę biologii ewolucyjnej. W niniejszym artykule za zasadę unifikującą Rozszerzonej Syntezy Ewolucyjnej uznaję koncepcję ewolucyjnej teleonomii (jest to koncepcja Ernsta Mayra zastosowana do samych procesów ewolucyjnych). Dostarczę ponadto konkretnych przykładów pokazujących, że współczesne badania, biorąc za podstawę zasady unifikujące Nowoczesnej Syntezy, prowadzą w ślepą uliczkę. Można temu zaradzić dzięki przyjęciu Rozszerzonej Syntezy Ewolucyjnej wraz z ewolucyjną teleonomią jako zasadą unifikującą.
Many people underestimate the effect that unifying principles have on the study of biology. Unifying principles are used to provide simplifying assumptions to complex problems, which allow them to be effectively tackled by the tools at hand. However, erroneous unifying principles will generate simplifying assumptions that lead towards mischaracterizations of problems which inevitably lead to invalid conclusions. The unifying principles of the current Modern Synthesis of evolution are presently being challenged by the Extended Evolutionary Synthesis. However, the Extended Evolutionary Synthesis has so far failed to provide unifying principles of its own, which has caused many to question whether or not the Extended Evolutionary Synthesis is indeed a unique synthesis of evolutionary biology. Here, the concept of evolutionary teleonomy (Ernst Mayr’s concept of teleonomy applied to evolutionary processes themselves) is identified as a unifying principle of the Extended Evolutionary Synthesis. Additionally, specific examples are provided where modern research has been led astray by the unifying principles of the Modern Synthesis which would have been corrected by applying the Extended Evolutionary Synthesis with the unifying principle of evolutionary teleonomy.
Źródło:
Filozoficzne Aspekty Genezy; 2018, 15; 441-460
2299-0356
Pojawia się w:
Filozoficzne Aspekty Genezy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Qualitative Spatio-Temporal Representation and Reasoning for robotic applications
Jakościowa przestrzenno-czasowa reprezentacja oraz rozumowanie dla aplikacji robotycznych
Autorzy:
Będkowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/276447.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
rozumowanie jakościowe
robot mobilny
robot przemysłowy
modelowanie semantyczne
qualitative reasoning
mobile robot
industrial robot
semantic modeling
Opis:
This paper discusses the methodology of Qualitative Spatio-Temporal Representation and Reasoning (QSTRR) for robotic applications. The goal is to develop reasoning mechanism that will allow modelling the environment and performing spatiotemporal decisions. A new approach is related to environment modelling based on robot’s perception, therefore new concepts (spatial entities) are obtained automatically, and then used in reasoning. This paper presents the results of the three experiments. Each experiment focuses on different robotic applications, such as mobile spatial assistive intelligence for spatial design, spatial design used for robotic arm integration with the environment and supervision of a teleoperated robot. Each of the experiments is considered as the proof of concept of the proposed methodology. Thus, it can be efficiently used for developing sophisticated robotic application where human-robot interaction and integration are considered as an important goal.
W artykule przedstawiono metodykę jakościowej przestrzenno-czasowej reprezentacji oraz rozumowania dla aplikacji robotycznych. Celem jest opracowanie mechanizmu podejmowania decyzji, które umożliwi także modelowanie środowiska oraz rozumowanie w sensie jakościowym. Nowym zagadnieniem badawczym jest budowanie modelu środowiska na bazie obserwacji robota mobilnego, przy czym nowe koncepty (podstawowe elementy przestrzenne) są generowane automatycznie. Przedstawiono trzy eksperymenty, każdy skojarzony z inną aplikacją robotyczną, między innymi mobilna przestrzenna inteligencja asystująca dla projektowania przestrzennego, projektowanie przestrzenne dla integracji robota przemysłowego z istniejącym środowiskiem pracy oraz nadzorowanie pracy robota zdalnie sterowanego. Każdy z tych eksperymentów dowodzi słuszności proponowanej metodyki. W związku z tym metodyka może znaleźć zastosowanie w projektowaniu zaawansowanych aplikacji robotycznych, gdzie interakcja oraz integracja człowiek-robot są zasadniczym zagadnieniem funkcjonalnym oraz użytkowym.
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 2; 300-303
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Variant of Material Connexive Logic
Autorzy:
Belikov, Alexander
Zaitsev, Dmitry
Powiązania:
https://bibliotekanauki.pl/articles/2142753.pdf
Data publikacji:
2021-11-09
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logics
connexive logic
four-valued logic MC
informal reasoning
Opis:
The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 227-242
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödels Ontological Argument
Autorzy:
Benzmüller, Christoph
Fuenmayor, David
Powiązania:
https://bibliotekanauki.pl/articles/750054.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
computational metaphysics
ontological argument
higher-order modal logic
higher-order logic
automated reasoning
modal ultrafilters
Opis:
Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument the two variants contributed by Anderson and Fitting avoid modal collapse. Although they appear quite different on a cursory reading they are in fact closely related. This has been revealed in the computer-supported formal analysis presented in this article. Key to our formal analysis is the utilization of suitably adapted notions of (modal) ultrafilters, and a careful distinction between extensions and intensions of positive properties.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Język, logika a rozumowanie – teoria reguł czy modele umysłowe?
Language, logic and reasoning - rules theory or mental models
Autorzy:
Białek, Michał
Powiązania:
https://bibliotekanauki.pl/articles/2139494.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
reasoning
logic
mental models
rules theory
Opis:
In present research there was shown the issue of connection between reasoning and logical competence. The point of view of rules theory and mental models theory concerning discussed range of problems was presented and subsequently the prediction of rules theory was verified. The results of the survey conducted on 70 people: 37 students of philosophy and 33 students of other courses at University of Lodz let us reject rules theory as a predictive to the proceedings of reasoning process and induce to accept an alternative theory explaining the proceedings of the discussed process. The adduced research proved that the level of logical competence does not differentiate the surveyed with respect to the level of reasoning’s correctness and it does not influence the constancy of selection of the reasoning’s patterns.
Źródło:
Acta Universitatis Lodziensis. Folia Psychologica; 2008, 12; 45-54
2353-4842
Pojawia się w:
Acta Universitatis Lodziensis. Folia Psychologica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Concept of using the BIM technology to support the defect management process
Koncepcja wykorzystania technologii BIM do wspomagania procesu zarządzania usterkami
Autorzy:
Biel, Sebastian
Powiązania:
https://bibliotekanauki.pl/articles/1852564.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
modelowanie informacji o budynku
rzeczywistość rozszerzona
wnioskowanie z przypadków
usterka budowlana
zarządzanie
deweloper
building information modelling
augmented reality
case-based reasoning
construction defect
management
developer
Opis:
Hundreds or even thousands of defects can be found during the building acceptance, hence the need for solutions which will facilitate the defect management, including identification, costing and repair. The aim of the paper is to present the possible use of BIM to support the defect management process during the acceptance of apartments in multifamily residential buildings. The paper presents a concept of quality control support application called MWBIM (Map of Knowledge BIM) which will collect data about discovered construction defects, their recording and servicing with the BIM technology. MWBIM will run based on Building Information Modelling (BIM), Augmented Reality (AR), Case-Based Reasoning (CBR) and maps of knowledge. There are three phases in the operation of the application: preparatory phase (planning the order of acceptance meetings and elements to be checked), acceptance phase (data collection and assigning them to the building information model) and the reporting phase (reports generation, assigning defects to contractors, follow-up of repair status). The intended uses of the application are mainly personnel involved in the acceptance of apartments.
Jednym z etapów cyklu życia budynku jest jego budowa, której zwieńczeniem jest odbiór. Podczas odbioru budynków może być wykryte setki, a nawet tysiące usterek budowlanych, dlatego powstała potrzeba opracowania rozwiązań, które ułatwią zarządzanie nimi, w tym identyfikację, wycenę i naprawę. Celem artykułu jest prezentacja możliwości wykorzystania technologii BIM do wspomagania procesu zarządzania usterkami na etapie odbioru lokali mieszkalnych w wielorodzinnych budynkach mieszkalnych. Celem badań naukowych autora jest opracowanie aplikacji wspomagającej kontrolę jakości wykonanych robót budowlanych, która ma służyć zbieraniu danych o wykrytych usterkach budowlanych, ich rejestracji i obsłudze za pomocą technologii BIM. MWBIM będzie działać w oparciu o modelowanie informacji o budynku (BIM - Building Information Modeling), rozszerzoną rzeczywistość (AR - Augmented Reality), wnioskowanie z przypadków (CBR - Case-Based Reasoning) oraz mapy wiedzy. Nieodłącznym elementem aplikacji MWBIM jest baza danych, w której są zbierane wszystkie dane ze spotkań odbiorowych lokali mieszkalnych, zarówno bieżących jak i odbytych wcześniej. W bazie będą zapisane informacje dotyczące odebranych mieszkań (lokalizacja, piętro, kształt, powierzchnia mieszkania i pokoi, liczba pokoi, funkcjonalność pokoi, liczba okien i drzwi, obecność ogródka/loggi/tarasu/balkonu, itp.) oraz usterek budowlanych, które zostały w nich wykryte (lokalizacja, typ, istotność, koszt i czas naprawy). MWBIM będzie składać się z kilku modułów powiązanych z trzema fazami inspekcji: fazy przygotowania, odbioru i raportowania.
Źródło:
Archives of Civil Engineering; 2021, 67, 2; 209-229
1230-2945
Pojawia się w:
Archives of Civil Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 225

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies