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 条
123