Informacja

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

Wyszukujesz frazę "formal inference" wg kryterium: Temat


Wyświetlanie 1-5 z 5
Tytuł:
Wnioskowanie materialne z perspektywy inferencjalizmu znaczeniowego Roberta B. Brandoma
Material Inference from the Perspective of Robert B. Brandom’s Meaning Inferentialism
Autorzy:
Kublikowski, Robert
Powiązania:
https://bibliotekanauki.pl/articles/1046404.pdf
Data publikacji:
2020-10-09
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
wnioskowanie materialne
wnioskowanie formalne
wynikanie, prawda
material inference
formal inference
consequence
truth
Opis:
W języku naturalnym występują wnioskowania trudne do wyrażenia przy użyciu aparatury formalnej (logicznej). Celem artykułu jest odpowiedź na pytanie, czym są takie wnioskowania, a dokładniej: czym są rozumowania – zwane niekiedy „wnioskowaniami materialnymi” – których poprawność zależy nie tylko od ich logicznej formy, ale przede wszystkim od treści (znaczenia) użytych stałych pozalogicznych. Wnioskowania formalne natomiast są poprawne (niezawodne) na podstawie tylko formy logicznej. W artykule są przedstawione i przeanalizowane kontrowersje związane z różnymi przykładami takich wnioskowań, między innymi podanymi przez Roberta B. Brandoma w inferencjalizmie znaczeniowym, który nawiązuje do poglądów Wilfrida Sellarsa. Brandom kwestionuje dotychczasową teorię wnioskowań, w której forma logiczna jest uznawana za podstawę ich poprawności. Akcentuje on, że wymogiem przeprowadzenia wnioskowania materialnego jest rozumienie treści wyrażeń informujących nie tylko o związkach formalnych, ale przede wszystkim o związkach pozaformalnych (treściowych). Wnioskowania formalne i materialne są normowane przez formalne i materialne warunki poprawności. Formalny warunek poprawności wnioskowania formalnego zależy od relacji wynikania logicznego zachodzącego między przesłankami i wnioskiem. Z kolei we wnioskowaniu materialnym warunek formalny jest spełniony, gdy między przesłankami a wnioskiem zachodzi relacja wynikania, której nie można przedstawić przy użyciu samego tylko słownika logicznego. Oba typy wnioskowań są również normowane przez materialny warunek poprawności (wymóg prawdziwości przesłanek i stąd wniosku).
In a natural language there are inferences which are difficult to express by means of a formal language. The goal of this article is to answer the question: what are such inferences, sometimes called “material inferences”? Material inferences are correct not only by means of their logical form but mainly on the basis of the content (meaning) of nonlogical vocabulary which is used in such inferences. Formal inferences are correct only on the basis of their logical form. Various, sometimes controversial examples of such inferences are presented and analysed in the article. Some of them were given by Robert B. Brandom in his meaning inferentialism inspired by the ideas of Wilfrid Sellars. Brandom challenges the existing theory of inference in which a logical form is acknowledged as a basis of correctness of inference. He emphasises that the essential condition of a material inference is an understanding of a content of expressions which inform not only about formal relations but mainly about informal (material) relations. Formal and material inferences are governed by formal and material conditions of correctness. A formal condition of correctness of a formal inference relies on a logical consequence which relates premises and a conclusion. In the case of a material inference such a condition is fulfilled if premises and a conclusion are connected by a consequence which cannot be expressed only by logical vocabulary. A material condition is obligatory for both types of inferences and it requires premises and a conclusion to be true.
Źródło:
Zeszyty Naukowe KUL; 2018, 61, 3; 153-168
0044-4405
2543-9715
Pojawia się w:
Zeszyty Naukowe KUL
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Typology emerges from simplicity in representations and learning
Autorzy:
Lambert, Dakotah
Rawski, Jonathan
Heinz, Jeffrey
Powiązania:
https://bibliotekanauki.pl/articles/2061410.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
model theory
subregularity
grammatical inference
formal language theory
phonology
learning
complexity
Opis:
We derive well-understood and well-studied subregular classes of formal languages purely from the computational perspective of algorithmic learning problems. We parameterise the learning problem along dimensions of representation and inference strategy. Of special interest are those classes of languages whose learning algorithms are necessarily not prohibitively expensive in space and time, since learners are often exposed to adverse conditions and sparse data. Learned natural language patterns are expected to be most like the patterns in these classes, an expectation supported by previous typological and linguistic research in phonology. A second result is that the learning algorithms presented here are completely agnostic to choice of linguistic representation. In the case of the subregular classes, the results fall out from traditional model-theoretic treatments of words and strings. The same learning algorithms, however, can be applied to model-theoretic treatments of other linguistic representations such as syntactic trees or autosegmental graphs, which opens a useful direction for future research.
Źródło:
Journal of Language Modelling; 2021, 9, 1; 151--194
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
Autorzy:
Chatzikyriakidis, S.
Lafourcade, M.
Ramadier, L.
Zarrouk, M.
Powiązania:
https://bibliotekanauki.pl/articles/103833.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference
Opis:
In this paper, we show how a rich lexico-semantic network which Has been built using serious games, JeuxDeMots, can help us in grounding our semantic ontologies in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the issue of base types, adjectival and verbal types, hyperonymy/hyponymy relations as well as more advanced issues like homophony and polysemy. We show how one can take advantage of this wealth of lexical semantics in a formal compositional semantics framework. We argue that this is a way to sidestep the problem of deciding what the type ontology should look like once a move to a many sorted type system has been made. Furthermore, we show how this kind of information can be extracted from a lexico-semantic Network like JeuxDeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks.
Źródło:
Journal of Language Modelling; 2017, 5, 2; 229-272
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:
Kozanecka-Dymek, Anna Maria
Powiązania:
https://bibliotekanauki.pl/articles/1395752.pdf
Data publikacji:
2021-07-12
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference
Opis:
Przykłady zaprezentowane w artykule pozwalają wyrazić przekonanie, że znajomość logiki formalnej może być przydatna w pracy myślowej prawnika kanonisty, zwłaszcza wtedy, gdy nie ma on pewności, czy wyprowadzony przez niego wniosek wynika logicznie z przesłanek. Przeanalizowano formalną poprawność kilku wnioskowań przeprowadzonych w oparciu o kanony, przy użyciu aparatury klasycznego rachunku zdań i sylogistyki, a także wybranych logik nieklasycznych, takich jak np. logika tensalna, logika chronologiczna i logika miejsca  
In the article, concrete examples acknowledge that formal logic can be useful in the work of a lawyer-canonist. Formal correctness is also analysed with several inferences conducted on a basis of canons, using an apparatus of classical propositional calculus and syllogistic, and also selected non-classical logics such as, for example, tense logic, chronological logic, and place logic  
Źródło:
Studia Prawnicze KUL; 2021, 2; 121-132
1897-7146
2719-4264
Pojawia się w:
Studia Prawnicze KUL
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
Autorzy:
Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Powiązania:
https://bibliotekanauki.pl/articles/2141819.pdf
Data publikacji:
2021
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agent
Opis:
The approach to applications integration for World Data Center (WDC) interdisciplinary scientific investigations is developed in the article. The integration is based on mathematical logic and artificial intelligence. Key elements of the approach – a multilevel system architecture, formal logical system, implementation – are based on intelligent agents interaction. The formal logical system is proposed. The inference method and mechanism of solution tree recovery are elaborated. The implementation of application integration for interdisciplinary scientific research is based on a stack of modern protocols, enabling communication of business processes over the transport layer of the OSI model. Application integration is also based on coordinated models of business processes, for which an integrated set of business applications are designed and realized.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2021, 15, 4; 76-90
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    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