77 search results - page 5 / 16 » A Logic for Knowledge, Correctness, and Real Time |
AI
2008
Springer
13 years 6 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
SEKE
2004
Springer
14 years 23 hour ago
2004
Springer
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
AAAI
2000
13 years 8 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
JELIA
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
ACL
2009
13 years 4 months ago
2009
This paper proposes a novel user intention simulation method which is a data-driven approach but able to integrate diverse user discourse knowledge together to simulate various ty...