Multi-modal mu-calculus semantics for knowledge construction

Susumu Yamasaki, Mariko Sasakura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This position paper aims at setting a new semantics for multi-modal mu-calculus to represent interactive states where abstract actions may be applied to. A least fixed point formula may be available to denote states allowing interaction. A simple algebraic representation for interactive states can be definable. For communication between human and machinery, a modality is reserved. In applicative task domains, knowledge construction is focused on with respect to interactive action applications through communications. Panel touch behaviour on iDevice as practice, URL references as functions and grammatical rule applications for sequential effects are studied, as knowledge construction technologies. These views coherent with abstract state machine are finally related to recent trends as semiring in algebraic structure and coalgebra for streams as sequential knowledge structures. A refinement of interactive techniques is positioned into a formal approach to multi-modal logic, applicable to some practices.

Original languageEnglish
Title of host publicationKEOD
PublisherSciTePress
Pages358-363
Number of pages6
Volume2
ISBN (Print)9789897581588
Publication statusPublished - 2015
Event7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2015 - Lisbon, Portugal
Duration: Nov 12 2015Nov 14 2015

Other

Other7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2015
CountryPortugal
CityLisbon
Period11/12/1511/14/15

Fingerprint

Semantics
Communication
Machinery
Websites

Keywords

  • Action Logic
  • Knowledge Construction
  • Multi-modal Logic Semantics

ASJC Scopus subject areas

  • Software

Cite this

Yamasaki, S., & Sasakura, M. (2015). Multi-modal mu-calculus semantics for knowledge construction. In KEOD (Vol. 2, pp. 358-363). SciTePress.

Multi-modal mu-calculus semantics for knowledge construction. / Yamasaki, Susumu; Sasakura, Mariko.

KEOD. Vol. 2 SciTePress, 2015. p. 358-363.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yamasaki, S & Sasakura, M 2015, Multi-modal mu-calculus semantics for knowledge construction. in KEOD. vol. 2, SciTePress, pp. 358-363, 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2015, Lisbon, Portugal, 11/12/15.
Yamasaki S, Sasakura M. Multi-modal mu-calculus semantics for knowledge construction. In KEOD. Vol. 2. SciTePress. 2015. p. 358-363
Yamasaki, Susumu ; Sasakura, Mariko. / Multi-modal mu-calculus semantics for knowledge construction. KEOD. Vol. 2 SciTePress, 2015. pp. 358-363
@inproceedings{9b50da7b40c048d08d10fb0ced23f3ad,
title = "Multi-modal mu-calculus semantics for knowledge construction",
abstract = "This position paper aims at setting a new semantics for multi-modal mu-calculus to represent interactive states where abstract actions may be applied to. A least fixed point formula may be available to denote states allowing interaction. A simple algebraic representation for interactive states can be definable. For communication between human and machinery, a modality is reserved. In applicative task domains, knowledge construction is focused on with respect to interactive action applications through communications. Panel touch behaviour on iDevice as practice, URL references as functions and grammatical rule applications for sequential effects are studied, as knowledge construction technologies. These views coherent with abstract state machine are finally related to recent trends as semiring in algebraic structure and coalgebra for streams as sequential knowledge structures. A refinement of interactive techniques is positioned into a formal approach to multi-modal logic, applicable to some practices.",
keywords = "Action Logic, Knowledge Construction, Multi-modal Logic Semantics",
author = "Susumu Yamasaki and Mariko Sasakura",
year = "2015",
language = "English",
isbn = "9789897581588",
volume = "2",
pages = "358--363",
booktitle = "KEOD",
publisher = "SciTePress",

}

TY - GEN

T1 - Multi-modal mu-calculus semantics for knowledge construction

AU - Yamasaki, Susumu

AU - Sasakura, Mariko

PY - 2015

Y1 - 2015

N2 - This position paper aims at setting a new semantics for multi-modal mu-calculus to represent interactive states where abstract actions may be applied to. A least fixed point formula may be available to denote states allowing interaction. A simple algebraic representation for interactive states can be definable. For communication between human and machinery, a modality is reserved. In applicative task domains, knowledge construction is focused on with respect to interactive action applications through communications. Panel touch behaviour on iDevice as practice, URL references as functions and grammatical rule applications for sequential effects are studied, as knowledge construction technologies. These views coherent with abstract state machine are finally related to recent trends as semiring in algebraic structure and coalgebra for streams as sequential knowledge structures. A refinement of interactive techniques is positioned into a formal approach to multi-modal logic, applicable to some practices.

AB - This position paper aims at setting a new semantics for multi-modal mu-calculus to represent interactive states where abstract actions may be applied to. A least fixed point formula may be available to denote states allowing interaction. A simple algebraic representation for interactive states can be definable. For communication between human and machinery, a modality is reserved. In applicative task domains, knowledge construction is focused on with respect to interactive action applications through communications. Panel touch behaviour on iDevice as practice, URL references as functions and grammatical rule applications for sequential effects are studied, as knowledge construction technologies. These views coherent with abstract state machine are finally related to recent trends as semiring in algebraic structure and coalgebra for streams as sequential knowledge structures. A refinement of interactive techniques is positioned into a formal approach to multi-modal logic, applicable to some practices.

KW - Action Logic

KW - Knowledge Construction

KW - Multi-modal Logic Semantics

UR - http://www.scopus.com/inward/record.url?scp=84961122866&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84961122866&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84961122866

SN - 9789897581588

VL - 2

SP - 358

EP - 363

BT - KEOD

PB - SciTePress

ER -