• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 142
Next 10 →

Justification Patterns for OWL DL

by Tu Anh, T. Nguyen, Richard Power, Paul Piwek, Tu Anh, T. Nguyen, Richard Power, Paul Piwek, Ra Williams , 2011
"... Abstract. For debugging OWL-DL ontologies, natural language explanations of inconsistencies and undesirable entailments are of great help. From such explanations, ontology developers can learn why an ontology gives rise to specific entailments. Unfortunately, commonly used tableaux-based reasoning s ..."
Abstract - Add to MetaCart
Abstract. For debugging OWL-DL ontologies, natural language explanations of inconsistencies and undesirable entailments are of great help. From such explanations, ontology developers can learn why an ontology gives rise to specific entailments. Unfortunately, commonly used tableaux-based reasoning

Handling inconsistency with preference-based argumentation

by Leila Amgoud, Srdjan Vesic - of Lecture Notes in Computer Science , 2010
"... Abstract. Argumentation is a promising approach for handling inconsistent knowl-edge bases, based on the justification of plausible conclusions by arguments. Due to inconsistency, arguments may be attacked by counterarguments. The problem is thus to evaluate the arguments in order to select the most ..."
Abstract - Cited by 9 (3 self) - Add to MetaCart
Abstract. Argumentation is a promising approach for handling inconsistent knowl-edge bases, based on the justification of plausible conclusions by arguments. Due to inconsistency, arguments may be attacked by counterarguments. The problem is thus to evaluate the arguments in order to select

Time Inconsistency and Alcohol Sales Restrictions ∗

by Marit Hinnosaar , 2012
"... Restrictions on alcohol sales hours or days are commonly used tools in order to reduce alcohol consumption. However, a forward looking consumer can buy in advance, thereby mostly undo the impact of the restriction. I study whether time inconsistent consumer preferences can provide a justification fo ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Restrictions on alcohol sales hours or days are commonly used tools in order to reduce alcohol consumption. However, a forward looking consumer can buy in advance, thereby mostly undo the impact of the restriction. I study whether time inconsistent consumer preferences can provide a justification

An argumentative framework for reasoning with inconsistent and incomplete information

by Ro J. Garćıa, Guillermo R. Simari, Carlos I. Chesñevar - In Workshop on Practical Reasoning and Rationality. 13th biennial European Conference on Artificial Intelligence , 1998
"... Abstract. We present here a knowledge representation lan-guage, where defeasible and non-defeasible rules can be ex-pressed. The language has two different negations: classical negation, which is represented by the symbol “∼ ” used for representing contradictory knowledge; and negation as fail-ure, ..."
Abstract - Cited by 20 (7 self) - Add to MetaCart
as a defeasible reason for supporting conclusions. A conclusion q will be considered justified only when the argument that supports it becomes a justification. Building a justification involves the construction of a non-defeated argument A for q. In order to establish that A is

Signal synthesis in the presence of an inconsistent set of constraints

by Marc Goldburg, Robert J. Marks II - IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS , 1985
"... In this paper, we present a novel technique for signal synthesis in the presence of an inconsistent set of constraints. This technique represents a general, minimum norm, solution to the class of synthesis problems in which: the desired signal may be characterized as being an element of some Hilbert ..."
Abstract - Cited by 17 (0 self) - Add to MetaCart
In this paper, we present a novel technique for signal synthesis in the presence of an inconsistent set of constraints. This technique represents a general, minimum norm, solution to the class of synthesis problems in which: the desired signal may be characterized as being an element of some

Using Abductive Logic Agents for Legal Justification

by A. Ciampolini, A. Ciampolini, P. Torroni, P. Torroni , 2002
"... In this paper we present a novel approach for legal justification based on an abductive multi-agent system. Legal justification has the main objective of finding the plausible explanations for some given pieces of evidence, for instance in a crime trial. In our approach, the process of justification ..."
Abstract - Add to MetaCart
In this paper we present a novel approach for legal justification based on an abductive multi-agent system. Legal justification has the main objective of finding the plausible explanations for some given pieces of evidence, for instance in a crime trial. In our approach, the process

Justification for High Speed Reenactments of the Ives-Stilwell Experiment

by Dr. Adrian Sfarti
"... A Special Theory of Relativity (STR) test theory is a generalization of the Lorentz transforms using additional parameters. One can then analyze experiments using the test theory instead of STR and fit the parameters of the test theory to the experimental results. If the fitted parameter values diff ..."
Abstract - Add to MetaCart
differ significantly from the values corresponding to STR, then the experiment is inconsistent with STR. But more normally, such fits can show how well a given experiment confirms or disagrees with STR and what is its experimental accuracy. This gives a general and tractable method of analysis which can

Social Beliefs and Markets: The Problem of Categorization, Justification, and Innovation

by Steve Kahl
"... This article develops a theoretical conceptualization of a market epistemic system- how beliefs about products and market get formed and justified. Such conceptualization is necessary because prevailing social theories of markets contend that beliefs about firms and product induce conformity and lim ..."
Abstract - Add to MetaCart
the internal inconsistencies, I build upon Durkheim and Wittgenstein to argue that both belief formation and justification are embedded within social processes. To resolve the second issue, I argue that justification requires communities to cohere a new belief with the existing belief system. Building off

Title of Document: MORAL INTUITIONS AND THEIR ROLE IN JUSTIFICATION

by Ryan Fanselow, Ph. D , 2011
"... Moral intuitions play a vital role, not only in ordinary moral thought, but also in how philosophers choose between competing normative theories. The standard view about how intuitions ought to be used in moral theory is John Rawls ’ method of reflective equilibrium, according to which an agent ough ..."
Abstract - Add to MetaCart
no account of why these judgments have the epistemic credibility to play a role in choosing between normative theories. Second, when we find an inconsistency between an intuition and a moral principle, the method tells us to revise either the principle or the theory. However, this leaves the interesting

CRITERIA CAUSING INCONSISTENCIES. GENERAL GLUTS AS OPPOSED TO NEGATION GLUTS

by unknown authors
"... Abstract. This paper studies the question: How should one handle inconsis-tencies that derive from the inadequacy of the criteria by which one approaches the world. I compare several approaches. The adaptive logics defined from CLuN appear to be superior to the others in this respect. They isolate i ..."
Abstract - Add to MetaCart
logics defined from it, and to the properties of these systems. While the resulting logics are sensible and display interesting features, the search for variants of the justification leads to an unexpected justification for CLuN. 1. The Problem The first papers on adaptive logics concerned inconsistency
Next 10 →
Results 1 - 10 of 142
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University