Logic and Computational Aspects of Computing with Speculations

Research output: Contribution to journalArticlepeer-review

Abstract

A novel, alternative approach to the fundamental logic of common- sense reasoning extending the concepts put forward by Lotfi A. Zadeh’s Computing with Words has been recently advanced by Enric Trillas, based on the idea that in order to allow for creativity in automated reasoning, the standard operations of inducing and abducing must be complemented by guessing, or speculating. In this paper, after a recall of Trillas’ skeleton formal model, a reflection is made on the computational aspects of such approach. As computational complexity of such approach generally increases exponentially, hints are given on how to tackle such growth and render more manageable the mechanisation of commonsense reasoning.
Original languageEnglish
Pages (from-to)3-10
Number of pages8
JournalARCHIVES FOR THE PHILOSOPHY AND HISTORY OF THE SOFT COMPUTING
Volume1:2
Publication statusPublished - 2020

Fingerprint

Dive into the research topics of 'Logic and Computational Aspects of Computing with Speculations'. Together they form a unique fingerprint.

Cite this