2014/08/29 by Alejandro Sánchez Guinea, Alejandro Sanchez Guinea, Guinea, Alejandro Sanchez
Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #I.2.4 #I.2.m #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI
paper · pdf · doi:10.48550/arxiv.1409.0703
17 pages; clearer and more precise motivation; clearer concepts presented; review on related works added
openalex publication_date 2014/08/29 · arxiv created 2015/03/29 · arxiv updated 2015/03/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper introduces abstractions that are meaningful for computers and that can be built and used according to computers' own criteria, i.e., computable abstractions. It is analyzed how abstractions can be seen to serve as the building blocks for the creation of one own's understanding of things, which is essential in performing intellectual tasks. Thus, abstractional machines are defined, which following a mechanical process can, based on computable abstractions, build and use their own understanding of things. Abstractional machines are illustrated through an example that outlines their application to the task of natural language processing.