About: Communication in a multi-agent system based on Transparent Intensional Logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Communication in a multi-agent system based on Transparent Intensional Logic Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We introduce Transparent Intensional Logic (TIL) as a framework apt for the specification of ontologies, knowledge representation and communication by messaging in a multi-agent system. Since the intelligent agents should be able to learn by experience and deduce derived knowledge from their explicit knowledge in order to react adequately even in unexpected situations, we need a highly expressive logical framework to meet these goals. We show that TIL is such an expressive logic that makes it possible to make all the semantically salient features of a language explicit and logically tractable. Due to the ramified hierarchy of types we distinguish in TIL between a mode of the presentation of a function and the function itself, and between a function and its value. Thus the agents can reason about concepts themselves, learn new compound concepts via refinement of less complex concepts and exhibit an adequate dynamic behaviour. We introduce Transparent Intensional Logic (TIL) as a framework apt for the specification of ontologies, knowledge representation and communication by messaging in a multi-agent system. Since the intelligent agents should be able to learn by experience and deduce derived knowledge from their explicit knowledge in order to react adequately even in unexpected situations, we need a highly expressive logical framework to meet these goals. We show that TIL is such an expressive logic that makes it possible to make all the semantically salient features of a language explicit and logically tractable. Due to the ramified hierarchy of types we distinguish in TIL between a mode of the presentation of a function and the function itself, and between a function and its value. Thus the agents can reason about concepts themselves, learn new compound concepts via refinement of less complex concepts and exhibit an adequate dynamic behaviour. (en)
Title	Communication in a multi-agent system based on Transparent Intensional Logic Communication in a multi-agent system based on Transparent Intensional Logic (en)
skos:prefLabel	Communication in a multi-agent system based on Transparent Intensional Logic Communication in a multi-agent system based on Transparent Intensional Logic (en)
skos:notation	RIV/61989100:27240/11:86079565!RIV13-GA0-27240___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GAP401/10/0792), S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Menšík, Marek Duží, Marie Číhalová, Martina
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	190954
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/11:86079565
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	messaging.; communication; ontology; multi-agent system; Transparent Intensional Logic (en)
http://linked.open.../riv/klicoveSlovo	Transparent Intensional Logic communication messaging. multi-agent system ontology
http://linked.open...ontrolniKodProRIV	[F9A3EE052ADA]
http://linked.open...v/mistoKonaniAkce	Brno
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...i/riv/nazevZdroje	Mendel 2011 : 17th International Conference on Soft Computing : evolutionary computation, genetic programming, fuzzy logic, rough sets, neural networks fractals, Bayesian methods : June 15-17, Brno, Czech Republic
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Temporal aspects of knowledge and information
http://linked.open...UplatneniVysledku	2011
http://linked.open...iv/tvurceVysledku	Duží, Marie Menšík, Marek Číhalová, Martina
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000302647900073
http://linked.open.../riv/zahajeniAkce	2011-06-15 (xsd:date)
issn	1803-3814
number of pages	9 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav automatizace a informatiky
https://schema.org/isbn	978-80-214-4302-0
http://localhost/t...ganizacniJednotka	27240

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software