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

auto- +‎ epistemic

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.