Elements for a Formal Model of Intentional Systems

被引：0

作者：

da Rocha Costa, Antonio Carlos ^{[1
,2
]}

机构：

[1] Univ Fed Rio Grande do Sul, Programa Posgrad Informat Educ PGIE, Porto Alegre, RS, Brazil

[2] Fundacao Univ Fed Rio Grande, Programa Posgrad Comp PPGComp, Rio Grande, RS, Brazil

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2016年 / 324卷

关键词：

Phenomenology; intentionality; intentional processes; intentional systems; formal semantics;

D O I：

10.1016/j.entcs.2016.09.006

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper introduces elementary concepts needed to define a formal, computationally oriented, model for intentional systems. First, the paper briefly reviews the central concept of intentionality, to contextualize the work. Then, it characterizes the main types of intentional acts, defines the concepts of intentional process and intentional system, and gives the basis of the formal model of such systems. Next in a brief case study, a formal model for a sample constative intentional system is presented and discussed. Following, the features that are still lacking to achieve a full-fledged formal model of intentional systems are indicated. Finally, the relationship between the formal model of intentional systems introduced here and the usual semantical models for formal languages is discussed.

引用

页码：51 / 66

页数：16

共 30 条

[1] Elements of Formal Semantics
Keenan, Edward L.
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (02) : 175 - 192
[2] An Integrated Formal Model for Context-Aware Systems
Cho, Eun-Sun
Yoon, Tae-Seob
Choi, Joong-Hyun
Paik, Joon-Young
Helal, Sumi
2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 163 - 168
[3] Phenomenological Function of Formal Elements of the Cinema (With Emphasis on Husserl's Phenomenology)
Habibi, Mohammad Reza Faqih
Mehdi, Ali Sheikh
Bakhtiarian, Maryam
BAGH-E NAZAR, 2023, 20 (126): : 53 - 66
[4] The intentionality of formal systems
Van Moer A.
Foundations of Science, 2006, 11 (1-2) : 81 - 119
[5] Intentional systems: Review of neurodynamics, modeling, and robotics implementation
Kozma, Robert
PHYSICS OF LIFE REVIEWS, 2008, 5 (01) : 1 - 21
[6] A formal semantics for the Taverna 2 workflow model
Sroka, Jacek
Hidders, Jan
Missier, Paolo
Goble, Carole
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (06) : 490 - 508
[7] A Formal Modeling for Exceptions in Context-Aware Systems
Yoon, Tae-Seob
Choi, Joong-Hyun
Cho, Eun-Sun
Helal, Sumi
2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014), 2014, : 734 - 739
[8] A Formal Model Of SystemC Components Using Fractal Hypergraphs
Vallee, Nicolas
Monsuez, Bruno
INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS (IMECS 2010), VOLS I-III, 2010, : 1418 - 1424
[9] Formal dynamic semantics for semantically annotated process model
Gong, Ping
Journal of Convergence Information Technology, 2012, 7 (20) : 167 - 174
[10] Spatiotemporal database formal semantic model and algebraic language
Kim, DH
Lee, YJ
Kim, JS
Ryu, KH
CIC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATIONS IN COMPUTING, 2000, : 9 - 15

← 1 2 3 →