Mostra el registre d'ítem simple
Logic of assertions
dc.contributor.author | Sales Porta, Ton |
dc.date.accessioned | 2016-11-23T11:14:37Z |
dc.date.available | 2016-11-23T11:14:37Z |
dc.date.issued | 1994-10 |
dc.identifier.citation | Sales, T. "Logic of assertions". 1994. |
dc.identifier.uri | http://hdl.handle.net/2117/97093 |
dc.description.abstract | Logicians treat assertions as true, believed or merely hypothesized sentences. The reasoner who uses them, however, is the sole referee who can validate their truth, their aptness to describe an actual situation, their strength (as beliefs) or the relevance of their use in the current logical context. Moreover, the reasoner actively counts on these factors, as part of the reasoning process itself, and should normally be capable, when asked to do so, to assign consistently relative strengths to the assertions used. The paper assumes, first, that assertions have --each-- an associated, measurable strength, and that, second, this strength has significant --and measurable-- effects on the truth of the sentences, the validity of the conclusion and the soundness of the reasoning. The concepts and formulas required for this are explored, and a semantics and proof theory for a sentential calculus of assertions are proposed as a natural extension of ordinary two-valued reasoning. The resulting theory, though reminiscent of Probability, is autonomous, self-contained and of a purely logical nature. |
dc.format.extent | 18 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-94-39-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.other | Assertions |
dc.subject.other | Resoning |
dc.subject.other | Truth |
dc.subject.other | Semantics |
dc.subject.other | Probability |
dc.subject.other | Logic |
dc.title | Logic of assertions |
dc.type | External research report |
dc.contributor.group | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.rights.access | Open Access |
local.identifier.drac | 1896192 |
dc.description.version | Postprint (published version) |
local.citation.author | Sales, T. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [96]