Sciweavers

2196 search results - page 3 / 440
» Practical Reasoning Using Values
Sort
View
SLOGICA
2011
13 years 8 days ago
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
Ofer Arieli, Arnon Avron, Anna Zamansky
SGAI
2009
Springer
13 years 9 months ago
A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang
ECSQARU
2001
Springer
13 years 9 months ago
Reasoning about Knowledge Using Rough Sets
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
Weiru Liu
TIS
2010
148views Education» more  TIS 2010»
13 years 1 days ago
"General Aesthesia": Mutations of Value and Cognition in New Media Practices
stract Hong Kong has one of the highest rates of use of mobile phones in the world and although market research emphasises the economics of this phenomenon, focusing on the volume ...
Helen Grace
ICSE
2001
IEEE-ACM
13 years 9 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik