About: Modal and Temporal Logics

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

About: Modal and Temporal Logics 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	The chapter introduces modal logics as a tool for formalization of reasoning in a group of agents who have different sets of knowledge about the word they live in – due to that these agents do not have to come to the same conclusions when starting from the same assumptions. Examples and Kripke´s semantics are used to show basic properties of formulas that contain not only classic logic connectives but also modalities characterizing knowledge of a member of the group or the knowledge common to the group of agents. The same approach is used to present temporal logic dedicated to reasoning about claims that change their validity in time. (en) Kapitola vysvětluje základy modální logiky jako nástroje pro formalizaci uvažování ve skupině více subjektů, jejichž soubory informací o světě se mohou navzájem lišit – nutné důsledky některých výroků pro ně pak mohou být rozdílné. Na příkladech a prostřednictvím Kripkeho sémantiky jsou vysvětleny vlastnosti některých formulí, ve kterých se vedle klasických logických spojek vyskytují i modality pro znalost jedince nebo pro společnou znalost. Podobným způsobem jsou představeny i temporální logiky, které se věnují tvrzením, jejichž pravdivost se rovněž mění – v tomto případě závisí na čase. Kapitola vysvětluje základy modální logiky jako nástroje pro formalizaci uvažování ve skupině více subjektů, jejichž soubory informací o světě se mohou navzájem lišit – nutné důsledky některých výroků pro ně pak mohou být rozdílné. Na příkladech a prostřednictvím Kripkeho sémantiky jsou vysvětleny vlastnosti některých formulí, ve kterých se vedle klasických logických spojek vyskytují i modality pro znalost jedince nebo pro společnou znalost. Podobným způsobem jsou představeny i temporální logiky, které se věnují tvrzením, jejichž pravdivost se rovněž mění – v tomto případě závisí na čase. (cs)
Title	Modal and Temporal Logics (en) Modální a temporální logiky Modální a temporální logiky (cs)
skos:prefLabel	Modal and Temporal Logics (en) Modální a temporální logiky Modální a temporální logiky (cs)
skos:notation	RIV/68407700:21230/13:00217452!RIV15-MSM-21230___
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM6840770038)
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Štěpánková, Olga
http://linked.open.../riv/druhVysledku	C - Kapitola v knize
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	České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku	88709
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/13:00217452
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	Reasoning; Modality; Necessity; Agent; Common Knowledge (en)
http://linked.open.../riv/klicoveSlovo	Reasoning Modality Common Knowledge Agent Necessity
http://linked.open...ontrolniKodProRIV	[C4BA1079FBF2]
http://linked.open...i/riv/mistoVydani	Praha
http://linked.open...i/riv/nazevZdroje	Umělá Inteligence (6)
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...v/pocetStranKnihy	492 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Štěpánek, P. Štěpánková, Olga
http://linked.open...n/vavai/riv/zamer	Decision Making and Control for Manufacturing III
number of pages	29 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Academia
https://schema.org/isbn	978-80-200-2276-9
http://localhost/t...ganizacniJednotka	21230

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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software