Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 5

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  knowledge representation
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Finite Systems Handling Language (YAFOLL message 1)

100%
Shkotin A.
Studia Humana
|
2015
|
vol. 4
|
issue 4
3-12
EN
The concept a finite multi-carrier algebraic system (FMAS) as well as a language for handling systems such as YAFOLL (Yet Another First Order Logic Language) are introduced. The applicability of such systems to building a mathematical model of a part of reality, i.e. a mathematical structure that can be asked questions about the properties of subject domain objects and processes, is demonstrated.
2
Content available remote

From Signals to Knowledge and from Knowledge to Action: Peircean Semiotics and the Grounding of Cognition

100%
Camargo E., Gudwin R.
Filozofia i nauka. Studia filozoficzne i interdyscyplinarne
|
2022
|
vol. 10, zeszyt specjalny
101-136
EN
Cognition is meant as the process of acquiring knowledge from the world. This process is supposed to happen within agents, which build such knowledge with the purpose to use it to determine their actions on the world. Following Peircean ideas, we postulate that such knowledge is encoded by means of signs. According to Peirce, signs are anything that can be used to represent anything else. Also, for Peirce, to represent means to be able to generate another sign, called the interpretant of the original sign, which still holds the same power of interpretability, I.e, its power to be transformed into a new sign, holding this same power. This happens through a processcalled semiosis, the process by which a sign is transformed into an interpretant. This whole process is performed with the aim of subsidizing the agent in deciding its behavior. So, even though the semiosis process has the power to continue infinitely, it usually stops whenever the generated interpretant brings enough information in order for the agent to effectively act in the world. We take signals to be the substract of signs. Signals are any physical property, which can be measured and captured by the agent, by means of its sensors. This includes any kind of internal memory the agent is able to have access, in order to operate. In this sense, signs can be both in the world (if these signals come from sensors) and within the own agent’s mind (if signals come from an internal memory). We understandan agent’s mind as the agents’ control system. In either case, signals can be abstracted as numbers. Not simply numbers, but numbers coming from specific sensors or specific memories. Using ideas from Peircean philosophy, in this work we postulate a pathway, in which signals, collected by either sensors or memory, can be organized in such a way that they can be effectively used as knowledge, in order for an agent to be able to decide its actions on the world, on the pursuit of its internal motivations. We postulate that agents identify and create a model of the world based on possibilities, existents, and laws, and based on this model, they are able to decide an action that maximizes the chance for the world to gain a shape, which the agents intend for it to be. This theory is postulated particularly for the case of artificial autonomous agents, meant to be constructed by engineering artifacts.
3
Publication available in full text mode
Content available

Dobór języka reprezentacji wiedzy w ontologiach dziedzinowych

100%
Ziemba P., Jankowski J., Wolski W.
Informatyka Ekonomiczna
|
2015
|
issue 1(35)
84-100
EN
The article discusses the problem of knowledge representation language selection for domain ontologies. In the article the use of ontology as a tool of knowledge representation was presented and the analysis of logical formalisms such as frames, logic programs, description logic, first-order logic and common logic was carried out. Then a number of classic and markup based knowledge representation languages were analysed: Ontolingua, LOOM, OCML, FLogic, SHOE, RDF(S), OWL, OWL2. Based on the analysis of literature relationships and dependencies between versions and profiles of the OWL language were systematised. The article ends with the conclusion, according to which OWL 2 DL language is the most expressive language of retaining decidability, and therefore it is characterized by the highest applicability in the construction of domain ontologies allowing inference.
4

Metody sztucznej inteligencji w digitalizacji filozofii

63%
Garbacz P.
Roczniki Kulturoznawcze
|
2016
|
vol. 7
|
issue 1
57-81
PL
Artykuł jest poświęcony możliwości digitalizacji filozofii przy użyciu formalnologicznych narzędzi wypracowanych w badaniach nad sztuczną inteligencją. Do takich narzędzi zaliczam przede wszystkim artefakty pojęciowe stworzone w inżynierii ontologii oraz metody ich zastosowań. W szczególności omawiam ontologie fundacjonalne, podklasę tzw. ontologii stosowanych, którą uważam za podstawową formę zdigitalizowanej filozofii.
EN
The paper discusses the perspectives of digital philosophy in the context of the formal tools available in Artificial Intelligence. These include, first and foremost, engineering ontologies and the methods of their application. In particular I discuss foundational ontologies, a type of engineering ontologies, which I consider as the basic form of digital philosophy.
5

Formalna analiza konceptualna – reprezentacja wiedzy – przekład

51%
Boroch R.
Roczniki Humanistyczne
|
2013
|
vol. 61
|
issue 6: Językoznawstwo
121-154
EN
The article presents the possibilities of using Formal Concept Analysis, FCA, in intralingual and machine translations. Let me draw your attention to the necessity of joining formal and conceptual systems into one system based on relations of the particular semantic deposits SD in the specific knowledge representation KR with defining linguistic units. I called this defining a hybrid defining. The hybrid defining of linguistic units enables to examine their cognitive (hybrid) meaning, which is implemented in a form of a coherent semantic map of meanings. An exemplifying material, by means of which a process of meaning creation is shown, is a light unit.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.