Logic and Computational Aspects of Computing with Speculations

Risultato della ricerca: Articlepeer 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.
Lingua originaleEnglish
pagine (da-a)3-10
Numero di pagine8
RivistaARCHIVES FOR THE PHILOSOPHY AND HISTORY OF THE SOFT COMPUTING
Volume1:2
Stato di pubblicazionePublished - 2020

Fingerprint

Entra nei temi di ricerca di 'Logic and Computational Aspects of Computing with Speculations'. Insieme formano una fingerprint unica.

Cita questo