1996, Vol. III, Núm. 1-2"Aspects of mechanizing inference"http://hdl.handle.net/2099/20612020-12-06T01:56:22Z2020-12-06T01:56:22ZEditorial [Workshop "Aspects of Mechanizing inference: context and problems", Naples 1995: revised versions papers ]Termini, SettimoTrillas i Gay, Enrichttp://hdl.handle.net/2099/36722020-02-12T16:01:26Z2007-10-15T10:26:21ZEditorial [Workshop "Aspects of Mechanizing inference: context and problems", Naples 1995: revised versions papers ]
Termini, Settimo; Trillas i Gay, Enric
2007-10-15T10:26:21ZTermini, SettimoTrillas i Gay, EnricThe process of induction as a non-classical logic's double negation: evidence from classical scientific theoriesDrago, Antoninohttp://hdl.handle.net/2099/26352017-02-28T14:35:10Z2007-04-03T11:20:36ZThe process of induction as a non-classical logic's double negation: evidence from classical scientific theories
Drago, Antonino
2007-04-03T11:20:36ZDrago, AntoninoThe role of heuristics in automated theorem proving J.A Robinson's resolution principleCoderschi, Robertohttp://hdl.handle.net/2099/26342017-02-28T14:35:08Z2007-04-03T11:18:40ZThe role of heuristics in automated theorem proving J.A Robinson's resolution principle
Coderschi, Roberto
The aim of this paper is to show how J.A. Robinson's resolution principle was perceived and discussed in the AI community between the mid sixties and the first seventies. During this time the so called ``heuristic search paradigm" was still influential in the AI community, and both resolution principle and certain resolution based, apparently human-like, search strategies were matched with those problem solving heuristic procedures which were representative of the AI heuristic search paradigm.
2007-04-03T11:18:40ZCoderschi, RobertoThe aim of this paper is to show how J.A. Robinson's resolution principle was perceived and discussed in the AI community between the mid sixties and the first seventies. During this time the so called ``heuristic search paradigm" was still influential in the AI community, and both resolution principle and certain resolution based, apparently human-like, search strategies were matched with those problem solving heuristic procedures which were representative of the AI heuristic search paradigm.Integrating inference and neural classification in a hybrid system for recognition tasksGregorio, Massimo dehttp://hdl.handle.net/2099/26332017-02-28T14:35:07Z2007-04-03T11:16:14ZIntegrating inference and neural classification in a hybrid system for recognition tasks
Gregorio, Massimo de
While the coupling of artificial of neural networks (ANN) and symbolic AI (SAI) is a strategy adopted in many hybrid systems, a real integration of the two methodologies has not been thoroughly investigated yet: so far, most hybrid systems have been viewed as just an engineering shortcut to solve complex problems in which one methodology alone seems too weak.
In this paper, an approach to integrating ANN and SAI is presented. The basic idea explored here is that there is much more to hybrid models than a coupling of methodologies for the sake of avoiding engineering problems.
2007-04-03T11:16:14ZGregorio, Massimo deWhile the coupling of artificial of neural networks (ANN) and symbolic AI (SAI) is a strategy adopted in many hybrid systems, a real integration of the two methodologies has not been thoroughly investigated yet: so far, most hybrid systems have been viewed as just an engineering shortcut to solve complex problems in which one methodology alone seems too weak.
In this paper, an approach to integrating ANN and SAI is presented. The basic idea explored here is that there is much more to hybrid models than a coupling of methodologies for the sake of avoiding engineering problems.Neural methodologies in rule-based expert systemsBurattini, E.Tamburrini, G.http://hdl.handle.net/2099/26322017-02-28T14:35:06Z2007-04-03T11:13:58ZNeural methodologies in rule-based expert systems
Burattini, E.; Tamburrini, G.
2007-04-03T11:13:58ZBurattini, E.Tamburrini, G.Computational logics and the philosophy of language: the problem of lexical meaning in formal semanticsFrixione, Marcellohttp://hdl.handle.net/2099/26312017-02-28T14:35:13Z2007-04-03T11:08:32ZComputational logics and the philosophy of language: the problem of lexical meaning in formal semantics
Frixione, Marcello
This paper deals with the possible contributions that logical researches carried on in the field of artificial intelligence (AI) could give to formal theories of meaning developed by logically oriented philosophers of language within the tradition of analytic philosophy. In particular, I will take into account a topic which is problematic in many respects for traditional logical accounts of meaning, i.e., the problem of lexical semantics. My thesis is that AI logics could give useful instruments to face some aspects of the problem, whilst other aspects fall outside the scope of a logical treatment, and require other kinds of computational instruments.
2007-04-03T11:08:32ZFrixione, MarcelloThis paper deals with the possible contributions that logical researches carried on in the field of artificial intelligence (AI) could give to formal theories of meaning developed by logically oriented philosophers of language within the tradition of analytic philosophy. In particular, I will take into account a topic which is problematic in many respects for traditional logical accounts of meaning, i.e., the problem of lexical semantics. My thesis is that AI logics could give useful instruments to face some aspects of the problem, whilst other aspects fall outside the scope of a logical treatment, and require other kinds of computational instruments.Reasons: belief support and goal dynamicsCastelfranchi, Cristianohttp://hdl.handle.net/2099/26302017-02-28T14:35:09Z2007-04-03T11:04:15ZReasons: belief support and goal dynamics
Castelfranchi, Cristiano
The paper is devoted to the structural relations between beliefs and goals. I discuss its importance in modeling cognitive agents; its origin in cognitive processing; its structure (belief structure relative to a goal); its crucial role in rationality, mediating between “epistemic” and “pragmatic” rationality; its role in goal Dynamics. I stress the crucial contribution of the supporting beliefs to the Processing of goals; to the Revision of goals (or Dynamics in a narrow sense), i.e. the change of goal either on the basis of the change of a dynamic external environment, or of internal cycles of the agent; and to the Typology of goals, that may be partially characterized just on the basis of their belief structure. In particular, I will analyse in this paper the role of beliefs in the Processing of goals, from their firing to their satisfaction or giving up: how beliefs determine such a process step by step. This paper will not give a complete or formal account of any of those aspects. It is more an exploratory paper, which tries to identifiy basic ontological categories and principles, and fruitful directions of analysis for modeling the relation between beliefs and goals.
2007-04-03T11:04:15ZCastelfranchi, CristianoThe paper is devoted to the structural relations between beliefs and goals. I discuss its importance in modeling cognitive agents; its origin in cognitive processing; its structure (belief structure relative to a goal); its crucial role in rationality, mediating between “epistemic” and “pragmatic” rationality; its role in goal Dynamics. I stress the crucial contribution of the supporting beliefs to the Processing of goals; to the Revision of goals (or Dynamics in a narrow sense), i.e. the change of goal either on the basis of the change of a dynamic external environment, or of internal cycles of the agent; and to the Typology of goals, that may be partially characterized just on the basis of their belief structure. In particular, I will analyse in this paper the role of beliefs in the Processing of goals, from their firing to their satisfaction or giving up: how beliefs determine such a process step by step. This paper will not give a complete or formal account of any of those aspects. It is more an exploratory paper, which tries to identifiy basic ontological categories and principles, and fruitful directions of analysis for modeling the relation between beliefs and goals.A pragmatic uncertainty measure based on rate-distorion theory and the uncertainty of BOE'sFioretto, AnnaSgarro, Andreahttp://hdl.handle.net/2099/26292017-02-28T14:35:08Z2007-04-03T09:22:18ZA pragmatic uncertainty measure based on rate-distorion theory and the uncertainty of BOE's
Fioretto, Anna; Sgarro, Andrea
We discuss pragmatic information measures (hypergraph entropy and fractional entropy) inspired by source-coding theory (rate-distortion theory). We re-phrase the problem in the language of evidence theory, by expressing the pragmatic requirements of the human agent in terms of suitable bodies of evidence, or BOE's. We tackle the situation when the overall uncertainty is removed in two steps. In the case when fractional entropy measures the first-step (partial, pragmatic) uncertainty, we put forward an information measure for the uncertainty left in the second step. The results found plead in favour of uncertainty measures for BOE's obtained by maximization of Shannon entropies.
2007-04-03T09:22:18ZFioretto, AnnaSgarro, AndreaWe discuss pragmatic information measures (hypergraph entropy and fractional entropy) inspired by source-coding theory (rate-distortion theory). We re-phrase the problem in the language of evidence theory, by expressing the pragmatic requirements of the human agent in terms of suitable bodies of evidence, or BOE's. We tackle the situation when the overall uncertainty is removed in two steps. In the case when fractional entropy measures the first-step (partial, pragmatic) uncertainty, we put forward an information measure for the uncertainty left in the second step. The results found plead in favour of uncertainty measures for BOE's obtained by maximization of Shannon entropies.Mathematical aspects of the theory of measures of fuzzinessVivona, Dorettahttp://hdl.handle.net/2099/26282017-02-28T14:35:15Z2007-04-03T09:19:08ZMathematical aspects of the theory of measures of fuzziness
Vivona, Doretta
After recalling the axiomatic concept of fuzziness measure, we define some fuzziness measures through Sugeno’s and Choquet’s integral. In particular, for the so-called “homogeneous” fuzziness measures we prove two representation theorems by means of the above integrals.
2007-04-03T09:19:08ZVivona, DorettaAfter recalling the axiomatic concept of fuzziness measure, we define some fuzziness measures through Sugeno’s and Choquet’s integral. In particular, for the so-called “homogeneous” fuzziness measures we prove two representation theorems by means of the above integrals.General theory of the fuzzy integralBenvenuti, PietroVivona, Dorettahttp://hdl.handle.net/2099/26272017-02-28T14:35:12Z2007-04-03T09:17:22ZGeneral theory of the fuzzy integral
Benvenuti, Pietro; Vivona, Doretta
By means of two general operations $\oplus$ and $\otimes$, called ``pan-operations'', we build a new kind of integral. This formulation contains, as particular cases, both Choquet's and Sugeno's integrals.
2007-04-03T09:17:22ZBenvenuti, PietroVivona, DorettaBy means of two general operations $\oplus$ and $\otimes$, called ``pan-operations'', we build a new kind of integral. This formulation contains, as particular cases, both Choquet's and Sugeno's integrals.