B 2004

Conceptual Systems.

MATERNA, Pavel

Základní údaje

Originální název

Conceptual Systems.

Název česky

Konceptuální systémy

Autoři

MATERNA, Pavel

Vydání

1. vyd. Berlin, 189 s. Logics, 1, 2004

Nakladatel

LOGOS Verlag Berlin 2004

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/04:00010919

Organizační jednotka

Fakulta informatiky

ISBN

3-8325-0636-5

Klíčová slova anglicky

Concepts; logical analysis of natural language

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 8. 2. 2010 14:50, prof. PhDr. Pavel Materna, CSc.

Anotace

ORIG CZ

V originále

Concepts, logical analysis of natural language, intensional logic A way of obtaining logical structure(s)(concepts) underlying the given expression is described; concepts are explicated as logical constructions. Any set of simple concepts unambiguously determines a conceptual system, which can underlie a (fragment of a) language. The theory is based on transparent intensional logic, inspired by typed lambda calculus.

Česky

Koncepty, logická analýza přirozeného jazyka, transparentní intenzionální logika. Je popsán způsob, hajkým dospějeme k logickým strukturám (pojmům, konceptům), které jsou podkladem daného výrazu. Pojmy jsou chápány jako logické konstrukce. Každá množina jednoduchých pojmů určuje jednoznačně pojmový systém, který může být podkladem (fragmentu) určitého jazyka. Teorie je založena na transparentní intenzionální logice, inspirované typovaným lambda kalkulem.

Návaznosti

MSM 143300003, záměr
Název: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Interakce člověka s počítačem, dialogové systémy a asistivní technologie