Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective philosophy Relating to
knowledge of knowledge itself
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
Support
Help support Wordnik (and make this page ad-free) by adopting the word autoepistemic.
Examples
-
It is also usual to impose a groundedness condition on autoepistemic extensions of T, ensuring that every member of an extension has some reason tracing back to T.
Logic and Artificial Intelligence Thomason, Richmond 2008
-
In Moore's autoepistemic logic, an extension E of a theory T is a superset of T that is stable, i.e., that is deductively closed, and that satisfies the following two rules:
Logic and Artificial Intelligence Thomason, Richmond 2008
-
Non-classical logics such as modal logics, intuitionsitic logic, multi-valued logics, autoepistemic logics, non-monotonic reasoning, commonsense and default reasoning, relevant logic, paraconsistent logic, and so on, have been increasingly gaining the attention of the automated reasoning community.
Automated Reasoning Portoraro, Frederic 2005
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.