non-monotonic reasoning
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
... Answer Set Programming (ASP) has emerged as a successful paradigm for developing intelligent applications. It uses the stable model semantics (Gelfond and Lifschitz, 1988) for programs with negation. ASP has attracted ...
230
A preliminary study of computational complexity in non-monotonic reasoning
... In this work we analyze existing complexity results in the area of non-monotonic reasoning in general and argumentation in particular. Even though the area of argumentation is based on solid ...
5
A comparison between non-monotonic formalisms
... In general, it is interesting and important to compare, analyze and assess the alternative tools that could be used to confront a specific problem. In particular, in the area of Artificial Intelligence there are several ...
5
The Gödel and the Splitting Translations
... Following Tarski and McKinsey there are three natural paths from topology to algebraic semantics for logics. The third path involves derivative algebras and has been explored in particular by Leo Esakia [4, 37, 7] and ...
30
Reasoning about Protocols using Dijkstra’s Calculus
... for reasoning about the correctness of sequential ...and reasoning about the correctness of distributed systems, in order that it can be applied to successfully verify either a component of a distributed ...
6
Reasoning by contradiction in dynamic geometry
... As mentioned above, in a DGS no constructible figure can be realized by ro- bust contradictory properties. So to represent a geometrical object with contradic- tory properties (at least) one property must not be ...
11
Prospective elementary school teachers’ proportional reasoning
... proportional reasoning, there are comparatively few studies designed to study teachers’ understanding of the ...proportional reasoning” ...proportional reasoning and rely too heavily on rote ...
19
Towards distributed reasoning for behavioral optimization
... We propose an architecture for the integration of high-level modeling, auto- mated reasoning and ant-colony optimization. Our goal is to propagate infor- mation about valuable places in the solution space in order ...
10
Approximate Relational Reasoning for Probabilistic Programs
... We have confirmed the effectiveness of our approach through several case studies that have been fully formalized in Coq, using an extension of CertiCrypt. These case studies con- cisely illustrate some remarkable ...
129
Reasoning about intentions: a defeasible argumentation approach
... Robotic soccer has proven to be a complex enough system to test many of the features of any reasoning system. The robots are controlled by software agents, each of which has a set of high-level actions to perform, ...
12
Applying Fuzzy Set Theory and Case-Based Reasoning Approach for Managing Strategical and Tactical Reasoning in StarCraft -Edición Única
... tactical reasoning is composed by 147 cases, each case is formed by a fuzzy description of the state of a map’s region and a list of tactical actions to execute over the friend combat units in the ...case-based ...
83
Applying fuzzy set theory and case based reasoning approach for managing strategical and tactical reasoning in starcraft
... tactical reasoning process in our system was able to reason in a nondeterministic environment and to defeat its opponent most of the times, even when the opponent has a random start ...
80
Distributed Fault Diagnosis Using Bayesian Reasoning in MAGNETO
... The main objective of this paper is to present an efficient meth- od that substantially improves the quality of a noise map (the pre- cision and accuracy of its contour lines), by reduci[r] ...
12
Issues for auditors designing case-based reasoning systems
... • some CBR systems explicitly aim to combine search with learning. Using CBR may give the user access to deeper knowledge and more relevant reasoning about the problem in the form of a ‘data laboratory exercise’. ...
13
Towards a case-based reasoning approach to analyze road accidents
... based reasoning is the chosen problem solving ...based reasoning system. The reasoning cycle of a case based reasoning system is com- posed of phases aiming to: (i)create the target case; (ii) ...
8
Effects of dance on perception of monotonic rhythmical stimuli in deaf adolescents
... ABSTRACT Dance activities were administered to a group of deaf adolescents via visual and auditory stimuli in order to improve their perceptions of monotonic rhythmic structures. Status of psychomotor development ...
18
Non prioritized belief revision with ansprolog
... and Reasoning and Belief Revision deal with the issues of how beliefs are represented, how they are used in reasoning processes, and how a current body of beliefs reacts to the appearance of new ...
5
Partial scalar invariance and observed differences across gender in a reasoning test battery
... mechanical reasoning parameters were adequate adjustment indices ...mechanical reasoning, but also found different intercept parameters in the abstract reasoning test in ...
7
A Region Based Multi Issue Negotiation Protocol For Non Monotonic Utility Spaces
... a non-mediated recursive bargaining mech- anism which efficiently modulates a region-based joint exploration of the solution ...in non-monotonic utility ...
42
Natural resource windfalls and efficiency of local government expenditures: evidence from Peru
... After finding consistent evidence with the theoretical framework, we explore the role of political competition as the main mediator factor between mining Canon rents and efficiency in local government expenditures. We ...
57