Autoepistemic logic
The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.
seeAlso
primaryTopic
Autoepistemic logic
The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.
has abstract
A lógica autoepistêmica é uma ...... cada da lógica autoepistêmica.
@pt
The autoepistemic logic is a f ...... d form of autoepistemic logic.
@en
自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。
@zh
自己認識論理（英: Autoepistemic logic） ...... よる否定のある論理プログラミングの意味論として使われている。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,015,501,398
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
A lógica autoepistêmica é uma ...... cada da lógica autoepistêmica.
@pt
The autoepistemic logic is a f ...... d form of autoepistemic logic.
@en
自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。
@zh
自己認識論理（英: Autoepistemic logic） ...... よる否定のある論理プログラミングの意味論として使われている。
@ja
label
Autoepistemic logic
@en
Lógica autoepistêmica
@pt
自动认识逻辑
@zh
自己認識論理
@ja