Proactive modeling of goals and elaboration of computerized solutions
DOI:
https://doi.org/10.15448/1984-4301.2015.1.19612Keywords:
Goal Conciliation Theory, Relevance Theory, Proactive Modeling of Goals, Ante-factual Abductive Hypotheses, Algorithms.Abstract
Computerized solutions for solving concrete everyday problems are structured through deductive algorithms. However, even before designing algorithms, there is an abductive step guided by the goal to be achieved, which is usually neglected. Following Rauen’s (2014) Goal Conciliation Theory, I intend in this study to describe and explain the process of formulation, execution and checking of ante-factual abductive hypotheses in developing a computerized solution.Downloads
References
BORATTI, I. C. Basics of programming logic. Florianopolis, UFSC, 2 August 1990. Classroom instruction to students of computer science.
CHANDOR, A.; JOHN, G.; WILLIAMSON, R. Systems analysis: theory and practice. Rio de Janeiro: Technical and Scientific Books, 1977.
FERNANDES, A. L. B.; BOTINI, J. Construction algorithms. Rio de Janeiro: SENAC, 1998.
HARMAN, G. The inference to the best explanation. Philosophical Review, v. 74, 1965, p. 88-95. http://dx.doi.org/10.2307/2183532
JOHNSON-LAIRD, P. N.; BYRNE, R. M. J. Conditionals: a theory of meaning, pragmatics, and inference. Psychological Review, v. 109, n. 4, 2002, p. 646-678. http://dx.doi.org/10.1037/0033-295X.109.4.646
LINDSAY, R.; GORAYSKA, B. Relevance, goal management and cognitive technology. In: GORAYSKA, Barbara; MEY, Jacob (Eds.). Cognition and technology: co-existence, convergence, and co-evolution. Amsterdam: J. Benjamins, 2004.
MICHAELIS. Dictionary online Portuguese. Available in: <http://michaelis.uol.com.br/moderno/portugues/>. Access in: 15 maio 2013.
PSILLOS, S. Simple the best: A Case for abduction. In: KAKAS, A.C.; SADRI, F. (Eds.).Computational logic: logic programming and beyond. Berlin: Springer-Verlag, 2002. p. 605-626. Available in: <http://www.phs.uoa.gr/~psillos/>. Access in: set. 2013.
RAUEN, F. J. Ante-factual abductive hypotheses and proactive modeling of goals. Signo, Santa Cruz do Sul, v. 38, n. 65, 2013, p. 188-204.
RAUEN, Fábio José. For a goal conciliation theory: ante-factual abductive hypotheses and proactive modeling. Linguagem em (Dis)curso – LemD, Tubarão, SC, v. 14, n. 3, p. 1-23, set./dez. 2014.
SEARLE, J. R. The mystery of consciousness. São Paulo: Peace and Globe, 1998.
SILVA, C. R. Da. Conversion of records of representation: application development for the teaching-learning functions. 2009. 156 f. Master (MSc) University of Southern Santa Catarina, Tubarão, 2009. Available in: <http://aplicacoes.unisul.br/pergamum/pdf/98800_Cintia.pdf>. Access in May 2014.
SILVEIRA, J. R. C.; FELTES, H. P. M. Pragmatics and Cognition: textuality by relevance and other essays. 3. ed. Porto Alegre: Edipucrs, 1999.
SPERBER, D; WILSON, D. Relevance: communication & cognition. 2. ed. Oxford: Blackwell, 1995.
TEIXEIRA JR, Sérgio. The hunter defects. March 25, 2004. Available in: <http://exame.abril.com.br/revista-exame/edicoes/0814/noticias/o-cacador-de-defeitos-m0054924>. Access in Apr. 2014.
Downloads
Published
How to Cite
Issue
Section
License
Copyright
The submission of originals to Letrônica implies the transfer by the authors of the right for publication. Authors retain copyright and grant the journal right of first publication. If the authors wish to include the same data into another publication, they must cite Letrônica as the site of original publication.
Creative Commons License
Except where otherwise specified, material published in this journal is licensed under a Creative Commons Attribution 4.0 International license, which allows unrestricted use, distribution and reproduction in any medium, provided the original publication is correctly cited.
