Loading…

QR Code

Reasoning consistently about inconsistency

Patching et al. and Hinde et al. in their work on truth-space mass assignments, presented a semantic unification function and a semantic separation function for mass assignment logic that dealt with inconsistency. This paper takes these two functions and while preserving the outside inconsistencies...

Full description

Saved in:

Bibliographic Details
Main Authors:	Christopher Hinde, Robert S. Patching, Roger Stone, Daniela Xhemali, Stephen A. McCoy
Format:	Default Conference proceeding
Published:	2007
Subjects:	Other information and computing sciences not elsewhere classified untagged Information and Computing Sciences not elsewhere classified
Online Access:	https://hdl.handle.net/2134/4068
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Managing contradictory evidence
by: Christopher Hinde, et al.
Published: (2008)

Semantic transfer and contradictory evidence in intuitionistic fuzzy sets
by: Christopher Hinde, et al.
Published: (2008)

Embarking on a Web Information Extraction project
by: Daniela Xhemali, et al.
Published: (2007)

Genetic evolution of sorting programs through a novel genotype-phenotype mapping
by: Daniela Xhemali, et al.
Published: (2010)

Naïve Bayes vs. Decision Trees vs. Neural Networks in the classification of training web pages
by: Daniela Xhemali, et al.
Published: (2009)

Domain-independent genotype to phenotype mapping through XML rules
by: Daniela Xhemali, et al.
Published: (2010)

Truth-space mass assignments
by: Robert S. Patching
Published: (2005)

An improved representation for evolving programs
by: Mark S. Withall, et al.
Published: (2009)

Exploring the firewall security consistency in cloud computing during live migration
by: Shadha Al-Amri, et al.
Published: (2016)

Why librarianship? : a survey of students' reasons for choosing librarianship
by: SooTee Por
Published: (1992)

Evolving readable Perl
by: Mark S. Withall, et al.
Published: (2002)

Evolving the user interface
by: Mark S. Withall, et al.
Published: (2004)

Evolving Perl
by: Mark S. Withall, et al.
Published: (2002)

Image based surface reflectance remapping for consistent and tool independent material appearence
by: Dar'ya Guarnera
Published: (2018)

A methodology for developing Second Life environments using case-based reasoning techniques
by: Ahmad Shubati
Published: (2010)

An evolution of a complete program using XML-based grammar definition
by: Nor Zainah Siau, et al.
Published: (2012)

On intuitionistic fuzzy negations and intuitionistic fuzzy extended modal operators. Part 2.
by: Christopher Hinde, et al.
Published: (2008)

State-based modelling in hazard identification
by: Stephen A. McCoy, et al.
Published: (2006)

A lightweight Web GUI specification and realisation system and its impact on accessibility
by: Roger Stone
Published: (2006)

Building a co-operative, evolutionary intranet: experience in a University department
by: Roger Stone
Published: (2001)

A stepwise evolution of functions
by: Nor Zainah Siau, et al.
Published: (2013)

Evaluation of the soft error assessment consistency of a JIT‐based virtual platform simulator
by: Geancarlo Abich, et al.
Published: (2021)

A hybrid reasoning system for supporting estuary modelling
by: Paul Chung, et al.
Published: (2005)

Search engines and expertise about global issues: well-defined landscape or undomesticated wilderness?
by: Jenny Fry, et al.
Published: (2008)

Proving the validity and accessibility of dynamic web pages
by: Roger Stone, et al.
Published: (2004)

The analysis of scientific and technical literature about the Sudan, 1970–1989
by: Abu O.M. Hamouda
Published: (2021)

Personal information management for the elderly
by: Roger Stone
Published: (2008)

The need for operational reasoning in data-driven rating curve prediction of suspended sediment
by: Nick J. Mount, et al.
Published: (2012)

Robot competence development by constructive learning
by: Qinggang Meng, et al.
Published: (2010)

Packet transmission optimisation using Genetic Algorithms
by: Mark S. Withall, et al.
Published: (2003)

Inspection times and the selection task: What do eye-movements reveal about relevance effects?
by: Linden J. Ball, et al.
Published: (2003)

Drawing and marking graph diagrams
by: Roger Stone, et al.
Published: (2009)

A formal development framework and its use to manage software production
by: Roger Stone, et al.
Published: (1991)

Automating rolling stock diagramming and platform allocation
by: Mark S. Withall, et al.
Published: (2011)

Personalised feedback with semi-automated assessment tool for conceptual database model
by: Firat Batmaz, et al.
Published: (2009)

Combining qualitative and quantitative reasoning to support hazard identification by computer
by: Stephen A. McCoy
Published: (1999)

A new extension of fuzzy sets using rough sets: R-fuzzy sets
by: Christopher Hinde, et al.
Published: (2009)

Allocating railway platforms using a genetic algorithm
by: M. Clarke, et al.
Published: (2010)

Validation of dynamic web pages generated by an Embedded Scripting language
by: Roger Stone
Published: (2005)

A semi-automatic computer-aided assessment approach for marking and providing feedback comments
by: Adewale Adesina, et al.
Published: (2015)