Logical foundations of semantics and knowledge representation
Project goals
In this project we will study logical calculi suitable for new aspects of information and knowledge together with their logical structure. It means that mainly formal logical calculi exceeding the paradigm of so-called classical logics will be concerned.The need of higher expressive power of tools for understanding and representation is obvious in spite of the fact that the capability of pure formal logic to deal with all problems adequately is being discussed. Thus, we will emphasize the systems oftencalled as non-classical (including many-valued logics, modal logics, epistemic, deontic, and other related systems). But it is not the complete list of aspects having been discussed in philosophical logic which have to be satisfactorily described. That is the reason why we will also compare different approaches in logic as well as in philosophy learned so far. Critical investigations of logical foundations of reasoning in both natural and artificial contexts and in building intelligent systems
Keywords
Public support
Provider
Czech Science Foundation
Programme
Doctor grants
Call for proposals
Doktorské granty 1 (SGA02003GA-DG)
Main participants
—
Contest type
VS - Public tender
Contract ID
401/03/H047
Alternative language
Project name in Czech
Logické základy sémantiky a reprezentace znalostí
Annotation in Czech
V projektu půjde o studium logických kalkulů pro nové pohledy na informace a znalosti a jejich logickou strukturu. To znamená, že půjde především o formálně-logické kalkuly překračující paradigma tzv klasických logik. Potřeba vyšší vyjadřovací síly pro porozumění a reprezentaci je zřejmá, i když je stále diskutabilní nakolik formální logika sama disponuje adekvátními prostředky. Zde tedy bude důraz kladen na systémy často označované jako neklasické (včetně logik vícehodnotových, modálních, epistemických, deontických a dalších), což ale nevystihuje plně celé spektrum aspektů, které se moderní filozofická logika snaží postihnout. Budou proto též porovnávány jednotlivé dosud v logice a filosofii zkoumané, někdy velmi rozmanité, přístupy k analýze a reprezentaci znalostí, a jejich filozofické zázemí a kořeny. Dále budou kriticky zkoumány logické základy usuzování v přirozeném kontextu i v umělém kontextu (umělé inteligenci) a při tvorbě inteligentních systémů včetně porozumění běžnému
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
BA - General mathematics
CEP - another secondary branch
—
10101 - Pure mathematics
60301 - Philosophy, History and Philosophy of science and technology
60302 - Ethics (except ethics related to specific subfields)
60303 - Theology
60304 - Religious studies
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The framework of the project has made it possible to form a compact and productive team of doctoral students, whose dissertations concern various aspects of semantics, understood as an interdisciplinary field in the intersection of philosophy, logic, lin
Solution timeline
Realization period - beginning
Jan 1, 2003
Realization period - end
Dec 31, 2007
Project status
U - Finished project
Latest support payment
May 2, 2007
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP08-GA0-GD-U/01:1
Data delivery date
Jul 24, 2008
Finance
Total approved costs
8,523 thou. CZK
Public financial support
8,523 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
8 523 CZK thou.
Public support
8 523 CZK thou.
100%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 01. 2003 - 31. 12. 2007