loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Susumu Yamasaki and Mariko Sasakura

Affiliation: Okayama University, Japan

Keyword(s): Multi-modal Logic Semantics, Action Logic, Knowledge Construction.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Communication and Software Technologies and Architectures ; e-Business ; Enterprise Information Systems ; Human-Machine Cooperation ; Knowledge Acquisition ; Knowledge Engineering ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Symbolic Systems

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.144.55.253

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Yamasaki, S. and Sasakura, M. (2015). Multi-modal Mu-calculus Semantics for Knowledge Construction. In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD, (IC3K 2015) ISBN 978-989-758-158-8; ISSN 2184-3228, pages 358-363. DOI: 10.5220/0005628703580363

@conference{keod15,
author={Susumu Yamasaki. and Mariko Sasakura.},
title={Multi-modal Mu-calculus Semantics for Knowledge Construction},
booktitle={Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD, (IC3K 2015)},
year={2015},
pages={358-363},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005628703580363},
isbn={978-989-758-158-8},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD, (IC3K 2015)
TI - Multi-modal Mu-calculus Semantics for Knowledge Construction
SN - 978-989-758-158-8
IS - 2184-3228
AU - Yamasaki, S.
AU - Sasakura, M.
PY - 2015
SP - 358
EP - 363
DO - 10.5220/0005628703580363

0123movie.net