Search results for "Reasoning"
showing 10 items of 371 documents
The defendant’s guilt beyond a reasonable doubt in the Italian criminal justice system
2021
The criminal law standard of Beyond A Reasonable Doubt (BARD) constitutes an evidentiary and judicial rule, formulated and applied for centuries in common law jurisdictions, which was expressly stated in the Italian Code of Criminal Procedure only about fifteen years ago. Unfortunately, the concept of reasonable doubt is inherently complex and does not easily lend itself to definition or refinement. In this regard, the Author examines especially the various positions and elaborations developed by legal literature and case-law in Italy, proposing a specific interpretation of the BARD rule that enhances and completes the particular procedural connotations of the adversarial system adopted i…
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
Probabilistic interpretations of the square of opposition
We investigate the square of opposition from a probabilistic point of view. Probability allows for dealing with exceptions and uncertainty. We will interpret the corners of the square by means of (precise or imprecise) conditional probability assessments. They will be defined within the framework of coherence, which originally goes back to de Finetti. In this framework probabilities are conceived as degrees of belief, where conditional probability is defined as a primitive concept. Coherence allows for dealing with partial and imprecise assessments. Moreover, the coherence approach is especially suitable for dealing with zero antecedent probabilities (i.e., here conditioning events may have…
Requirement analysis abstractions for AmI system design
2015
Current trends in the AI’s evolution are going towards enriching environments with intelligence in order to support humans in their everyday life. AmI systems are plunged in the real world and humans expect to interact with them in a way that is similar to the one they have with other humans. In this kind of systems, where eliciting requirements involves several documents and stakeholders (mainly users that will be the first consumers of the system), the requirement analysis phase can be affected by incomplete, ambiguous and imprecise information. Hence, the need to find a fruitful way for knowledge management and its representation at design time. In this paper we propose a set of abstract…
A Knowledge Management and Decision Support Model for Enterprises
2011
We propose a novel knowledge management system (KMS) for enterprises. Our system exploits two different approaches for knowledge representation and reasoning: a document-based approach based on data-driven creation of a semantic space and an ontology-based model. Furthermore, we provide an expert system capable of supporting the enterprise decisional processes and a semantic engine which performs intelligent search on the enterprise knowledge bases. The decision support process exploits the Bayesian networks model to improve business planning process when performed under uncertainty. Copyright © 2011 Patrizia Ribino et al.
Voltage Security Assessment by Using PFDT and CBR Methods in Emerging Power System
2018
Abstract This paper exhibits varied methods for voltage security assessment in a restructured power system. This paper primarily lays emphasis on two methods that are Probabilistic Fuzzy Decision Tree (PFDT) and Case Based Reasoning (CBR). In PFDT, Decision Tree plays an integral role for classification of system. For further classification of power system security, an algorithm is developed to categorise the buses which trouble the security most. After classification of system, by using minimum amount of load curtailment of voltages on buses which made insecure to secure load. Optimization of load is done by curtailing reactive power from insecure buses. In CBR, old cases from database are…
Can Artificial Intelligence Interprete Legal Norms? A Problem of Practical Reason
2021
La formalización del razonamiento jurídico y, específicamente, de la interpretación es un viejo sueño de nuestra cultura. Hoy, la Inteligencia Artificial parece lista para cumplir esa tarea. Teóricos computacionales y lógicos están desarrollando herramientas técnicas para estructurar modelos formales de interpretación jurídica útiles para la Inteligencia Artificial. Sin embargo, estos esfuerzos han conseguido sólo formalizaciones abstractas, que no son capaces de resolver cuestiones materiales sobre la respuesta correcta ante un caso nuevo. Los algoritmos no pueden descubrir, ni evaluar, problemas humanos sin la ayuda de programadores; no pueden decidir entre hipótesis interpretativas alter…
On the power of inductive inference from good examples
1993
Abstract The usual information in inductive inference available for the purposes of identifying an unknown recursive function f is the set of all input/output examples (x,f(x)),n eN. In contrast to this approach we show that it is considerably more powerful to work with finite sets of “good” examples even when these good examples are required to be effectively computable. The influence of the underlying numberings, with respect to which the identification has to be realized, to the capabilities of inference from good examples is also investigated. It turns out that nonstandard numberings can be much more powerful than Godel numberings.
Dall’ordinamento al ragionamento
2017
Questo intervento è la mia replica al dibattito sul mio libro Teoria analitica del diritto I. La norma giuridica, al quale hanno partecipato Gaetano Carlizzi, Vincenzo Omaggio, e Vito Velluzzi. Colgo l’occasione di questo intervento, e delle perspicue osservazioni emerse nel dibattito, per chiarire un paio di punti specifici del mio libro, e per ritornare sul progetto complessivo che lo anima. This is my rejoinder to the debate with Gaetano Carlizzi, Vincenzo Omaggio, and Vito Velluzzi on my book Teoria analitica del diritto I. La norma giuridica. I gladly use this opportunity, and the insightful remarks provided by my commentators, to clarify a couple of points that I already made in my bo…
Abitare nel reale. Dalla crisi della periferia alla tessitura di nuove relazioni contestuali
2019
I progetti redatti per “Palermo Sud-Est” sono il risultato di un Laboratorio di Laurea strutturatosi attraverso incontri, seminari, comunicazioni specialistiche, esposizioni critiche, che – in una strategia condivisa – ha visto ogni studente elaborare il proprio lavoro nel confronto con gli altri attori del Laboratorio stesso. La ricerca sui “progetti urbani” è stata impostata di modo che ogni laureando fosse messo a conoscenza dei progetti svolti nello stesso ambito territoriale dai colleghi che l’avevano preceduto, così da poter operare in continuità e contribuire a formulare un ragionamento unitario, nel quale ogni progetto costituisse continuazione, verifica o anche variante dei precede…