Results 1 
5 of
5
Tenacious Tortoises: A formalism for argument over rules of inference
 Computational Dialectics (ECAI 2000 Workshop
, 2000
"... As multiagent systems proliferate and employ different and more sophisticated formal logics, it is increasingly likely that agents will be reasoning with different rules of inference. Hence, an agent seeking to convince another of some proposition may first have to convince the latter to use a rule ..."
Abstract

Cited by 10 (7 self)
 Add to MetaCart
(Show Context)
As multiagent systems proliferate and employ different and more sophisticated formal logics, it is increasingly likely that agents will be reasoning with different rules of inference. Hence, an agent seeking to convince another of some proposition may first have to convince the latter to use a rule of inference which it has not thus far adopted. We define a formalism to represent degrees of acceptability or validity of rules of inference, to enable autonomous agents to undertake dialogue concerning inference rules. Even when they disagree over the acceptability of a rule, two agents may still use the proposed formalism to reason collaboratively. 1
Constructive Mathematics and Quantum Physics
, 1999
"... This paper is dedicated to the memory of Prof. Gottfried T. Ru ttimann ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper is dedicated to the memory of Prof. Gottfried T. Ru ttimann
Quantum Mechanics: From Realism to Intuitionism A mathematical and philosophical investigation Master's Thesis Mathematical Physics Author:
"... ii Aan de hoge blauwe hemel zweeft een dapper wolkje, in tegen de wind. Hij komt niet ver, maar probeert het tenminste. ..."
Abstract
 Add to MetaCart
(Show Context)
ii Aan de hoge blauwe hemel zweeft een dapper wolkje, in tegen de wind. Hij komt niet ver, maar probeert het tenminste.