Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Record type:	stať ve sborníku (D)
Home Department:	Katedra informatiky a počítačů (31400)
Title:	Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic
Citace	Žáček, M., Lukasová, A. a Miarka, R. Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic. In: The 2013 International Conference on Advanced ICT (Information and Communication Technology) for Education: Proceedings of the 2013 International Conference on Advanced ICT and Education 2013-09-20 Sanya, China. France: Atlantis Press: AISR, 2013. Atlantis Press: AISR, 2013. s. 546-549. ISBN 978-90786-77-79-6.

Subtitle
Publication year:	2013
Obor:	Informatika
Number of pages:	4
Page from:	546
Page to:	549
Form of publication:	Elektronická verze
ISBN code:	978-90786-77-79-6
ISSN code:	1951-6851
Proceedings title:	Proceedings of the 2013 International Conference on Advanced ICT and Education
Proceedings:	Mezinárodní
Publisher name:	Atlantis Press: AISR
Place of publishing:	France
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	The 2013 International Conference on Advanced ICT (Information and Communication Technology) for Education
Místo konání konference:	Sanya, China
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:	000327670900110
EID:

Key words in English:	Knowledge representation, modeling, knowledge base, formal system, Clausal Form Logic, graph.
Annotation in original language:	This paper follows the work of T. Rich-ards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) net-works. The goal of our research is to fol-low the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graph-based language with the expressivity similar to that one of CFL. As an example solution, a logical puzzle is presented.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17310/13:A140190Q

Complementary Content

${loading}